论文部分内容阅读
可执行模型是进行体系结构分析的一种有效方法，但是现有可执行建模方法都是利用部分视图模型转换得到可执行模型，无法充分发挥以数据为中心方法的优势，并且由于视图模型的半形式化特性，无法确保可执行模型转换的一致性。为了弥补现有可执行建模方法的不足，提出了DoDAF元模型向着色Petri网转换的可执行建模方法，通过分析DoDAF元模型之间的内在关系及其在可执行建模中的作用，建立了DoDAF元模型与着色Petri网的语义映射矩阵及模型转换的详细步骤。