Abstract
A new formal method for communication protocol specification is presented. FSM, CSP and ADT are mixed and the best features of these approaches can be offered in the fomal method. First, we briefly describe the formal techniques of communication protocol. We then put forward the hybrid method of protocol specification. Finally, an example, i. e., IEEE 802.3 MAC protocol for LAN described by the proposed formal method, is given. The results of studies show that this hybrid formal method for protocol specification is a correct, unambiguous and complete approach.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Zhou Chaochen, An applicative notation for communicating processes,Chinese Journal of Computers,6: 1 (1983).
Li Layuan, Computer Local Networks, Hubei Press Agency of Sci. and Tech., 1987.
Li Layuanet al., The research and development of local network.Computer Research and Development,23: 1 (1986).
Gregor V. Bochmann, Recent Developments in Protocol Specification Validation and Testing,Journal of China Institute of Communications,7:4 (1986).
IEEE. Inc., IEEE Standard 802.3 — 1985 (ISO DIS 8802/3).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Li, L. A new formal method for communication protocol specification. J. of Comput. Sci. & Technol. 4, 14–22 (1989). https://doi.org/10.1007/BF02943984
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02943984