Premium
General Modeling Language to Support Model‐based Systems Engineering Formalisms (Part 1)
Author(s) -
Lu Jinzhi,
Wang Guoxin,
Ma Junda,
Kiritsis Dimitris,
Zhang Hang,
Törngren Martin
Publication year - 2020
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.2020.00725.x
Subject(s) - rotation formalisms in three dimensions , computer science , model transformation , modeling language , software engineering , unified modeling language , metamodeling , systems engineering , graph rewriting , programming language , theoretical computer science , graph , artificial intelligence , engineering , consistency (knowledge bases) , geometry , mathematics , software
Model‐based systems engineering (MBSE) has been proposed for systems engineering (SE) whereby modeling approaches have been developed to support formalisms of system artifacts. By using traditional MBSE approaches, these formalisms are described by different languages; however, the use of different tools for such languages leads to gaps which result in integration difficulties for various system engineering product views, such as the requirements, architecture, and others. In this study, a textual modeling language is developed based on a graph, object, point, property, role, and relationship approach, known as “ Karma ,” to formalize models and meta‐models. Its main goal is to construct different MBSE languages and their models, and to formalize the model‐transformation and code‐generation processes during the entire lifecycle. Based on the Karma language, an MBSE tool is developed to formalize the entire SE approach of products with the use of models, and to support automated model transformation for architecture‐driven and code‐generation schemes (introduced in Part 2 of this paper series). Finally, we evaluate the feasibility of the Karma language with our developed tool MetaGraph with an example which is based on the use of an auto‐braking case in an autonomously driven system.