摘要
体系结构产品向可执行模型转换已成为评估系统动态逻辑、行为以及性能的重要方法,参与构建可执行模型的体系结构产品越丰富,可执行模型的验证能力就越强.为了进一步扩展可执行模型—着色Petri网(Coloured Petri Nets,CPN)对系统动态行为的验证范围,提出了DoDAF1.0下构建体系结构可执行模型的改进方法,将OV2纳入了构建可执行模型的体系结构产品序列,建立了OV2与OV5融合模型,最终结合案例分析说明了该方法的可行性.
The conversion from architecture products to the executable model has become an important method for the assessmentof the dynamic logic, behavior and performance of the system. The more architecture products participate in the establishment of theexecutable model, the stronger validation ability the model will have. In this paper, the method on conversion from architecture productsto the executable model based on DoDAF1.0 was presented, and the OV2 was brought into the architecture products series which wasused to set up the executable model. With the combined model of OV2 and OV5, the validation scope of the executable model （ColouredPetri Nets） for the dynamic behavior of the system was further expanded, and finally the feasibility of the method was demonstrated bycase study.
出处
《指挥与控制学报》
2016年第2期121-128,共8页
Journal of Command and Control
