局部网络通信协议形式描述的新混合模型

A New Hybrid Model of Communication Protocol Formal Description for Local Networking

本文提出了适用于通信协议形式描述的一种新的混合模型,文中称之为FCA混合模型。本模型由有限状态机FSM,通信顺序进程CSP和抽象数据类型ADT结合而成,并兼有这3种技术的最佳特性,从而使得所描述的协议具有准确性、完全性和无二义性。文中先论述了通信协议的形式化技术,然后建立了FCA混合形式描述模型,并给出了IEEE802.3MAC协议的FCA描述和验证实例。

This paper presents a new hybrid model called FCA for communication protocol formal description. Combined in this hybrid model are the techniques of the finite state machine (FSM), communication sequential process (CSP) and abstract data type (ADT). So this model has the best features of these three approaches at the same time. This paper briefly describes the formal techniques of communication protocols, sets up the FCA model, and gives an example, i.e. IEEE802.3MAC protocol, described by thep roposed FCA technique. It is shown that the protocol specified by FCA is correct, precise and complete.