作者：刘正; 张新强; 王鸿飞; 乔可春dodafov2cpn动态行为
摘要：体系结构产品向可执行模型转换已成为评估系统动态逻辑、行为以及性能的重要方法,参与构建可执行模型的体系结构产品越丰富,可执行模型的验证能力就越强.为了进一步扩展可执行模型—着色Petri网（Coloured Petri Nets,CPN）对系统动态行为的验证范围,提出了DoDAF1.0下构建体系结构可执行模型的改进方法,将OV2纳入了构建可执行模型的体系结构产品序列,建立了OV2与OV5融合模型,最终结合案例分析说明了该方法的可行性.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
