基于DoDAF的可执行模型改进方法

摘要

体系结构产品向可执行模型转换已成为评估系统动态逻辑、行为以及性能的重要方法,参与构建可执行模型的体系结构产品越丰富,可执行模型的验证能力就越强.为了进一步扩展可执行模型—着色Petri网(Coloured Petri Nets,CPN)对系统动态行为的验证范围,提出了DoDAF1.0下构建体系结构可执行模型的改进方法,将OV2纳入了构建可执行模型的体系结构产品序列,建立了OV2与OV5融合模型,最终结合案例分析说明了该方法的可行性.