基于模型转换的C4ISR体系结构可执行模型构建

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

Model-transformation based executable model’s construction of C4ISR architecture

To tackle difficulties of C4ISR architecture verification caused by the low efficiency and reusability 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 specification (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.