Echo is a tool for model repair and transformation based on the Alloy model finder, with support for bidirectional model transformations. It is able to both check and recover, through minimal updates, both intra- and inter-model consistency, and is built over the Eclipse Modeling Framework (EMF).

Platforms:
Developers :
HASLab, INESC TEC & University of Minho
Aditionl Link :

Comparison of Model Transformation Tools