Abstract:
Combining CPEBSDL, Petri nets reachable marking graph, and Petri net process, this paper proposes an approach named PMA_CPEBSDL that can automatically construct a Petri nets model for communication protocol, presents some methods of protocol validation and test. PMA_CPEBSDL approach and methods of protocol validation and test are introduced with a factual example about LAPD protocol.
Key words:
protocol validation,
protocol test,
LAPD protocol,
Petri nets,
Petri nets process
摘要: 结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法,提出一种基于通信协议建立Petri网模型的方法——PMA_CPEBSDL。该方法利用CPEBSDL语言描述了通信协议实体的行为,自动地对协议建立Petri模型。协议的进程分析方法和可达图分析方法使协议的测试更加准确、直观。结合一个实例,给出LAPD协议完整的建模过程及协议验证和测试的方法。
关键词:
协议验证,
协议测试,
LAPD协议,
Petri网,
Petri网进程
CLC Number:
FAN Hao; WU Zhe-hui. Petri Nets Protocol Modeling Method Based on CPEBSDL Communication Protocol[J]. Computer Engineering, 2008, 34(6): 16-21.
范 昊;吴哲辉. 基于CPEBSDL通信协议的Petri网建模方法[J]. 计算机工程, 2008, 34(6): 16-21.