ГОСТ Р ИСО/МЭК 9072-2-83
В таблице состояний пустая ячейка означает такое сочетание входящего со
бытии я состояния, которое не определено для ПАУО (см. А.3.1.)
Непустая ячейка представляет собой такое сочетание входящего события и
состояния, которое определено для ПАУО Такая ячейка содержит один или не
сколько списков действий. Список действий можог быть обязательный иЛи ус
ловным. Если в ячейке содержится обязательный список, он является единст
венным списком в этой ячейке.
Список обязательных действий содержит.
а) факультативно одно нлн несколько исходящих событий и
б) результирующее состояние.
Список условных действий содержит:
а) предикатное выражение, содержащее предикаты и булевские операторы
(знак « *1 » означает булевское НЕ), и
б| список обязательных действий (эго? список используется только в том
случае, если предикатное выражение является истинным)
А.З Действия, выполняемые ПАУО
Таблица состояний определяет действия, которые должен выполнять ПАУО.
в понятиях факультативных исходящих событий и результирующего состояния
прикладной-ассоциации.
А.3.1 Н е д е й с т в и т е л ь н ы е пе ре с е че ния
Пустая ячейка указывает недействительное пересечение входящего собы
тия и состояния При образовании таких пересечений выполняется одно из сле
дующих действий:
а) если «ходящее событие поступает от пользовзтеля-СЭУО. то любое вы
полняемое ПАУО действие рассматривается как частный воспрос.
б) Если вхоляшм; событие относится к полученному ЛБДП, поставщику-
УПт СЭУА иля СЭНП, го ПАУО выдает в ПАУО-ПД событие ПкА-ПРтпр либо
ПАУО-ПД выдает ПРЕРзпр элементу СЭНП или СЭУА. или ПкА—ПРинд авто
мату ПАУО.
А.З,Ч Де й с т в и т е л ь н ые пе ре с е че ния
Если пересечение состояния и входящего события является действительным,
то выполняется одно из следующих действий:
а) Если о ячейке содержится список обязательных действий. ПАУО выпол
няет специфицированные действия.
б) Если в ячейке содержится по одному иди по несколько условных дейст
вий на каждое предикатное выражение, являющееся «истинным». ПАУО выпол
няет специфицированные действии. Если ин одно из предикатных выражений не
является истинным. ПАУО выполняет одно из действий, определенных в А.З.I
Т а б л и ц а А 1— Список входящих событий
Сокращенно*
и»и1сеио«аиие
Историки
Наммгиои«м*
*
и
описани
е
ПкА-УСТСЗНП
Примитив положительного ответа НП-
ОТКРЫГИЕ ответ к.’.к примитив положи
тельного подтверждения НП-ОТКРЫ-
ТИЕ подтверждение
СЭУА
Примитивположительногоотвела
Пк-АССОЦИАЦИЯ ответ или примитив
положительного подтверждения Пк-АС-
• СОЦИАЦИЯ подтверждение
25 .