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.

Least-change bidirectional model transformation with QVT-R and ATL

Nuno Macedo and Alcino Cunha. Software and System Modeling 15(3), pages 783-810. Springer 2016. PDF

• Extends previous work, providing additional details and evaluation, and describing support for model transformations specified in ATL.

Model repair and transformation with Echo

Nuno Macedo, Tiago Guimarães and Alcino Cunha. In the proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE'13), pages 694-697. IEEE, 2013. PDF

• 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. PDF

• 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. Software and System Modeling 14(1), pages 5-25. Springer, 2013. PDF

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