Typing artifacts in megamodeling - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Software and Systems Modeling Année : 2013

Typing artifacts in megamodeling

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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 Consultations
197 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More