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

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

为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的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.