Information processing system; open systems interconnection; estelle: a formal description technique based on an extended state transition model
Описание (англ.):
Provides the semantics and syntax of the Formal Description Technique Estelle generally used for the formal description of distributed, concurrent information processing systems. Estelle is used formally to describe service definitions and protocol specifications of the layers of Open Systems Interconnection described in ISO 7498. References: ISO 7185; 7498; 646.
Заменён стандартами:
ISO/IEC 9074(1997.12)
Изменён стандартами:
ISO 9074:1989/Amd.1:1993
Дата введения:
15.07.89
Дата отмены:
01.12.97
Нормативные ссылки:
SS-ISO 9074(1989/SIS), EQV*BS ISO 9074(1990/BSI), EQV ISO 646*ISO 7185*ISO 7498
Ключевые слова:
COMMUNICATION COMMUNICATION PROCEDURE COMMUNICATION PROCEDURES CONTROL PROCEDURES DATA PROCESSING ESTELLE FORMAL DESCRIPTION INFORMATION EXCHANGE INFORMATION INTERCHANGE INFORMATION PROCESSING NETWORK INTERCONNECTION OPEN SYSTEMS INTERCONNECTION OSI SPECIFICATIONS