A quality requirements model and verification approach for system of systems based on description logic

Qing-long WANG; Zhi-xue WANG; Ting-ting ZHANG; Wei-xing ZHU

doi:10.1631/FITEE.1500309

Your Location：

Home >

Browse articles >

A quality requirements model and verification approach for system of systems based on description logic

Regular Papers | Updated：2022-05-19

- A quality requirements model and verification approach for system of systems based on description logic
- 一种基于描述逻辑的体系质量需求建模与验证方法
- Frontiers of Information Technology & Electronic Engineering Vol. 18, Issue 3, Pages: 346-361(2017)
- 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：
- DOI：10.1631/FITEE.1500309
  CLC： E917;TP391.9
- Received：25 September 2015，
  
  Accepted：27 February 2016，
  
  Published：2017-03
- Accepted：
Scan QR Code
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：

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 . .

Views

Downloads

CSCD

Alert me when the article has been cited

Submit

Tools

Publicity Resources

No data

Related Author

No data

Related Institution

No data

Chat

Address：Zhejiang University Press, 148 Tianmushan Road, Hangzhou, China Postal code：310028
Tel：+86-571-88273162 Email：fitee@zju.edu.cn
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰