基于CPEBSDL通信协议的Petri网建模方法  

Petri Nets Protocol Modeling Method Based on CPEBSDL Communication Protocol

作　　者：范昊[1] 吴哲辉[2] 

机构地区：[1]中国科学院计算技术研究所智能信息处理开放实验室 [2]山东科技大学信息科学与工程学院,青岛266510

出　　处：《计算机工程》2008年第6期16-21,共6页Computer Engineering

基　　金：国家自然科学基金资助项目(60603090,60173053)

摘　　要：结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法,提出一种基于通信协议建立Petri网模型的方法——PMA_CPEBSDL。该方法利用CPEBSDL语言描述了通信协议实体的行为,自动地对协议建立Petri模型。协议的进程分析方法和可达图分析方法使协议的测试更加准确、直观。结合一个实例,给出LAPD协议完整的建模过程及协议验证和测试的方法。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.

关 键 词：协议验证 协议测试 LAPD协议 PETRI网 Petri网进程 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]