Project Overview

Echo is a tool for model repair and transformation built over 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 deployed over the Eclipse Modeling Framework (EMF).


Alcino Cunha, Tiago GuimarĂ£es, Nuno Macedo

Relevant Links

Echo Tool