Type-Safe and Conformance-Preserving Composition and Typing of Metamodels with Co-evolution of Models
Metadata
Show metadataAppears in the following Collection
- Institutt for informatikk [4956]
Abstract
Model-driven engineering is an approach that has increased in popularity during the course of the last couple of decades. In model-driven engineering models are first-class artefacts, which provides the software engineers with a powerful abstraction for handling complexity and ensuring separation of concerns. This allows engineering software that is easier to understand and reason about than traditional approaches to software engineering, which in turn lowers the costs of development and maintenance. A key to the success of model-driven engineering is model management operations, e.g. model composition and model migration. However, current approaches for metamodel composition are not type-safe, or address how existing models are impacted when metamodels are composed. Ensuring type-safety and correctness of metamodel composition approaches, with following model migration and model composition, is of great importance. This thesis describes 1) how the structure and operational semantics of metamodels can be composed and adapted type-safely while ensuring the validity of existing models, 2) how the operational semantics of metamodels can be integrated practically non-intrusively and 3) how metamodels can be typed to support variance and reuse. Three main results are presented. The first result is a collection of language constructs that realise a type-safe template-based mechanism for composition and adaptation of metamodels, including a framework that migrate and/or compose existing models. The result also includes a framework for formal analysis of these operations. The second result is two mechanisms for integrating the operational semantics of metamodels, as defined by class operations, practically non-intrusively. The third result is a theory for realising metamodel types by means of class nesting, and how this allows substitutability and polymorphism for metamodels as a whole.List of papers
1. Henning Berg, Birger Møller-Pedersen and Stein Krogdahl. Advancing Generic Metamodels. In proceedings of the co-located workshops on SPLASH '11: Domain-Specific Modeling (DSM'11), pages 19-24. ACM 2011. The article is available at https://doi.org/10.1145/2095050.2095055 |
2. Henning Berg and Birger Møller-Pedersen. Type-Safe Symmetric Composition of Metamodels using Templates. In proceedings of the 7th International Workshop on System Analysis and Modeling (SAM 2012), System Analysis and Modeling: Theory and Practice, Lecture Notes in Computer Science (LNCS), volume 7744, pages 160-178. Springer 2013. The article is available at https://doi.org/10.1007/978-3-642-36757-1_10 |
3. Henning Berg and Birger Møller-Pedersen. Specialisation of Metamodels using Metamodel Types. In proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2014), Model-Driven Engineering and Software Development, Communications in Computer and Information Science (CCIS), volume 506, pages 84-99. Springer 2015. The article is available at https://doi.org/10.1007/978-3-319-25156-1_6 |
4. Ingrid Chieh Yu and Henning Berg. A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration. In proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), Model-Driven Engineering and Software Development, Communications in Computer and Information Science (CCIS), volume 580, pages 133-154. Springer 2015. The article is available at https://doi.org/10.1007/978-3-319-27869-8_8 |
5. Henning Berg and Birger Møller-Pedersen. Metamodel and Model Composition by Integration of Operational Semantics. In proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), Model-Driven Engineering and Software Development, Communications in Computer and Information Science (CCIS), volume 580, pages 172-189. Springer 2015. The article is available at https://doi.org/10.1007/978-3-319-27869-8_10 |
6. Henning Berg. Migration of Models using Derived Transformations from Metamodel Adaptation and Composition Directives. Unpublished. 2017. |