| 从协议Petri网到Estelle的转换 |
| |
| 引用本文： | 罗军舟,杨晓燕.从协议Petri网到Estelle的转换[J].系统仿真学报,2003,15(Z1):78-82. |
| |
| 作者姓名： | 罗军舟 杨晓燕 |
| |
| 作者单位： | 东南大学计算机科学与工程系,南京,210096 |
| |
| 摘 要： | Petri网和Estelle是国际上流行的两种描述通信协议的形式技术.基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协议工程领域有着广泛的应用.而Estelle类似于程序语言,可对协议进行无二义的描述.本文针对现有Petri网系统的不足,从协议形式描述的角度出发,定义了一种抽象通信特性的协议Petri网,给出了由协议Petri网转换为Estelle形式的方法.基于此方法文章还构造了自动实现转换的算法,并给出了一个实例.
|
| 关 键 词： | 协议Petri网 Estelle 形式描述技术之转换 协议描述 |
| 文章编号： | 1004-731X(2003)S1-0078-05 |
| 修稿时间： | 2003年6月12日 |
Conversion from Protocol Petri Net to Estelle |
| |
| LUO Jun-zhou,YANG Xiao-yan.Conversion from Protocol Petri Net to Estelle[J].Journal of System Simulation,2003,15(Z1):78-82. |
| |
| Authors: | LUO Jun-zhou YANG Xiao-yan |
| |
| Abstract: | |
| |
| Keywords: | Protocol Petri Net Estelle FDT conversion protocol specification |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
