Skip to main content
Springer Nature Link
Log in

A specification and verification tool for communication protocols

  • Track 6: Operating Systems
  • Conference paper
  • First Online:
Computing in the 90's (Great Lakes CS 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 507))

Included in the following conference series:

  • 108 Accesses

Abstract

This paper describes Protype, a prototyping tool for communication protocol specifications. The tool is based on extended finite state machine augmented with context variables and procedural information. The tool helps a protocol designer in developing error free protocols. It also helps protocol implementors in verifying protocols.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Berry, D.B., "Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language," IEEE Trans. Software Eng.,SE-13 (2), Feb. 1987, pp. 184–201.

    Google Scholar 

  2. Bochmann, G.V. and Chung, R.J., "A Formalized Specification of HDLC Classes of Procedures," in Proc.Nat. Telecommn.Conference, Los Angeles, CA, Dec. 1977.

    Google Scholar 

  3. Boehm, B.W. and Papaccio, P.N., "Understanding and Controlling Software Costs," IEEE Trans.Soft.Eng., pp.1462–1467, Oct.1988.

    Google Scholar 

  4. Chang, W.Y.L., Vuoung, S.T. and Ito, M.R., "An Improved Test Generation Procedure based on UIOS," in Communications, Architectures and Protocols, SIGCOMM, '89,pp.283–294, Texas, Sept. 1989.

    Google Scholar 

  5. Frieder, O.and Herman, G.E., "Protocol Verification using Database Technology," IEEE JSAC, April 1989, Vol.7, No.3.

    Google Scholar 

  6. Gouda, M.G. and Yu, Y.T., "Protocol Validation by Maximal Progress State Exploration," IEEE Trans. Commn., Jan, 1984.

    Google Scholar 

  7. Information Processing Systems — Open Systems Interconnection, "LOTUS (formal description technique based on temporal ordering of observational behavior)," ISO 8807, International Organization for Standardization, Aug.1987.

    Google Scholar 

  8. ISO TC97/SC21/WG1, "Estelle — A Formal Description Technique based on an Extended State Transition Model," DP9074, May 1985.

    Google Scholar 

  9. Rockstrom, A. and Saracco, R., "SDL — CCITT Specification and Description Language," IEEE Trans. Commn., Vol.COM-30, No.6, pp.1310–1318, June 1962.

    Google Scholar 

  10. Sidhu, D.P., "Protocol Verification via Executable Logic Specifications," in Protocol Specification, Testing and Verification, III, Rudin H. and West, C.H., Eds., North Holland, 1983, pp.237–248.

    Google Scholar 

  11. Sidhu, D.P. and Chang, C.S., "Probabilistic Testing of Protocols," in Communications, Architectures and Protocols, SIGCOMM '89, Texas, pp. 295–302, Sept. 1989.

    Google Scholar 

  12. West, C.H., "Protocol Validation in Complex Systems," in Communications, Architectures and Protocols, SIGCOMM '89, Texas, pp. 303–312, Sept. 1989.

    Google Scholar 

  13. West, C.H. and Rubin, J., "An Improved Protocol Validation Technique," Computer Networks, Vol.6, No. 2, pp.65–74, May 1982.

    Article  Google Scholar 

  14. Zave, P., "An Operational Approach to Requirement Specifications for Embedded Systems,"pp. 250–269, May 1982.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Illinois Institute of Technology, 60616, Chicago, IL

    Harbans Kaur, James Brown Grier & Graham Campbell

Authors
  1. Harbans Kaur
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. James Brown Grier
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Graham Campbell
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Naveed A. Sherwani Elise de Doncker John A. Kapenga

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kaur, H., Grier, J.B., Campbell, G. (1991). A specification and verification tool for communication protocols. In: Sherwani, N.A., de Doncker, E., Kapenga, J.A. (eds) Computing in the 90's. Great Lakes CS 1989. Lecture Notes in Computer Science, vol 507. Springer, New York, NY. https://doi.org/10.1007/BFb0038498

Download citation

  • DOI: https://doi.org/10.1007/BFb0038498

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-0-387-97628-0

  • Online ISBN: 978-0-387-34815-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics