ГОСТ Р ИСО/МЭК ТО 10023-93
ИСО 8072—86,Поп. 1 Системы обработки информации. Взаимо
связь открытых систем. Определение услуг транспортного уровня.
Техническая поправка 1*.
ИСО/ТО 8509—87 Системы обработки информации. Взаимо
связь открытых систем. Соглашения по услугам *.
ИСО 8807—89 Системы обработки информации. Взаимосвязь
открытых систем. LOTOS — метод формализованного описания,
основанный на упорядочении во времени наблюдаемого поведе
ния
*.
ИСО/МЭК ТО 10024 92 Информационная технология. Переда
ча данных и обмен информацией между системами. Формализо
ванное описание ИСО 8073 (разделы 0. 1,‘ 2 и 3)на языке
LOTOS *
3 ОПРЕДЕЛЕНИЯ
В настоящем стандарте используются определения, приведен
ные в ГОСТ 34.960.
4 СИМВОЛЫ И СОКРАЩЕНИЯ
В настоящем стандарте используются символы, определенные в
разделе 6 (формальный синтаксис) и приложении А (библиотека
типов данных) ИСО 8807.
В настоящем стандарте используются сокращения, содержа
щиеся в разделе 4 ГОСТ 34.960. Использование других символов и
сокращений поясняется при первом их появлении.
5 СОГЛАШЕНИЯ
Неформальные пояснения, предшествующие формальным опре
делениям, к которым они относятся. отделяются от последних пока
занной ниже верхней линией. Отделение формальных определений от
последующих неформальных пояснении обозначается показан
ной нижней линией.
* г.....
* До прямого применения данного документа в качестве государственного
стандарта его распространение осуществляет секретариат ТК 22 «Икфориаояон-
няя технология».
2