Model repair and transformation with Echo

Nuno Macedo, Tiago Guimaraes, Alcino Cunha
2013 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
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 automating inconsistency detection and repair using a solver based engine.
more » ... ncy 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. 978-1-4799-0215-6/13
doi:10.1109/ase.2013.6693135 dblp:conf/kbse/MacedoGC13 fatcat:s4qcl4de7rezhlnwlazaykhyj4