基于体系结构物理交换规范的作战活动可执行模型构建方法

Construction Method of an Operational Activity Executable Model Based on the Physical Exchange Specification of Architecture

作战活动是体系结构的核心数据,保证作战活动的正确性是提高体系结构质量的关键。基于DoDAF2.0提出的体系结构数据物理交换规范,定义了作战活动模型和作战规则模型的数据模型;对基本Petri网交换规范进行扩展,形成扩展Petri网的数据交换规范;建立活动模型相关数据与扩展Petri网交换规范的映射规则,根据映射规则自动生成作战活动Petri网模型,并研制了可执行模型自动生成工具。最后,通过案例验证了方法的合理性。

Operational activities constitute the core data of the architecture and the correction of operational activities is key to enhance architectural quality.The DoDAF2.0-based data physical exchange specification（PES）defines data models in the operational activity model and operation rule model;it extends the basic Petri network switching criterion and forms a data exchange criterion for extended Petri net;the paper also establishes a mapping rule of exchange criterion between data related to activity model and extended Petri net,which is the basis in automatically generating operational activity Petri net model,and develops an executable model automatic generating tool.In the end,the paper verifies the reasonability of the method by case study.