Journal of Systems Engineering and Electronics ›› 2009, Vol. 31 ›› Issue (9): 2167-2171.

• 系统工程 • 上一篇    下一篇

基于UML模型的C4ISR系统能力需求分析与验证

王智学, 董庆超, 陈彬, 陈剑   

  1. 解放军理工大学指挥自动化学院, 江苏, 南京, 210007
  • 收稿日期:2008-07-03 修回日期:2008-10-07 出版日期:2009-09-20 发布日期:2010-01-03
  • 作者简介:王智学(1961- ),男,教授,硕士,主要研究方向为指挥自动化理论与技术,需求上程.E-mail:wzxcx@163.com
  • 基金资助:
    国家高技术研究发展计划(863计划)资助(2007AA01Z126);“十一五”国防重点预研基金(9140A06040108JB8101)资助课题

Analysis and verification of C4ISR system capability requirements based on UML model

WANG Zhi-xue, DONG Qing-chao, CHEN Bin, CHEN Jian   

  1. Coll. of Command Automation, Univ. of Science and Techonology of the PLA, Nanjing 210007, China
  • Received:2008-07-03 Revised:2008-10-07 Online:2009-09-20 Published:2010-01-03

摘要: 针对复杂的C4ISR需求分析,提出一种系统的能力需求获取和分析方法。该方法从分析作战使命入手,采用统一建模语言(unified modeling language,UML)建模技术对作战目标和任务场景建模,通过活动模型分析自动建立C4ISR能力需求的概念模型。此外,采用本体描述语言(OWL DL)对能力概念形式化描述,由此可以通过符号推理系统检查模型的完整性和一致性。给出了应用该方法的具体示例,并通过实验工具验证其有效性。

Abstract: To analyze the complicated C4ISR requirements,the paper proposes a systematic approach to capability requirements acquisition and analysis.It suggests that the acquired process be initiated with mission analysis by modeling the operational mission goals and task scenarios using UML modeling technology,and then the conceptual models of the C4ISR capability requirements can be automatically established through analyzing the mission activity models.Furthermore,the capability concepts are formally described using an ontology description language(OWL DL),which can check the model integrity and consistency by using a symbol inference system.A demonstrational example is provided to show how to use the method,and experimental tools are applied to demonstrate its availability.

中图分类号: