Talk @ ASE 2013

1. Model transformation and repair with Echo
Nuno Macedo
Tiago Guimarães
Alcino Cunha
ASE 2013
November 13, Palo Alto, CA, USA

2. Introduction
Demo
Core
MDE
• In MDE models are the primary development artifact;
• Models must conform to their metamodels...
• ...and also coexist in a consistent manner;
• During the development process inconsistencies will
indubitably be introduced;
• Automation of inconsistency finding and repairing is essential.
Nuno Macedo, Tiago Guimarães, Alcino Cunha
2/8

3. Introduction
Demo
Core
Echo
• Echo has been developed to promote the correct evolution of
models;
• Repairs are guaranteed to correct and apply minimal changes;
• Support for rich intra- and inter-model constraints;
• Support for standard languages and developing environments:
• Deployed as an Eclipse plugin;
• Ecore metamodels, XMI models, OCL constraints, QVT-R
transformations, (ATL underway).
Nuno Macedo, Tiago Guimarães, Alcino Cunha
3/8

4. Introduction
Demo
Core
Echo
• Model visualization;
• Model generation;
• Consistency check;
• Model repair;
• Inter-model consistency check;
• Inter-model generation (model transformation);
• Inter-model consistency repair (bidirectional transformation).
Nuno Macedo, Tiago Guimarães, Alcino Cunha
4/8

5. Introduction
Demo
Core
Demo
Demo
Nuno Macedo, Tiago Guimarães, Alcino Cunha
5/8

6. Introduction
Demo
Core
Core
• Echo is built over the Alloy relational model finder;
• Minimal updates are attained by minimizing the model
distance:
• Graph edit distance (models are seen as graphs, automatically
inferred from the metamodel);
• Operation-based distance (parametrized by the user, finer
control over the updates);
• Inter-model repairs are realized as bidirectional
transformations.
Nuno Macedo, Tiago Guimarães, Alcino Cunha
6/8

7. Introduction
Demo
Core
Alloy embedding
Check
Enforce
Alloy
Command
Alloy
Command
Alloy model
Alloy
Instances
Alloy
Specification
Alloy
Predicates
Source metamodel
XMI
UML
OCL
Nuno Macedo, Tiago Guimarães, Alcino Cunha
Alloy
Specification
Alloy
Instances
Target metamodel
QVT-R
UML
OCL
XMI
7/8

8. Introduction
Demo
Core
Echo
Available at
http://haslab.github.io/echo
Nuno Macedo, Tiago Guimarães, Alcino Cunha
8/8