Towards behavioral consistency in heterogeneous modeling scenarios
Chapter, Peer reviewed
Accepted version
Permanent lenke
https://hdl.handle.net/11250/2988418Utgivelsesdato
2021Metadata
Vis full innførselSamlinger
Originalversjon
Kräuter, T. O. (2021). Towards behavioral consistency in heterogeneous modeling scenarios. In L. O'Conner (Ed.), MODELS-C 2021: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (pp. 666-671). IEEE. 10.1109/MODELS-C53483.2021.00107Sammendrag
Behavioral models play an essential role in Model-driven engineering (MDE). Keeping inter-related behavioral models consistent is critical to use them successfully in MDE. However, consistency checking for behavioral models, especially in a heterogeneous scenario, is limited. We propose a methodology to integrate heterogeneous behavioral models to achieve consistency checking in broader scenarios. It is based on aligning the respective behavioral metamodels by defining possible inter-model relations which carry behavioral meaning. Converting the models and their relations to a behavioral formalism enables analysis of global behavioral consistency using model-checking.
Beskrivelse
© 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.