Towards behavioral consistency in heterogeneous modeling scenarios
Chapter, Peer reviewed
Accepted version
View/ Open
Date
2021Metadata
Show full item recordCollections
Original version
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.00107Abstract
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.
Description
© 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.