摘要
本文讨论适应于协议工程的形式描述技术。文中以一个通信系统为例子,论述和分析了Petri网、LOTOS、关系表示法、Z表示法,以及面向对象Z等形式描述技术的形式描述风格及其特征。
The paper discusses formal description techniques of protocol engineering. Taking a communications system as an example, it describes and analyzes the specification styles and features of petri net, LOTOS, relational notation, Z and object-Z.
出处
《系统工程与电子技术》
EI
CSCD
1992年第11期56-63,共8页
Systems Engineering and Electronics
关键词
计算机网络
协议工程
通信系统
Computer networks, Protocol engineering, FDT.
