A New Formal Method for Communication Protocol Specification

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.