ГОСТ Р ИСО МЭК ТО 10023-М
П р и м е ч а й к е »- ^то соглашение соответствует правилам
01
р.иш’|«нчя
комментариев, определенным для LOTOS в ИСО «807 Формальный текст пред
ставлен курсивом, а ключевые слова и операторы LOTOS — полужирным шриф
том. Идентификаторы из форматированного текста п неформатированном тексте
набраны курсивом.
Соблюдаются соглашения, определенные н ЛСО/ТО 8509, но с
учетом следующего: термин «запрос* означает как запросные, так и
ответные сервисные
примитивы ,
а
Термин
«индикация* означает
сервисные примитивы как индикации, так и подтверждения.
в ТРЕБОВАНИЯ
Настоящим стандарт отвечает требованиям, изложенным в раз
деле 3 ИСО 8807 (более подробную информацию см. в приложе
ним С к указанному стандарту). Настоящий стандарт не содержит
кахмх-либо требований к соответствию.
7 ВВЕДЕНИЕ В ФОРМАЛИЗОВАННОЕ ОПИСАНИЕ
Вся граница услуг формально представлена в виде единствен
ного шлюза (. Структура события в I представляет собой тройку
значений типа TAddress. ТСЕ1, TSP (см. раздел 8). Первое
значе ние идентифицирует TSAP. в котором происходит
взаимодействие. Второе значение идентифицирует ТСЕР внутри
TSAP. в котором происходит взаимодействие. Третье значение -
это выполняемый при взаимодействии примитив транспортного
уровня (TSP). Кон кретные значения зависят от многих аспектов
услуги.
Описывается поведение поставщика услуг бесконечного вида.
Спецификация не содержит параметров.
Используется стиль спецификации, ориентированный на огра
ничения. поскольку он наиболее подходит для определительного
характера стандарта по услугам. Омнеанне ориентировано на ха
рактеристики модальностей поведения поставщика услуг исключи
тельно в терминах последовательности выполняемых TSP. т. е. без
-каких-либо предположений о внутренней структуре самого постав
щика.
В основе первой декомпозиции специфицируемого поведения
лежат следующие отдельные ограничения:
a) поставщик услуг может допускать множество, возможно.од
новременных соединений (представленных процессом TConnections,*
см. раздел 9), вместе со
b
) средством выбора среди одновременных соединений нужного
(представленным процессом TCIdentiiication, см. раздел 13), но при
3