A methodology for protocol design and specification based on an extended state transition model

ABSTRACT

A lot of effort is being dedicated world-wide to defining Open Systems Interconnection (OSI) protocol standards and tools for formally describing them. However, little work is done in developing methods for applying these tools to the development of new protocols. This paper presents such a methodology based on OSI and software engineering principles. It provides general guidelines for designing protocols based on an extended state transition formal description technique (FDT). It emphasizes a systematic, analytical and algorithmic approach to achieve completeness of protocol specification during the protocol design process. Its possible application to the development of OSI protocol standards is discussed and suggested for study by the standards community.

REFERENCES

• 1: G.V. Bochmann and R.J. Chung, "A formalized specification of HDLC classes of procedure". Proc. Nat. Telecommun. Conf., Los Angeles, CA, Dec. 1977, Paper 3A.2.
• 2: G.V. Bochmann and C.A. Sunshine, "Formal methods in communication protocol design". IEEE Trans. Commun., vol. COM-28,pp. 624-631, Apr. 1980.
• 3: G.V. Bochmann et al., "Experience with formal specifications using an extended state transition model". IEEE Trans. Commun., Vol. COM-30,pp. 2506-2513, Dec. 1982.
• 4: "Data Processing-Open Systems Interconnection-Service conventions".
• 5: "A FDT based on an extended state transition model (Working Document, November 1982)".
• 6: "Draft Recommendation X.400: Message Handling Systems: System Model-Service Elements (Version 2)". Dec. 1982.
• 7: "Draft Recommendation X.411: Message Handling Systems: Message Transfer Layer". Dec. 1982.
• 8: "Recommendation S.70, Network-independent basic transport service for Teletex". CCITT, Yellow Book, Fascicle VII.2, 1980.
• 9: "Information processing systems-Open systems interconnection-Transport protocol specification". ISO/ DP8073.
• 10: "Information processing systems-Open systems interconnection-Transport services definition". ISO/DP8072.
• 11: A.I. Wasserman, "Information system design methodology". In: P. Freeman, A.I. Wasserman (Ed.), "Tutorial on software design techniques (third edition)", IEEE, pp.25-44, 1980
• 12: H. Zimmermann, "OSI reference model - the ISO model of architecture for Open Systems Interconnection", IEEE Trans. Commun., Vol. COM- 28, pp. 425-432, Apr. 1980.

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.2 Network Protocols
          Subjects: Protocol architecture (OSI model)

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
          Subjects: Methodologies (e.g., object-oriented, structured)

General Terms:
Design, Standardization