Typing in Model Management - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Typing in Model Management

Résumé

Model management is essential for coping with the complexity introduced by the increasing number and varied nature of artifacts involved in MDE-based projects. Global Model Management (GMM) addresses this issue enabling the representation of artifacts, particularly transformation composition and execution, by a model called a megamodel. Typing information about artifacts can be used for preventing type errors during execution. In this work, we present a type system for GMM that improves its current typing approach and enables formal reasoning about the type of artifacts within a megamodel. This type system is able to capture non-trivial situations such as the use of higher order transformations.
Fichier principal
Vignette du fichier
TypingInModelManagement_preliminary.pdf (526.76 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00782260 , version 1 (29-01-2013)

Identifiants

Citer

Andrés Vignaga, Frédéric Jouault, María Cecilia Bastarrica, Hugo Bruneliere. Typing in Model Management. International Conference on Model Transformation (ICMT 2009), Jun 2009, Zurich, Switzerland. pp.197-212, ⟨10.1007/978-3-642-02408-5_14⟩. ⟨hal-00782260⟩
252 Consultations
202 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More