中文摘要：

为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难，实现自动化的可执行模型构建，提出了一种基于模型转换的 C4ISR 体系结构可执行模型构建方法。该方法基于国际国防企业体系结构本体规范（international defense enterprise architecture specification，IDEAS），构建了 C4ISR 体系结构作战视图元模型；建立了对象 Petri 网（object Petri-net，OPN）建模元素与体系结构元模型数据元素的映射关系，重点研究了几种通用流程模式下体系结构元模型数据与 OPN 之间的语义转换规则；最后，以某防空作战指挥信息系统体系结构为例，依据获取的体系结构数据，基于以上方法有效地构建了验证作战规则的 OPN 模型。

英文摘要：

To tackle difficulties of C4ISR architecture verification caused by the low efficiency and reusabili-ty in the executable model’s construction,and to realize the automatic transformation of the executable model by implementing data-centric architecture methodology,a method for the construction of the executable model based on model transformation is proposed.According to the international defense enterprise architecture speci-fication （IDEAS）,the operational architecture meta-model is constructed.Mapping relations from architecture meta-model data elements to the core modeling concepts of object Petri-net （OPN）language are studied,and the transformation rules from meta-model data to OPN semantic representation under several work-flow patterns are also presented.To verify the feasibility of this method,a case of air defense C4ISR architecture is given.