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

被引：2

作者：

蒋鑫 ^{[1
,2
]}

王智学 ^{[1
]}

董庆超 ^{[1
]}

孙瑞 ^{[1
]}

机构：

[1] 解放军理工大学指挥自动化学院

[2] 中国人民解放军部队

来源：

系统工程与电子技术 | 2012年 / 34卷 / 08期

关键词：

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

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

为了统一描述军事电子信息系统(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建模技术在特定领域效能分析方面的不足。

引用

页码：1613 / 1620

页数：8

共 7 条

[1] 面向C4ISR能力分析的领域特定描述语言
董庆超
王智学
朱卫星
陈剑
张婷婷
[J]. 系统工程理论与实践, 2011, 31 (03) : 552 - 560
[2] 基于描述逻辑的能力需求模型验证方法
董庆超
王智学
陈剑
张义
[J]. 系统工程与电子技术, 2010, 32 (03) : 533 - 539
[3] 基于UML模型的C4ISR系统能力需求分析与验证
王智学
董庆超
陈彬
陈剑
[J]. 系统工程与电子技术, 2009, 31 (09) : 2167 - 2171
[4] UML类图中面向非功能属性的描述和检验
张岩
梅宏
[J]. 软件学报, 2009, 20 (06) : 1457 - 1469
[5] 美国C4ISR系统发展历程和趋势
裴燕
徐伯权
[J]. 系统工程与电子技术, 2005, (04) : 666 - 671
[6] 武器装备体系作战能力评估框架
罗鹏程
傅攀峰
周经伦
[J]. 系统工程与电子技术, 2005, (01) : 72 - 75
[7] Integrating the NFR framework in a REmodel. Brito I,Moreira A. Proc.of the 3rd International Conference on As-pet-oriented Software Development . 2004

← 1 →