DMCA
Model repair and transformation with Echo (2013)
| Venue: | In ASE’13 |
| Citations: | 5 - 3 self |
BibTeX
@INPROCEEDINGS{Macedo13modelrepair,
author = {Nuno Macedo and Alcino Cunha},
title = {Model repair and transformation with Echo},
booktitle = {In ASE’13},
year = {2013},
pages = {694--697},
publisher = {IEEE}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract—Models are paramount in model-driven engineering. In a software project many models may coexist, capturing different views of the system or different levels of abstraction. A key and arduous task in this development method is to keep all such models consistent, both with their meta-models (and the respective constraints) and among themselves. This paper describes Echo, a tool that aims at simplifying this task by au-tomating inconsistency detection and repair using a solver based engine. Consistency between different models can be specified by bidirectional model transformations, and is guaranteed to be recovered by minimal updates on the inconsistent models. The tool is freely available as an Eclipse plugin, developed on top of the popular EMF framework, and supports constraints and transformations specified in the OMG standard languages OCL and QVT-R, respectively. I.
Keyphrases
model repair inconsistent model development method omg standard software project many model different view minimal update different model respective constraint model consistent au-tomating inconsistency detection different level bidirectional model transformation eclipse plugin arduous task abstract model popular emf framework model-driven engineering
