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 metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-00782260
Contributor : Hugo Bruneliere <>
Submitted on : Tuesday, January 29, 2013 - 3:23:48 PM
Last modification on : Wednesday, February 26, 2020 - 6:48:06 PM
Document(s) archivé(s) le : Tuesday, April 30, 2013 - 4:20:36 AM

File

TypingInModelManagement_prelim...
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

432

Files downloads

284