Typing in Model Management

Andrés Vignaga 1 Frédéric Jouault 2 María Cecilia Bastarrica 1 Hugo Brunelière 2
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 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.
Type de document :
Communication dans un congrès
International Conference on Model Transformation (ICMT 2009), Jun 2009, Zurich, Switzerland. pp.197-212, 2009
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00782260
Contributeur : Hugo Bruneliere <>
Soumis le : mardi 29 janvier 2013 - 15:23:48
Dernière modification le : vendredi 21 septembre 2018 - 01:20:54
Document(s) archivé(s) le : mardi 30 avril 2013 - 04:20:36

Fichier

TypingInModelManagement_prelim...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00782260, version 1

Collections

Citation

Andrés Vignaga, Frédéric Jouault, María Cecilia Bastarrica, Hugo Brunelière. Typing in Model Management. International Conference on Model Transformation (ICMT 2009), Jun 2009, Zurich, Switzerland. pp.197-212, 2009. 〈hal-00782260〉

Partager

Métriques

Consultations de la notice

332

Téléchargements de fichiers

154