A General Methodology for Internalising Multi-level Model Typing
Chapter
Accepted version
View/
Date
2021Metadata
Show full item recordCollections
- Department of Informatics [740]
- Registrations from Cristin [5237]
Original version
2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). https://doi.org/10.1109/MODELS-C53483.2021.00080Abstract
Multilevel Modelling approaches allow for an arbitrary number of abstraction levels in typing chains. In this paper, a transformation of a multi-level typing chain into a single all-covering representing model is proposed. This comprehensive model is of equal size as the most concrete model in the chain and encodes all typing information in its labels, such that the typing chain can completely be restored. This guideline for maintaining multi-level typing chains in respective implementations of multi-level typing environments is based on a categorical equivalence theorem, which we generalize to a more convenient graph-oriented version.