基于UML/OCL的C^4ISR效能概念建模分析  

Modeling and analysis of effectiveness concept of C^4ISR system based on UML/OCL

作　　者：蒋鑫[1,2] 王智学[1] 董庆超[1] 孙瑞[1] 

机构地区：[1]解放军理工大学指挥自动化学院 [2]中国人民解放军91991部队

出　　处：《系统工程与电子技术》2012年第8期1613-1620,共8页Systems Engineering and Electronics

基　　金："十一五"国防重点预研基金项目(9140A06040108JB8101)资助课题

摘　　要：为了统一描述军事电子信息系统(command control communication computers intelligence surveil-lance and reconnaissance,C4ISR)系统功能和效能两方面的需求,提出了一种基于统一建模语言/对象约束语言(unified modeling language/object constraint language,UML/OCL)的C4ISR效能概念建模和形式化验证方法。首先,利用效能相关概念扩展了DoDAF 2.0能力元模型,构建一个能够同时引导C4ISR能力的功能分析和效能分析的元模型;将该元模型描述为UML Profile,形成一种基于UML的C4ISR效能概念建模语言,并支持C4ISR效能概念模型检验;最后借助一个假想案例分析说明了该建模语言对C4ISR能力的功能和效能概念建模及模型验证的能力。该方法可弥补UML建模技术在特定领域效能分析方面的不足。To unify the function and effectiveness requirements modeling, a method of modeling and analy- zing effectiveness concepts of the command control communication computers intelligence surveillance and recon- naissance （C^4ISR） system based on unified modeling language/object constraint language （UML/OCL） is pres- ented. It extends the capability meta model of DoDAF 2.0 by introducing effectiveness-related concepts and con- structs a C^4ISR capability meta model （CCMM） which enables a function and effectiveness modeling. A UML- based C4 ISR effectiveness modeling language is proposed by specifying the UML profile with the CCMM. Final- ly, a case study of C^4ISR 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.

关 键 词：效能概念建模 军事电子信息系统能力元模型 统一建模语言/对象约束语言 特定领域建模 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]