基于UML/OCL的C4ISR效能概念建模分析

为了统一描述军事电子信息系统(command control communication computers intelligence surveillance and reconnaissance, C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language, UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。     

C4ISR系统体系结构设计及辅助工具

通过深入分析美军C^4ISR体系结构的相关研究成果，详细研究体系结构设计过程中的主要工作，针对现有C^4ISR系统体系结构辅助设计工具的不足，提出建立C^4ISR系统体系结构集成设计环境。阐明了该集成设计环境应具备的主要功能，并设计了它的逻辑结构。     

C4ISR体系结构描述的逻辑和行为验证

针对体系结构描述过程中遇到的产品一致性问题,提出一种用可执行模型来分析验证模型一致性的方法.首先根据C4ISR体系结构描述过程中形成的活动模型、规则模型、数据模型,生成体系结构可执行模型,然后将可执行模型的仿真执行顺序、运行结果与作战想定以及动态模型进行对比,来对C4ISR体系结构描述进行逻辑和行为验证.用一个歼击机防空的例子来说明此个过程.     

基于DoDAF的体系结构模型设计与验证

建立体系结构模型是C4ISR系统工程的重要组成部分,它是降低系统研制风险,缩短研制周期、保证系统满足军事需求的重要手段.重点分析了体系结构产品的内容和相互逻辑关系,提出了具体的设计步骤,并就体系结构模型验证提出了思路和方法.以海上联合机动编队系统为实例,建立了其体系结构模型并进行了驱动验证,结果表明该方法步骤是可行的.     

面向C4ISR能力分析的领域特定描述语言

针对在C4ISR能力需求分析中,UML对象建模语言领域适用性弱的问题.在能力元本体的基础上,从领域概念化入手,提出一种面向C4ISR能力分析的领域特定描述语言构建方法,并利用UMLProfile扩展机制,设计了适用于该语言的对象建模方法,在此基础上,研究了基于描述逻辑符号推理系统的领域特定模型一致性、完整性验证方法.最终,采用一个野战装甲车维修领域特定模型验证案例,说明了该方法的有效性和可用性.     

基于xUML的C4ISR系统可执行对象模型设计

C4ISR系统自身复杂性和军事需求多变性,使得系统设计风险增加,研制难度愈来愈大.把模型驱动体系结构MDA的思想和可执行建模语言xUML引入C4ISR系统的设计研制过程中,详细分析了可执行对象模型对于C4ISR系统研制的意义,给出了基于xUML的C4ISR系统可执行对象模型设计方法和步骤,并通过水面舰船的实例验证了该方法的可行性.该方法对系统结构化分析、动态逻辑验证、性能测量评价,而且在描述能力、可理解性和可分析性等方面比基于Petri网的可执行模型都有很大改善.