Страница 10: ГОСТ 34.972-91. Информационная технология. Взаимосвязь открытых систем. Спецификация протокола уровня представления с установлением соединения (69163)

Примечание. Списки действий и списки условных действий используют обозначения, приведенные в п. П1.2.

П1.4. Действия, предпринимаемые ПАП

Таблицы состояний определяют действия, предпринимаемые ПАП.

П 1.4.1. Недействительные пересечения

Если пересечения состояния й входящего события является недействитель­ным, должно быть выполнено одно из нижеследующих действий.

П 1.4.1.1. Если источником входящего события является УП-пользователь, любое действие, предпринимаемое ПАП, носит локальный характер.

Прим е ч а н и е. Одной из причин, по которой сервисный примитив запро­са или ответа оказывается недействительным, является превышение в резуль­тирующем параметре данных СУ-пользователя предельной длины, установленной нижерасположенными СУ. Эта ситуация и процесс выхода из нее носят локаль­ный характер.

П1.4.1.2. Если входящее событие относится к принимаемому ПБДП или со­бытию СУ-поставщика, ПАП должен выдавать ПБДП APR (если существует нижерасположенное сеансовое соединение) и индикацию P-P-ABORT,

П1.4.2. Д е й с т в и т е л ь н ы е пересечения

Если пересечение состояния и входящего события является действительным-, должно выполняться одно из нижеследующих действий.

П1.4.2.1. Если пересечение содержит список действий, ПАП должен выпол­нить специфические действия в порядке, задаваемом таблицей состояний.

Ш .4.2.2. Если пересечение содержит один или несколько списков условных действий, для каждого предикатного выражения, которое истинно, ПАП должен: выполнить специфичеЛие действия в порядке, задаваемом списком действий, от­носящимся к этому предикатному выражению. Если ни одно предикатное вы­ражение не истинно, ПАП должен выполнить одно из действий, определяемых в п. П 1.4.1. Порядок оценки предикатных выражений в различных списках ус­ловных действий определяется порядком списков условных действий.

П1.4.3. Прием блоков ПБДП

П1.4.3-1. Действительные блоки ПБДП

ПАП должен обрабатывать действительные ПБДП таким образом, как за­дано в табл. 21—29. См. также п. 8.5.

П1.4.3.2. Недействительные ПБДП

Если принят недействительный ПБДП, ПАП должен выполнить действия^, задаваемые в п. П 1.4.1.2.

П1.5. Определение множеств и переменных

Определяют нижеследующие множества и переменные.

П1.5.1. Ф у н к ц и о н а л ь н ы е блоки

Множество функциональных блоков, используемых в процедурах и опреде­ленных в настоящем приложении, описывается следующим образом:

fu-dom=(CM, CR),

где СМ — функциональный блок административного управления контекс­том;

CR — функциональный блок восстановления контекста.

Булеву функцию FU определяют посредством fu-dom следующим образом: для f в fu-dom

FU(f) =ИСТИНА, если и только если функциональный блок f был выбран во время фазы установления соединения на уровне представления.

П1.5.2. Множества контекстов

В дополнение к МОК, неявно определяемому для использования в операци­ях передачи информации, логический объект уровня представления должен иметь информацию о следующих множествах контекстов:

1. контексты представления, предлагаемые для добавления, инициируемые локально;

2. контексты представления, предлагаемые для добавления, инициируемые дистанционно;

3. контексты представления, предлагаемые для удаления, инициируемые локально;

4. контексты представления, предлагаемые для удаления, инициируемые ди­станционно;

5. МОК, согласуемое во время установления соединения на уровне пред­ставления;

6. МОК, определяемое между активностями;

7. содержимое МОК в точках синхронизации.

П1.5.3. Переменные

8. .5.3.1. Переменная аер

аер является булевой переменной, принимающей следующие значения:

аер = ИСТИНА: Ожидание конца активности.

аер = ЛОЖЬ: Конец активности без ожидания.

аер устанавливают следующим образом:

1. в значение ИСТИНА при выдаче сервисного примитива ответа S-ACTI- VITY-END, если имеется возможность приема сервисного примитива индикации S-ACTIVITY-INTERRUPT;

2. в значение ЛОЖЬ во время фазы установления соединения на уровне представления или при приеме любого сеансового сервисного примитива индика­ции после того, как был выдан сервисный примитив ответа S-ACTIVITY-END;

Ш.5.3.12. Переменная rl

ri является булевой переменной, принимающей следующие значения:

rl = ИСТИНА: Начата фаза разрыва.

г1=ЛОЖЬ: Фаза разрыва не начата или разрыв был отвергнут.

rl устанавливают следующим образом:

1. в значение ЛОЖЬ во время фазы установления соединения на уровне представления или при выдаче отрицательного сервисного примитива ответа или подтверждения P-RELEASE;

2. в значение ИСТИНА при выдаче сервисного примитива запроса или ин­дикации P-RELEASE.

П1.5.3.3. Переменная сг

сг является булевой переменной, принимающей следующие значения:

сг = ИСТИНА: Обнаруживается столкновение запросов разрыва.

сг = ЛОЖЬ: Столкновение запросов разрыва отсутствует или было устране­но.

сг устанавливают следующим образом:

1. в значение ЛОЖЬ во время фазы установления соединения на уровне представления или при выдаче сервисного примитива ответа или подтверждения P-RELEASE, если rl имеет значение ИСТИНА;

2. в значение ИСТИНА, если г1 имеет значение ИСТИНА и выдан сервис­ный примитив запроса или индикации P-RELEASE.

111.6. Взаимосвязь с сеансовым сервисом

В общем случае функционирование ПАП определяют независимо от пове­дения сеансового сервиса. Поэтому при формировании сервисных примитивов уровня представления, приемлемых для ПАП, не принимают во внимание, бу­дут ли результирующие сеансовый сервисные примитивы приемлемыми для по­ставщика СУ.

События, показанные в таблицах, как формируемые поставщиком СУ, так и выдаваемые поставщику СУ, являются неявно условными по отношению к соот­ветствующим сеансовым функциональным блокам, согласованным при установ­лении сеансового соединения.

Таблица 16

Список входящих событий

Таблица 17

Состояния

Список исходящих событий

Таблица 18