| 基于UML模型的C4ISR系统能力需求分析与验证 |
| |
| 引用本文： | 王智学,董庆超,陈彬,陈剑.基于UML模型的C4ISR系统能力需求分析与验证[J].系统工程与电子技术,2009,31(9):2167-2171. |
| |
| 作者姓名： | 王智学 董庆超 陈彬 陈剑 |
| |
| 作者单位： | 解放军理工大学指挥自动化学院, 江苏, 南京, 210007 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)，"十一五"国防重点预研基金(9140A06040108JBS101)资助课题 |
| |
| 摘 要： | 针对复杂的C4ISR需求分析,提出一种系统的能力需求获取和分析方法。该方法从分析作战使命入手,采用统一建模语言(unified modeling language,UML)建模技术对作战目标和任务场景建模,通过活动模型分析自动建立C4ISR能力需求的概念模型。此外,采用本体描述语言(OWL DL)对能力概念形式化描述,由此可以通过符号推理系统检查模型的完整性和一致性。给出了应用该方法的具体示例,并通过实验工具验证其有效性。
|
| 关 键 词： | 需求工程 系统建模 能力需求分析 模型驱动的体系结构 |
| 收稿时间： | 2008-07-03 |
Analysis and verification of C4ISR system capability requirements based on UML model |
| |
| WANG Zhi-xue,DONG Qing-chao,CHEN Bin,CHEN Jian.Analysis and verification of C4ISR system capability requirements based on UML model[J].System Engineering and Electronics,2009,31(9):2167-2171. |
| |
| Authors: | WANG Zhi-xue DONG Qing-chao CHEN Bin CHEN Jian |
| |
| Institution: | Coll. of Command Automation, Univ. of Science and Techonology of the PLA, Nanjing 210007, China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《系统工程与电子技术》浏览原始摘要信息 |
| 点击此处可从《系统工程与电子技术》下载免费的PDF全文 |
|
