Publications

Publications

Echo has been developed by the High-Assurance Software Laboratory HASLab at University of Minho, under the FATBIT project, that aims at studying foundations, applications and tools for bidirectional transformation. The fundaments of Echo have resulted in the following publications.

Model Repair and Transformation with Echo

Nuno Macedo, Tiago Guimarães, Alcino Cunha. To appear in proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13). ACM, 2013.

• A tool demo about the implementation of the previous techniques as Echo, an Eclipse plugin for model repair and transformation.

Implementing QVT-R Bidirectional Model Transformations using Alloy

Nuno Macedo and Alcino Cunha. In proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE'13), volume 7793 of LNCS, pages 297-311. Springer, 2013.

• Paper presenting the fundaments of the least-change bidirectional transformation of QVT-R specifications that underlies Echo.

Translating between Alloy specifications and UML Class Diagrams annotated with OCL

Alcino Cunha, Ana Garis, Daniel Riesco. To appear in Software and Systems Modeling. 2013.

• Paper presenting the embedding of UML class diagrams annotated with OCL in Alloy, used in Echo to manage metamodels and constraints.