ГОСТ Р ИСО/МЭК 9066-2-93 Системы обработки информации. Передача текста. Надежная передача. Часть 2. Спецификация протокола

ПРИЛОЖЕНИЕ А
(обязательное)

ТАБЛИЦЫ СОСТОЯНИЙ ПАНП

      А.1 Общие положения

В данном приложении определяется отдельный протокольный автомат надежной передачи (ПАНП) в понятиях таблицы состояний. Таблица состояний показывает взаимоотношения между состоянием прикладной-ассоциации, входящими событиями, которые имеют место в протоколе, выполняемыми действиями и, наконец, результирующим состоянием прикладной-ассоциации.

Таблица состояний ПАНП не является формальным определением ПАНП. Они приведены для более точной спецификации элементов процедур, определенных в разделе 7.

В данном приложении содержатся следующие таблицы:

а) Таблица А.1 определяет сокращенные имена, источники и имена/описания каждого входящего события. К источникам относятся:

1) пользователь-СЭНП (пользователь-СЭНП);

2) равноправный ПАНП (равноправный-ПАНП);

3) сервисный элемент управления ассоциацией (СЭУА);

4) поставщик-услуг уровня представления (поставщик-УПт);

5) ПАНП (ПАНП).

б) Таблица А.2 определяет сокращенное имя каждого состояния ПАНП.

в) Таблица А.3 определяет сокращенное имя, адресат и имя/описание каждого исходящего события. К адресатам относятся:

1) пользователь-СЭНП (пользователь-СЭНП);

2) равноправный ПАНП (равноправный ПАНП);

3) сервисный элемент управления ассоциацией (СЭУА);

4) поставщик-услуг уровня представления (поставщик-УПт);

5) ПАНП (ПАНП).

г) Таблица А.4 определяет предикаты.

д) Таблица А.5 определяет конкретные действия.

е) Таблицы А.6-А.16 включительно представляют собой таблицы состояний ПАНП, использующие сокращения, приведенные в предыдущих таблицах.

Источником и адресатом некоторых событий является ПАНП (внутреннее событие). Если ПАНП выдает внутреннее событие как часть выполняемого действия, то ПАНП ожидает этого внутреннего события в результирующем состоянии.     

     А.2 Соглашения

Пересечение входящего события (строка) и состояния (столбец) образует ячейку.

В таблице состояний пустая ячейка представляет комбинацию такого входящего события и состояния, которые не определены дли данного ПАНП (см. А.3.1). Некоторые состояния ожидают только входящих событий от ПАНП-источника (внутренние события). Эти состояния отмечены знаком и никакие другие входящие события не рассматриваются.

Непустая ячейка представляет входящее событие и состояние, которое определено для ПАНП. Такая ячейка содержит один или несколько списков действий. Список действий может быть либо обязательным, либо зависимым от условий. Если ячейка содержит обязательный список действий, то в ячейке содержится только один такой список.

Обязательный список действий содержит: