10.3969/j.issn.1000-3428.2008.06.006
基于CPEBSDL通信协议的Petri网建模方法
结合CPEBSDL描述语言、Petri网可达图、Petri网进程等协议分析方法,提出一种基于通信协议建立Petri网模型的方法--PMA_CPEBSDL.该方法利用CPEBSDL语言描述了通信协议实体的行为,自动地对协议建立Petri模型.协议的进程分析方法和可达图分析方法使协议的测试更加准确、直观.结合一个实例,给出LAPD协议完整的建模过程及协议验证和测试的方法.
协议验证、协议测试、LAPD协议、Petri网、Petri网进程
34
TP393(计算技术、计算机技术)
国家自然科学基金60603090;60173053
2008-05-22(万方平台首次上网日期,不代表论文的发表时间)
共6页
16-21