гост
р
ксо;мэк 9072-2-93
приложенИЕ А
(об
я
зат
е
л
ь
н
о
е
)
ТАБЛИЦЫ СОСТОЯНИИ ПАУО
А I Общие положении
В настоящем приложении дано определение протокольного автомата удален
ных операций (ПАУО) в понятиях таблиц состояний Таблица состояний показы
вает взаимоотношения между состоянием арнкдадной-вссоикации. входящими
событиями, имеющими место в протоколе* выполняемыми действиями и, нако-
ней. результирующим состоянием прикдадной-вссоциации.
Таблицы состояний нс являются формализованным описанием ПАУО. Они
приведены с целью болте точной спецификации элементов процедур, определен
ных з разделах 7 н 8
Настоящее приложение содержит следующие таблицы:
а) Таблица A.I определяет сокращенное наименование, источник и ианмсио-
вание/описание каждого входящего события Источниками являются:
1) пользователь СЭУО (пользователь-СЭУО);
2) равноправный ПАУО (равноправный ПАУО);
3) ПАУО, за исключением передающей части (ПАУО);
4) передающая часть ПАУО (ПАУО-ПД);
5) либо поставщик-услуг уровня представления (постазщнк-УПт) н сер
висный элемент управления ассоциацией (СЭУА), либо сервисный эле-
.мент надежной передачи (СЭНП).
б) Таблица А.2 определяет сокращенные наименования всех состояний
ПАУО.
в) Таблица АЗ определяет сокращенные наименования всех состояний
ПАУО-ПД.
г) Таблица А.4 определяет сокращенное наименование, адрхч-аты и нанмсно-
ваине/описанне каждого исходящего события. К адресатам относятся
I)) пользователь СЭУО (поЛЬЗОМТель-СЭУО);
’2!| равноправный ПАУО (равноправный ПАУО);
3) ПАУО. за исключением передающей части (ПАУО);
4) передающая часть ПАУО (ПАУО-ПД) и
5) либо поставщик-услуг уровня представления (постатцяк-УПт) и сер
висный элемент управления ассоциацией (СЭУА), либо сервисный эле
мент надежной передачи (СЭНГ1).
д) Таблица А.Яопределяет предикаты
с) Таблица А.6 определяет таблицу состояний ПАУО с использованием сок
ращений предыдущих таблиц.
ж) Таблица А 7 определяет таблицу состояний ПАУО-ПД с использованием
сокращений предыдущих таблиц а случае, когда СЭНП входит в состав прик
ладного контекста
и) Таблица А.8 определяет таблицу состояний ПАУО-ПД с использованием
сокращений предыдущих таблиц в случае, когда СЭНП не входит в состав при
кладного хоитекста.
А 2 Соглашения
Пересечение входящего события (строка) и состояния (колонка) образует
ячейку.
24