通信协议的形式化技术研究

The Study on Formal Techniques of Communication Protocol

本文研讨适应于计算机网络或分布式计算机系统通信协议的形式化技术.文中系统地论述和分析了协议及其服务的形式描述,设计验证与实现验证的基本理论,主要方法和实现技术;提出了一种基于有限状态机(FSM)和通信顺序进程(CSP)相结合的混合形式描述方法,针对CSMA/CD协议,给出了该混合模型的形式描述实例.

This paper presents the formal techniques of communication protocol for computer networks or distributed computer systems The formal specification design and implementation verification of protocol and services, their theories, main methods and implementation techniques are described and analyzed A hybrid method which combines finite state machine and communicating sequential processes is presented and an example. IEEE 802.3 MAC protocol representation with this hybrid model, is given