Skip to main content

Towards an Easy-to-read and Unambiguous Description of Data Communication Protocols

  • Chapter
Kommunikation in verteilten Systemen

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 40))

  • 40 Accesses

Abstract

The starting point for an easy-to-read and nearly unambiguous description of a protocol is an informal description which is broken down according to the individual tasks the protocol has to fulfill. The description of the individual tasks is further subdivided into informal descriptions of actions through which these tasks can be fulfilled as a function of past history. A general part describes the manner in which the individual tasks are interrelated. The easy-to-read informal description is refined step by step until a formal description with the highest possible degree of unambiguousness is arrived at.

The result is a description that contains all refinement steps from the informal to the formal description. This paper presents a scheme for the decomposition and the contents of such a description. This scheme is suited for describing services, protocols and the interaction between service and protocol.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Bochmann, Gregor V. and Sunshine, Carl A. “Formal Methods in Communication Protocol Design” IEEE Transactions on Communications, Vol. Com-28, No. 4, April 1980, pp. 624–631

    Article  Google Scholar 

  2. Day, John D. and Sunshine, Carl A. (editors) “A Bibliography on the Formal Specification and Verification of Computer Network Protocols” IFIP Working Group 6.1 (INWG) Study Group C, published in: Computer Communication Review, vol. 9, 1979, no 4, pp. 23–39

    Google Scholar 

  3. Goguen, Tardo, Tardo “An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications” Proceedings of the Conf. on Reliable Software, pp. 170–189, Boston, 1979

    Google Scholar 

  4. ISO/TC 97/SC 16/WG1 “Proposed Guidelines for Informal Specifications of Protocols for OSI” Meeting on Formal Description Techniques, 1980

    Google Scholar 

  5. Mattern, K.; Weitz, H.; Zorn, S. “VMP PASCAL, an Extended Language for the Implementation of Data Communication Protocols” GI-Conference on Communication in Distributed Data Processing Systems, TU Berlin, 1981

    Google Scholar 

  6. Parnas, D.L. “On the Criteria to be used in Decomposing Systems into Modules” CACM 15, 12/1972), pp. 1053–1058

    Google Scholar 

  7. Roubine, Oliver and Robinson, Lawrence, Lawrence “Special Reference Manual 3rd Edition” Stanford Research Institute, Technical Report CSG-45, Jan. 1977

    Google Scholar 

  8. Schindler S., Marxen H., Müller-Zimmermann B. “The OSA Project: Automatic Generation of Efficient Code for RSPL Specifications” TU Berlin, FB 20, TR79–16

    Google Scholar 

  9. Schindler, S. “Algebraic and Model Specification Techniques” Proceedings of the 13th Hawaii International Conference on System Sciences, Jan. 3–4, 1980, Honolulu

    Google Scholar 

  10. Schindler, S. “The OSA Project: RSPL - A Reliable Software Production Language” Proceedings of the International Microcomputers Minicomputers Microprocessors/DATACOM 80 Conference,’ Geneva, June 1980

    Google Scholar 

  11. Schwichtenberg, G. “Formale Beschreibungsmittel für offene Kommunikationssysteme im Rahmen von Normungsvorhaben” GI-Fachtagung Formale Modelle für Informationssysteme, Tutzing, May 1979, pp. 202–219

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Stemberger, K. (1981). Towards an Easy-to-read and Unambiguous Description of Data Communication Protocols. In: Schindler, S., Schröder, J.C.W. (eds) Kommunikation in verteilten Systemen. Informatik-Fachberichte, vol 40. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67978-0_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-67978-0_25

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10618-0

  • Online ISBN: 978-3-642-67978-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics