基于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建模技术在特定领域效能分析方面的不足。

Modeling and analysis of effectiveness concept of C4ISR system based on UML/OCL

To unify the function and effectiveness requirements modeling,a method of modeling and analyzing effectiveness concepts of the command control communication computers intelligence surveillance and reconnaissance(C4ISR) system based on unified modeling language/object constraint language(UML/OCL) is presented.It extends the capability meta model of DoDAF 2.0 by introducing effectiveness-related concepts and constructs a C4ISR capability meta model(CCMM) which enables a function and effectiveness modeling.A UML-based C4ISR effectiveness modeling language is proposed by specifying the UML profile with the CCMM.Finally,a case study of C4ISR effectiveness modeling is provided to demonstrate the availability and applicability of the method.The method can make up for the deficiency of UML-based modeling techniques in domain-specific effectiveness analysis.