焦志强, 张杰勇, 姚佩阳, 王 勋, 何宜超,2

(1. 空军工程大学信息与导航学院, 陕西 西安 710077; 2. 空军工程大学研究生院, 陕西 西安 710077;3. 国防科技大学信息通信学院, 陕西 西安 710106)

0 引 言

随着联合化作战、跨域作战思想的提出,基于面向服务架构(service oriented architecture, SOA)的思想构建指挥信息系统(command, control, communications, computers, intelligence, surveillance and reconnaissance, C4ISR)势在必行,并已经取得了长足的发展[1]。在SOA架构下,新一代C4ISR将各个功能进行服务化封装,并依托军事作战云对服务进行合理部署,以实现作战信息在执行任务平台间的高效流转[2]。这种功能服务化封装、服务分布式部署的架构有利于打破各军兵种信息系统间的信息壁垒,整合海、陆、空、天、赛博全域空间中的态势信息,从而为联合作战和全域作战提供有力支撑。为了有效应对信息化军事对抗中战场环境复杂多变的挑战,C4ISR还需要具备敏捷的演化机制来适应作战环境的动态变化,以维持系统完成既定任务的能力。虽然目前对C4ISR演化问题的研究已取得不少成果,但这些研究仍然具有一定的局限性。

文献[3]研究了C4ISR架构与演化过程的形式化描述方法,基于美国国防部体系架构框架2.0(Department of Defense Architecture Framework 2.0, DoDAF 2.0)体系结构提出了一种面向服务视图的C4ISR体系结构描述框架,并给出了系统演化操作的相关定义。文献[4]根据C4ISR的演化特点,给出了基于构件的系统演化过程,并基于高阶π演算保证系统演化的一致性与正确性。文献[5]以波模型为基础,对C4ISR体系演化过程中的涌现行为进行了探讨。通过提出C4ISR演化过程模型,并抽象描述系统能力涌现机制,为后续C4ISR调整方案的生成提供理论指导。……