10.3969/j.issn.1001-506X.2017.05.13
基于PES的Petri网可执行模型生成方法
针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法.该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Petri网标记语言(Petri net markup language,PNML)规范,构建了基于PES的Petri网可执行模型生成框架,通过体系结构模型数据含义与Petri网模型元素之间的语义映射,建立了PES与扩展PNML之间的数据映射规则,并以作战活动模型为例详细说明了数据映射规则和转换算法;最后,以民间海上搜救体系结构为例,验证了所提方法的有效性.该方法实现了灵活、自动化的Petri网可执行模型生成,打破了体现结构建模语言和Petri网模型类型的限制.
体系结构、体系结构验证评估、可执行模型、物理交换规范、Petri网标记语言
39
TP303(计算技术、计算机技术)
国家自然科学基金71571189资助课题
2017-05-22(万方平台首次上网日期,不代表论文的发表时间)
共6页
1030-1035