KARMA Approach supporting Development Process Reconstruction in Model-based Systems Engineering

TL;DR

This paper introduces the KARMA approach, which uses natural language processing and formal modeling to reconstruct development process models in model-based systems engineering, improving efficiency and managing requirements changes.

Contribution

The paper presents a novel KARMA language and a reconstruction framework that formalizes and automatically updates development process models from natural language requirements.

Findings

Enhanced design efficiency demonstrated in case study

Effective formalization of process models across modeling languages

Successful reconstruction of aircraft onboard maintenance system process

Abstract

Model reconstruction is a method used to drive the development of complex system development processes in model-based systems engineering. Currently, during the iterative design process of a system, there is a lack of an effective method to manage changes in development requirements, such as development cycle requirements and cost requirements, and to realize the reconstruction of the system development process model. To address these issues, this paper proposes a model reconstruction method to support the development process model. Firstly, the KARMA language, based on the GOPPRR-E metamodeling method, is utilized to uniformly formalize the process models constructed based on different modeling languages. Secondly, a model reconstruction framework is introduced. This framework takes a structured development requirements based natural language as input, employs natural language processing techniques to analyze the development requirements text, and extracts structural and optimization constraint information. Then, after structural reorganization and algorithm optimization, a development process model that meets the development requirements is obtained. Finally, as a case study, the development process of the aircraft onboard maintenance system is reconstructed. The results demonstrate that this method can significantly enhance the design efficiency of the development process.