A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is
Model repair and transformation with Echo
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.doi:10.1109/ase.2013.6693135 dblp:conf/kbse/MacedoGC13 fatcat:s4qcl4de7rezhlnwlazaykhyj4