系统工程与电子技术 ›› 2018, Vol. 40 ›› Issue (9): 1973-1978.doi: 10.3969/j.issn.1001-506X.2018.09.12

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

基于本体的体系使命建模及分析方法

何红悦, 王智学, 梁豪默, 王庆龙   

  1. 中国人民解放军陆军工程大学指挥控制工程学院, 江苏 南京 210007
  • 出版日期:2018-08-30 发布日期:2018-09-06

Approach to mission modeling and analysis for system of systems based on ontology

HE Hongyue, WANG Zhixue, LIANG Haomo, WANG Qinglong   

  1. Institute of Command and Control Engineering, Army Engineering University of PLA, Nanjing 210007, China
  • Online:2018-08-30 Published:2018-09-06

摘要:

针对体系需求建模中使命模型在分解时无法引入属性参考,不便于检查分解的合理性,影响模型分析效果等问题,提出了基于本体的体系使命建模及分析方法。根据使命在体系需求建模中的关键作用,定义了使命的若干属性参数,并构建了体系的使命概念模型。为了使使命分解更加科学严谨,设计了使命分解算法,在分解过程中引入了使命的相关属性值。采用网站网站本体语言描述逻辑(web ontology language description logic,OWL DL)本体推理及查询技术,借助本体推理引擎Pellet对构建的使命模型进行形式化分析验证,检查使命分解过程中是否遵守了定义的分解原则,从而检查使命分解的合理性。

Abstract:

In the system of systems (SoS) requirement modeling, the mission attribute is not used during the process of mission decomposition, so it is not easy to check the rationality of the decomposition. To solve the problems, this paper proposes an approach to SoS mission modeling and analysis based on the ontology. According to the key role of the mission in the requirement modeling of SoS, some attribute of the mission is defined, and the conceptual model of SoS mission is constructed. In order to make the decomposition of the mission more scientific and rigor ous, the mission decomposition algorithm is designed and the related attribute value of the mission is introduced in the decomposition process. By using the web ontology language description logic (OWL-DL) ontology reasoning and query technology, we make a formal analysis and verification of the constructed mission model by using the ontology reasoning engine Pellet to check whether the decomposition principle of the mission is decomposed to check the rationality of the decomposition.