General Modeling Language to Support Model‐based Systems Engineering Formalisms (Part 1)

Abstract

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