摘要
为了统一描述军事电子信息系统(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.
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2012年第8期1613-1620,共8页
Systems Engineering and Electronics
基金
"十一五"国防重点预研基金项目(9140A06040108JB8101)资助课题
关键词
效能概念建模
军事电子信息系统能力元模型
统一建模语言/对象约束语言
特定领域建模
effectiveness concept modeling
command control communication computers intelligence sur- veillance and reconnaissance （C^4ISR） capability meta-model
unified modeling language/object constraint lan- guage （UML/OCL）
domain-specific modeling
