欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
结合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.
同期刊论文项目
同项目期刊论文
Course ontology-based user';s knowledge requirement acquisition from behaviors within e-learning sys
Modeling and analysis for workflow constrained by resources and nondetermined time: An approach base
Conflict detection and resolution for workflows constrained by resources and non-determined duration
期刊信息
位置：