| 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.
|
| 关 键 词： | 计算机网络 协议规则 通信 |
A new formal method for communication protocol specification |
| |
| Layuan Li.A New Formal Method for Communication Protocol Specification[J].Journal of Computer Science and Technology,1989,4(1):14-22. |
| |
| Authors: | Layuan Li |
| |
| Affiliation: | WuhanUniversityofWaterTransportationEngineering |
| |
| 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. |
| |
| Keywords: | |
| 本文献已被 维普 SpringerLink 等数据库收录！ |
|
