Typing artifacts in megamodeling - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Software and Systems Modeling Year : 2013

Typing artifacts in megamodeling


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.
Fichier principal
Vignette du fichier
TypinArtifactsInMegamodeling_SoSyM_AuthorsVersion.pdf (470.17 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00589277 , version 1 (12-02-2016)



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



Gmail Facebook X LinkedIn More