Typing artifacts in megamodeling

Andrés Vignaga 1, * Frédéric Jouault 2 María Cecilia Bastarrica 1 Hugo Bruneliere 2
* Corresponding author
2 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : Model management is essential for coping with the complexity introduced by the increasing number and varied nature of artifacts involved in Model-Driven Engineering-based projects. Global Model Management (GMM) addresses this issue by enabling the representation of artifacts, particularly transformation composition and execution, within a model called a megamodel. Type information about artifacts can be used for preventing type errors during execution. Built on our previous work, in this paper we present the core elements of a type system for GMM that improves its original typing approach and enables both type-checking and type inference on artifacts within a megamodel. This type system is able to deal with non-trivial situations such as the use of higher order transformations. We also present a prototypical implementation of such a type system.
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

Contributor : Hugo Bruneliere <>
Submitted on : Friday, February 12, 2016 - 2:46:36 PM
Last modification on : Thursday, May 16, 2019 - 1:26:02 PM
Long-term archiving on : Saturday, November 12, 2016 - 7:33:35 PM


Files produced by the author(s)




Andrés Vignaga, Frédéric Jouault, María Cecilia Bastarrica, Hugo Bruneliere. Typing artifacts in megamodeling. Software & Systems Modeling, Springer Verlag, 2013, 12 (1), pp.105-119. ⟨10.1007/s10270-011-0191-2⟩. ⟨hal-00589277⟩



Record views


Files downloads