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.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
Boehm, B.W. and Papaccio, P.N., "Understanding and Controlling Software Costs," IEEE Trans.Soft.Eng., pp.1462–1467, Oct.1988.
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.
Frieder, O.and Herman, G.E., "Protocol Verification using Database Technology," IEEE JSAC, April 1989, Vol.7, No.3.
Gouda, M.G. and Yu, Y.T., "Protocol Validation by Maximal Progress State Exploration," IEEE Trans. Commn., Jan, 1984.
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.
ISO TC97/SC21/WG1, "Estelle — A Formal Description Technique based on an Extended State Transition Model," DP9074, May 1985.
Rockstrom, A. and Saracco, R., "SDL — CCITT Specification and Description Language," IEEE Trans. Commn., Vol.COM-30, No.6, pp.1310–1318, June 1962.
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.
Sidhu, D.P. and Chang, C.S., "Probabilistic Testing of Protocols," in Communications, Architectures and Protocols, SIGCOMM '89, Texas, pp. 295–302, Sept. 1989.
West, C.H., "Protocol Validation in Complex Systems," in Communications, Architectures and Protocols, SIGCOMM '89, Texas, pp. 303–312, Sept. 1989.
West, C.H. and Rubin, J., "An Improved Protocol Validation Technique," Computer Networks, Vol.6, No. 2, pp.65–74, May 1982.
Zave, P., "An Operational Approach to Requirement Specifications for Embedded Systems,"pp. 250–269, May 1982.
Author information
Authors and Affiliations
Editor information
Rights 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