| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Typing in Model Management
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.
Cited literature [18 references]
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
Long-term archiving on: : Tuesday, April 30, 2013 - 4:20:36 AM
Contributor : Hugo Bruneliere <>
Submitted on : Tuesday, January 29, 2013 - 3:23:48 PM
Last modification on : Wednesday, February 26, 2020 - 6:48:06 PM
Long-term archiving on: : Tuesday, April 30, 2013 - 4:20:36 AM
File
TypingInModelManagement_prelim...
Files produced by the author(s)