Информационные технологии. Телекоммуникации и обмен информацией между системами. Формальное описание ИСО 8073 (Классы 0,1,2,3) на языке LOTOS
Название (англ.):
Information technology; telecommunications and information exchange between systems; formal description of ISO 8073 (classes 0, 1, 2, 3) in LOTOS
Описание (англ.):
Describes the classes 0 to 3 of the OSI transport protocol, defined in ISO 8073 using the formal description technique LOTOS, which is defined in ISO 8807. Transport protocol class 4 and NMCS arenot covered. In view of complexity and widespread use of OSI standards it is imperative to have precise and unambiguous definitions of these standards. Formal Description Techniques form an effective approach to providing such definitions. Annexes A and B give definitions relating to the Transport and Network Services, Annex C gives an interpretation of ISO 8073, Annexes E and F include indices of process and type definitions.
Дата регистрации:
01.08.92
Дата введения:
01.07.92
Код КГС:
П85
Код ОКСТУ:
5002
Код ОКС(МКС):
35.100.40
Код ОКП:
5002
Нормативные ссылки:
ISO 7498-1984*ISO 8072-1986*ISO 8807-1989*ISO/IEC 8073*ISO/IEC TR 10023-1992*ISO/TR 8509-1987
Ключевые слова:
DATA PROCESSING INFORMATION INTERCHANGE INFORMATION TECHNOLOGY LOTOS OSI TELECOMMUNICATIONS TRANSMISSION PROTOCOL