Model Transformation and Repair with Echo
0 likes593 views
Echo is a model transformation and repair tool that uses minimal updates to fix inconsistencies in models automatically. It supports standard languages like Ecore, XMI, OCL, and QVT-R. Echo's features include model visualization, generation, consistency checking, and repair for both intra-model and inter-model relationships. It is built on top of the Alloy relational model finder to attain minimal updates by minimizing graph edit or operation-based distance between models.
Model Transformation and Repair with Echo
- 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