| dc.contributor.author | König, Harald | |
| dc.contributor.author | Wolter, Uwe Egbert | |
| dc.date.accessioned | 2022-04-01T13:05:22Z | |
| dc.date.available | 2022-04-01T13:05:22Z | |
| dc.date.created | 2022-01-07T21:56:54Z | |
| dc.date.issued | 2021 | |
| dc.identifier.isbn | 978-1-6654-3495-9 | |
| dc.identifier.uri | https://hdl.handle.net/11250/2989326 | |
| dc.description.abstract | 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. | en_US |
| dc.language.iso | eng | en_US |
| dc.publisher | IEEE | en_US |
| dc.relation.ispartof | Proceedings of ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS) 2021 | |
| dc.title | A General Methodology for Internalising Multi-level Model Typing | en_US |
| dc.type | Chapter | en_US |
| dc.description.version | acceptedVersion | en_US |
| dc.rights.holder | Copyright IEEE. All rights reserved | en_US |
| cristin.ispublished | true | |
| cristin.fulltext | postprint | |
| cristin.qualitycode | 1 | |
| dc.identifier.doi | https://doi.org/10.1109/MODELS-C53483.2021.00080 | |
| dc.identifier.cristin | 1976868 | |
| dc.source.pagenumber | 511-520 | en_US |
| dc.identifier.citation | 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). | en_US |
