Type-Safe symmetric composition of metamodels using templates

Authors:
Henning Berg;Birger Møller-Pedersen
Affiliations:
Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo, Norway;Department of Informatics, Faculty of Mathematics and Natural Sciences, University of Oslo, Norway
Venue:
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Year:
2012

Citing 12
Cited 0

Model Driven Engineering

IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
MetaEdit+: defining and using domain-specific modeling languages and code generators

OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
XWeave: models and aspects in concert

Proceedings of the 10th international workshop on Aspect-oriented modeling
A generic weaver for supporting product lines

Proceedings of the 13th international workshop on Early Aspects
A Generic Approach for Automatic Model Composition

Models in Software Engineering
Aspect-oriented multi-view modeling

Proceedings of the 8th ACM international conference on Aspect-oriented software development
Weaving Variability into Domain Metamodels

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Reuse and combination with package templates

Proceedings of the 4th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance
Merging models with the epsilon merging language (EML)

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Design patterns for metamodels

Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Weaving executability into object-oriented meta-languages

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code

Proceedings of the 11th International Conference on Generative Programming and Component Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Composition of models is a key operation in model-driven engineering where it is used for, e.g., elaborating models with additional concepts, acquiring a holistic system view, or making model variants. However, there are few state-of-the-art composition mechanisms that support type-safe symmetric composition of metamodels and their behavioural semantics. This hampers the flexible customisation and reuse of metamodels in model-driven engineering approaches. This paper presents a new mechanism for composing metamodels by defining metamodels as reusable templates. Composition of metamodels is achieved using template instantiations that allow customising the metamodel classes as part of the composition process. The work includes a prototypical metamodel composition tool that supports the ideas presented. The result is an approach for composing metamodels in a type-safe manner, where name conflict resolution, composition of behavioural semantics and reuse of tools are supported.