论文部分内容阅读
Petri网和Estelle是国际上流行的两种描述通信协议的形式技术。基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协议工程领域有着广泛的应用。而Estelle类似于程序语言,可对协议进行无二义的描述。本文针对现有Petri网系统的不足,从协议形式描述的角度出发,定义了一种抽象通信特性的协议Petri网,给出了由协议Petri网转换为Estelle形式的方法。基于此方法文章还构造了自动实现转换的算法,并给出了一个实例。