Skip to Main content Skip to Navigation
Conference papers

Typing in Model Management

Andrés Vignaga 1 Frédéric Jouault 2 María Cecilia Bastarrica 1 Hugo Bruneliere 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Hugo Bruneliere Connect in order to contact the contributor
Submitted on : Tuesday, January 29, 2013 - 3:23:48 PM
Last modification on : Thursday, January 20, 2022 - 5:28:03 PM
Long-term archiving on: : Tuesday, April 30, 2013 - 4:20:36 AM


Files produced by the author(s)



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⟩



Les métriques sont temporairement indisponibles