Formal Design of Communication Protocols Based on The Estelle ISO Formal Description Technique

摘要

The formal description technique (FDT) Estelle (ISO 9074) was used for the advanced design and development of communication protocols. In particular, two protocols were studied: (1) Partial Order Connection POC (rfc1693), and (2) MIL-STD 188-220: Interoperability Standard for Digital Message Transfer Device Subsystems. POC has been used as the basis of two systems: REMDOR for Remote Multimedia Document Retrieval, and NETCICATS for Network Conscious Image Compression and Transmission. The Estelle specifications of MIL-STD 188-220 were approved as an official component of the MIL-STD in January 1998.