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

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

作　　者：谢文才[1] 于晓浩[2] 朱鹏飞[1] 

机构地区：[1]国防信息学院,湖北武汉430010 [2]北京系统工程研究所,北京100101

出　　处：《系统工程与电子技术》2014年第8期1537-1543,共7页Systems Engineering and Electronics

基　　金：国家自然科学基金(71171197);中国博士后科学基金(2013T60919)资助课题

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

关 键 词：C4ISR体系结构 体系结构验证 可执行模型 模型转换 对象PETRI网 

分 类 号：TP303[自动化与计算机技术—计算机系统结构]