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