Echo is a tool for model repair and t . . .
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 Model . . .
GROOVE is a project centered around t . . .
GROOVE is a project centered around the use of simple graphs for modeling the design-time, compile-time, and run-time structure of object-oriented systems, and graph transformations as a basis for model transformation and operational semantics.. . .
Henshin provides a model transf . . .
Henshin provides a model transformation language for the Eclipse Modeling Framework. Henshin supports both direct transformations of EMF single model instances (endogenous transformations), and translation of source model instances into a target language (exogenous trans . . .