一种基于描述逻辑的体系质量需求建模与验证方法

王庆龙; 王智学; 张婷婷; 朱卫星

doi:10.1631/FITEE.1500309

Your Location：

Home >

Browse articles >

一种基于描述逻辑的体系质量需求建模与验证方法

常规文章 | Updated：2022-05-19

- 一种基于描述逻辑的体系质量需求建模与验证方法
- A quality requirements model and verification approach for system of systems based on description logic
- 信息与电子工程前沿（英文） 2017年18卷第3期页码：346-361
- Affiliations：
  
  1College of Command Information Systems, PLA University of Science and Technology, Nanjing 210007, China
  2Information Management Center, PLA University of Science and Technology, Nanjing 210007, China
- Author bio：
  
  E-mail:jsxq901901@163.com
  E-mail:wzxcx801@163.com
- Funds：
  
  Project supported by the National Natural Science Foundation of China (No. 61273210)
- DOI：10.1631/FITEE.1500309
  中图分类号： E917;TP391.9
- 收稿：2015-09-25，
  
  录用：2016-2-27，
  
  纸质出版：2017-03
- Accepted：
Scan QR Code
王庆龙, 王智学, 张婷婷, 等. 一种基于描述逻辑的体系质量需求建模与验证方法[J]. 信息与电子工程前沿（英文）, 2017,18(3):346-361.

Qing-long WANG, Zhi-xue WANG, Ting-ting ZHANG, et al. A quality requirements model and verification approach for system of systems based on description logic[J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18(3): 346-361.
王庆龙, 王智学, 张婷婷, 等. 一种基于描述逻辑的体系质量需求建模与验证方法[J]. 信息与电子工程前沿（英文）, 2017,18(3):346-361. DOI： 10.1631/FITEE.1500309.

Qing-long WANG, Zhi-xue WANG, Ting-ting ZHANG, et al. A quality requirements model and verification approach for system of systems based on description logic[J]. Frontiers of Information Technology & Electronic Engineering, 2017, 18(3): 346-361. DOI： 10.1631/FITEE.1500309.

摘要

在体系顶层设计问题中，体系质量需求分析的关键是体系需求的建模以及自动验证，需要合适的建模方法来描述体系质量需求以及验证质量需求是否满足体系的能力需求。针对体系质量需求建模和验证问题，本文提出一种基于描述逻辑的体系质量需求建模与验证方法。首先，为解决体系功能和非功能需求的描述问题，通过添加模糊构造子扩展统一建模语言（Unified Modeling Language

UML）中的类和关系并定义了基于元模型的领域特定建模语言以实现体系质量需求中模糊和不确定概念的建模。随后提出了基于云模型的体系质量需求评估方法实现了对体系质量需求的评估。然后，提出了模型转换算法将模糊UML构建的体系需求模型转换为描述逻辑本体模型，并通过使用描述逻辑本体推理工具实现需求模型的自动化验证。最后，通过一个案例验证和演示了本文方法的正确性和可行性。

Abstract

System of systems engineering (SoSE) involves the complex procedure of translating capability needs into the high-level requirements for system of systems (SoS) and evaluating how the SoS quality requirements meet their capability needs. One of the key issues is to model the SoS requirements and automate the verification procedure. To solve the problem of modeling and verification

meta-models are proposed to refine both functional and non-functional characteristics of the SoS requirements. A domain-specific modeling language is defined by extending Unified Modeling Language (UML) class and association with fuzzy constructs to model the vague and uncertain concepts of the SoS quality requirements. The efficiency evaluation function of the cloud model is introduced to evaluate the efficiency of the SoS quality requirements. Then a concise algorithm transforms the fuzzy UML models into the description logic (DL) ontology so that the verification can be automated with a DL reasoner. This method implements modeling and verification of high-level SoS quality requirements. A crisp case is used to facilitate and demonstrate the correctness and feasibility of this method.

关键词

Keywords

references

R Ahmed , , , S Robinson . . Simulation in business and industry: how simulation context can affect simulation practice? . . 2007 . . Proc. Spring Simulation Multiconference . . 152 - - 159 . . . .

B Bagdatli , , , D Mavris . . Use of high-level architecture discrete event simulation in a system of systems design . . 2012 . . IEEE Aerospace Conf. . . 1 - - 13 . . DOI: 10.1109/AERO.2012.6187442 http://doi.org/10.1109/AERO.2012.6187442 . .

V Chapurlat , , , C Braesch . . Verification, validation, qualification and certification of enterprise models: statements and opportunities . . Comput. Ind. , , 2008 . . 59 ( ( 7 ): ): 711 - - 721 . . DOI: 10.1016/j.compind.2007.12.018 http://doi.org/10.1016/j.compind.2007.12.018 . .

V Chapurlat , , , B Kamsu-Fogum , , , F Prunet . . A formal verification framework and associated tools for enterprise modeling: application to UEML . . Comput. Ind. , , 2006 . . 57 ( ( 2 ): ): 153 - - 166 . . DOI: 10.1016/j.compind.2005.06.001 http://doi.org/10.1016/j.compind.2005.06.001 . .

QC Dong , , , ZX Wang , , , GY Chen , , , 等 . . Domain-specific modeling and verification for C4ISR capability requirements . . J. Cent. South Univ. , , 2012 . . 19 ( ( 5 ): ): 1334 - - 1341 . . DOI: 10.1007/s11771-012-1146-7 http://doi.org/10.1007/s11771-012-1146-7 . .

T Ender , , , RF Leurck , , , B Weaver , , , 等 . . Systems of systems analysis of ballistic missile defense architecture effectiveness through surrogate modeling and simulation . . IEEE Syst. J. , , 2010 . . 4 ( ( 2 ): ): 156 - - 166 . . DOI: 10.1109/JSYST.2010.2045541 http://doi.org/10.1109/JSYST.2010.2045541 . .

I Eusgeld , , , C Nan , , , S Dietz . . "System-of-systems" approach for interdependent critical infrastructures . . Reliab. Eng. Syst. Safety , , 2011 . . 96 ( ( 6 ): ): 679 - - 686 . . DOI: 10.1016/j.ress.2010.12.010 http://doi.org/10.1016/j.ress.2010.12.010 . .

B Fernando , , , D Miguel , , , GR Juan . . Fuzzy description logics under Godel semantics . . Int. J. Approx. Reas. , , 2009 . . 50 ( ( 3 ): ): 494 - - 514 . . DOI: 10.1016/j.ijar.2008.10.003 http://doi.org/10.1016/j.ijar.2008.10.003 . .

F Fotrousi , , , SA Fricker , , , M Fiedler . . Quality requirements elicitation based on inquiry of quality-impact relationships . . 2014 . . 22nd IEEE Int. Requirements Engineering Conf. . . 303 - - 312 . . DOI: 10.1109/RE.2014.6912272 http://doi.org/10.1109/RE.2014.6912272 . .

JX Gao , , , DQ Li , , , S Havlin . . From a single network to a network of networks . . Nat. Sci. Rev. , , 2014 . . 1 ( ( 3 ): ): 346 - - 356 . . DOI: 10.1093/nsr/nwu020 http://doi.org/10.1093/nsr/nwu020 . .

BF Ge , , , KW Hipel , , , KW Yang , , , 等 . . A data-centric capability focused approach for system-of-systems architecture modeling and analysis . . Syst. Eng. , , 2013 . . 16 ( ( 3 ): ): 363 - - 377 . . DOI: 10.1002/sys.21253 http://doi.org/10.1002/sys.21253 . .

BF Ge , , , KW Hipel , , , LP Fang , , , 等 . . An interactive portfolio decision analysis approach for system of systems architecting using the graph model for conflict resolution . . IEEE Trans. Syst. Man Cybern. , , 2014a . . 44 ( ( 10 ): ): 1328 - - 1346 . . DOI: 10.1109/TSMC.2014.2309321 http://doi.org/10.1109/TSMC.2014.2309321 . .

BF Ge , , , KW Hipel , , , KW Yang , , , 等 . . A novel executable modeling approach for system of systems architecture . . IEEE Syst. J. , , 2014b . . 8 ( ( 1 ): ): 4 - - 13 . . DOI: 10.1109/JSYST.2013.2270573 http://doi.org/10.1109/JSYST.2013.2270573 . .

E Grigoroudis , , , YA Phillis . . Modeling healthcare system of systems: a mathematical programming approach . . IEEE Syst. J. , , 2013 . . 7 ( ( 4 ): ): 571 - - 580 . . DOI: 10.1109/JSYST.2013.2251984 http://doi.org/10.1109/JSYST.2013.2251984 . .

G Guizzardi . . Ontological Foundations for Structural Conceptual Models . . 2005 . . PhD Thesis, Centre for Telematics and Information Technology, University of Twente, Enschede, the Netherlands . . . .

YY Haimes . . Modeling complex systems of systems with phantom system models . . Syst. Eng. , , 2012 . . 15 ( ( 3 ): ): 333 - - 346 . . DOI: 10.1002/sys.21205 http://doi.org/10.1002/sys.21205 . .

J Holt , , , S Perry , , , R Payne . . A model-based approach for requirements engineering for systems of systems . . IEEE Syst. J. , , 2015 . . 9 ( ( 1 ): ): 252 - - 262 . . DOI: 10.1109/JSYST.2014.2312051 http://doi.org/10.1109/JSYST.2014.2312051 . .

TV Huynh , , , A Kessler , , , J Oravec . . Orthogonal array experiment in systems engineering and architecting . . Syst. Eng. , , 2011 . . 14 ( ( 2 ): ): 208 - - 222 . . DOI: 10.1002/sys.20172 http://doi.org/10.1002/sys.20172 . .

I Khan . . Methodology for the development of executable system architecture . . 2010 . . Proc. 8th Int. Conf. on FIT . . 1 - - 4 . . DOI: 10.1145/1943628.1943677 http://doi.org/10.1145/1943628.1943677 . .

ZM Ma , , , F Zhang , , , J Cheng , , , 等 . . Representing and reasoning on fuzzy UML models: a description logic approach . . Expert Syst. Appl. , , 2011 . . 38 ( ( 3 ): ): 2536 - - 2549 . . DOI: 10.1016/j.eswa.2010.08.042 http://doi.org/10.1016/j.eswa.2010.08.042 . .

ZM Ma , , , Y Li , , , F Zhang . . Modeling fuzzy information in UML class diagrams and object-oriented database models . . Fuzzy Sets Syst. , , 2012 . . 186 ( ( 1 ): ): 26 - - 46 . . DOI: 10.1016/j.fss.2011.06.015 http://doi.org/10.1016/j.fss.2011.06.015 . .

RA Moynihan , , , RC Reining , , , PP Salamone , , , 等 . . Enterprise scale portfolio analysis at the National Oceanic and Atmospheric Administration (NOAA) . . Syst. Eng. , , 2009 . . 12 ( ( 2 ): ): 155 - - 168 . . DOI: 10.1002/sys.20116 http://doi.org/10.1002/sys.20116 . .

C Ncube , , , SL Lim , , , H Dogan . . Identifying top challenges for international research on requirements engineering for systems of systems engineering . . 2013 . . 21st IEEE Int. Requirements Engineering Conf. . . 342 - - 344 . . DOI: 10.1109/RE.2013.6636746 http://doi.org/10.1109/RE.2013.6636746 . .

Office of the Deputy Under Secretary of Defense for Acquisition and Technology and Logistics (ODUSD (A & T)) . . Systems and Software Engineering, Systems Engineering Guide for Systems of Systems, Version 1.0 . . 2008 . . Technical Report No. ODUSD (A & T) SSE, Washington DC, USA . . . .

K Petersen , , , M Khurum , , , L Angelis . . Reasons for bottlenecks in very large-scale system of systems development . . Inform. Softw. Techol. , , 2014 . . 56 ( ( 10 ): ): 1403 - - 1420 . . DOI: 10.1016/j.infsof.2014.05.004 http://doi.org/10.1016/j.infsof.2014.05.004 . .

B Regnell , , , RB Svensson , , , T Olsson . . Supporting roadmapping of quality requirements . . IEEE Softw. , , 2008 . . 25 ( ( 2 ): ): 42 - - 47 . . DOI: 10.1109/MS.2008.48 http://doi.org/10.1109/MS.2008.48 . .

G Stoilos , , , G Stamou , , , JZ Pan , , , 等 . . Reasoning with very expressive fuzzy description logics . . J. Artif. Intell. Res. , , 2007 . . 30 273 - - 320 . . DOI: 10.1613/jair.2279 http://doi.org/10.1613/jair.2279 . .

R Wang , , , CH Dagli . . Executable system architecting using systems modeling language in conjunction with colored Petri nets in a model driven systems development process . . Syst. Eng. , , 2011 . . 14 ( ( 4 ): ): 383 - - 409 . . DOI: 10.1002/sys.20184 http://doi.org/10.1002/sys.20184 . .

浏览量

Downloads

CSCD

文章被引用时，请邮件提醒。

Submit

工具集

关联资源

暂无数据