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

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