-
Notifications
You must be signed in to change notification settings - Fork 3
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.
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.
Nuno Macedo, Alcino Cunha and Hugo Pacheco. In the proceedings of the 3rd International Workshop on Bidirectional Transformations (BX'14), CEUR Workshop Proceedings 1133, pages 71-74. CEUR-WS, 2014. PDF
- Explores the semantics multidirectional transformations entailed by QVT-R transformations over multiple models.
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.
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.
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.