Model Transformation and Repair with Echo

448 views
345 views

Published on

Talk @ ASE 2013

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
448
On SlideShare
0
From Embeds
0
Number of Embeds
2
Actions
Shares
0
Downloads
2
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Model Transformation and Repair with Echo

  1. 1. Model transformation and repair with Echo Nuno Macedo Tiago Guimarães Alcino Cunha ASE 2013 November 13, Palo Alto, CA, USA
  2. 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. 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. 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. 5. Introduction Demo Core Demo Demo Nuno Macedo, Tiago Guimarães, Alcino Cunha 5/8
  6. 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. 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. 8. Introduction Demo Core Echo Available at http://haslab.github.io/echo Nuno Macedo, Tiago Guimarães, Alcino Cunha 8/8

×