Ontology Supporting Model-Based Systems Engineering Based on a GOPPRR Approach

Model-based systems engineering (MBSE) has become a new trend in systems engineering. The core of MBSE is the use of models to formalize product development and the product itself (requirement, architecture, etc.) using different languages throughout the entire lifecycle. However, different tools based on different modeling languages in each development phase lead to considerable deviations during information sharing between the models. In this paper, a GOPPRR approach is proposed to describe system characteristics and system development based on meta-models for different architecture descriptions using meta-meta models including Graph, Object, Point, Property, Role, and Relationship. Moreover, ontology based on W3C Web Ontology Language (OWL) is designed to support the GOPPRR approach for unified model representations and further to implement model integration in the entire lifecycle. Finally, the feasibility of the GOPPRR approach and the ontology formalism supporting MBSE is verified through an auto-braking case of an autonomous driving system.

[1]  Flávio Oquendo,et al.  SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines , 2013, ICEIS.

[2]  Steffen Staab,et al.  An ontology-based framework for domain-specific modeling , 2014, Software & Systems Modeling.

[3]  L. C. van Ruijven,et al.  Ontology for Systems Engineering , 2013, CSER.

[4]  David Broman,et al.  Viewpoints, formalisms, languages, and tools for cyber-physical systems , 2012, MPM '12.

[5]  Gerd Wagner,et al.  Ontologies, Meta-models, and the Model-Driven Paradigm , 2006, Ontologies for Software Engineering and Software Technology.

[6]  Leon F. McGinnis,et al.  System and simulation modeling using SYSML , 2007, 2007 Winter Simulation Conference.

[7]  DeJiu Chen,et al.  A Model-driven and Tool-integration Framework for Whole Vehicle Co-simulation Environments , 2016 .

[8]  Kalle Lyytinen,et al.  MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment , 1996, CAiSE.

[9]  David W. Rosen,et al.  A Design for Additive Manufacturing Ontology , 2016, Journal of Computing and Information Science in Engineering.

[10]  Saso Dzeroski,et al.  Generic ontology of datatypes , 2016, Inf. Sci..

[11]  David S. Riha,et al.  Survivability modeling in Darpa's Adaptive Vehicle Make (AVM) program , 2013 .

[12]  Juha-Pekka Tolvanen,et al.  Domain-Specific Modeling: Enabling Full Code Generation , 2008 .

[13]  Alberto Trombetta,et al.  BPMN: An introduction to the standard , 2012, Comput. Stand. Interfaces.

[14]  Robert Stevens,et al.  The Protege OWL Experience , 2005, OWLED.

[15]  Sandeep Neema,et al.  Meta II: Multi-Model Language Suite for Cyber Physical Systems , 2013 .

[16]  Marcela Genero,et al.  A systematic identification of consistency rules for UML diagrams , 2018, J. Syst. Softw..