通信协议形式描述的一种混合模型研究

STUDY ON A NEW HYBRID MODEL FOR COMMUNICATION PROTOCOLS FORMAL SPECIFICATION

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

This paper presents a new hybrid model called FCA for communication protocols formal specification. FSM,CSP andADT are mixed and the best features of these approaches can be offered in this FCA model. An example, i.e. IEEEE802.3 MAC protocol described by the proposed FCA technique, is given.