10.3969/j.issn.1001-506X.2014.08.15
基于模型转换的 C4ISR 体系结构可执行模型构建
为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的 C4ISR 体系结构可执行模型构建方法。该方法基于国际国防企业体系结构本体规范(international defense enterprise architecture specification,IDEAS),构建了 C4ISR 体系结构作战视图元模型;建立了对象 Petri 网(object Petri-net,OPN)建模元素与体系结构元模型数据元素的映射关系,重点研究了几种通用流程模式下体系结构元模型数据与 OPN 之间的语义转换规则;最后,以某防空作战指挥信息系统体系结构为例,依据获取的体系结构数据,基于以上方法有效地构建了验证作战规则的 OPN 模型。
C4ISR体系结构、体系结构验证、可执行模型、模型转换、对象Petri网
TP303(计算技术、计算机技术)
国家自然科学基金71171197;中国博士后科学基金2013T60919资助课题
2014-09-03(万方平台首次上网日期,不代表论文的发表时间)
共7页
1537-1543