Foundations, Applications and Tools for Bidirectional Transformation


Dez 23

New papers accepted for publication at PEPM'14 and FASE'14.

Aug 26

Tool demo accepted for publication at ASE'13: Nuno Macedo, Tiago Guimarães, and Alcino Cunha, Model Repair and Transformation with Echo.

Mar 18

Our FASE'13 paper on Implementing QVT-R Bidirectional Model Transformations using Alloy is one of the nominated for best paper at ETAPS.

Feb 1

Paper accepted for publication at BX'13: N. Macedo, H. Pacheco, A. Cunha, and J. N. Oliveira: Composing Least-change Lenses.

Dec 21

Two new students have joined the project team as BI grant holders. Nuno Sousa will be working on bidirectionalizing spreadsheet formulas, and Tiago Guimarães will help in the implementation of a QVT-R bidirectional transformation tool.

Dec 18

Paper accepted for publication at FASE'13: N. Macedo and A. Cunha: Implementing QVT-R Bidirectional Model Transformations using Alloy.

Oct 10

Two 6 month grants available to work on bidirectional transformations!

Jun 16

Paper accepted for publication at RAMICS'12: N. Macedo, H. Pacheco and A. Cunha: Relations as executable specifications: taming partiality and non-determinism using invariants.

Jun 1

Paper accepted for publication at the post-proceedings of BX'12: H. Pacheco, A. Cunha and Z. Hu. Delta Lenses over Inductive Types.

Old News

Research » FATBIT » WebHome » FctForm » T6

T6 - Dissemination and Case Studies

The first objective of this task is to develop a web-site on BT, to serve as visible image of the project. This site should have the following functionalities:

  • Interactive presentation of the results of the survey to be developed in task 1. Namely, the site should allow the user to navigate via the proposed taxonomy and required round-tripping axioms, in order to allow a quick selection of the framework that better suits his needs. Moreover, it should allow easy addition of new BT frameworks and related publications. The BT community currently lacks a site to collect, organize and disseminate information about all aspects of this research field, and we believe this effort could be an embryo of such site.
  • Web interface for the project's tools. Besides the common (low-level) BT framework for non-hierarchical models, the project is expected to deliver specific BT tools to tackle the different application domains of tasks 3, 4, and 5. All these software will be made available as open source, to allow its reuse in other projects. However, to foster the dissemination of the tools, we intend to provide web-interfaces to allow the user to painlessly test their capabilities without prior installation.
A BI grant is planned to support the development of this site.

The second objective of this task is to organize the first international symposium on BT. The community has been organizing yearly informal workshops on the theme, but we believe there is now enough critical mass to have an international symposium dedicated to the theme. Members of this project team organize every two years the Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE). This event attracts hundreds of students in every edition, and some of the best researchers of the field as lecturers. As expected, many of these participants are also involved in BT, and we believe it would be beneficial to organize such symposium as a co-located event with GTTSE 2013. Besides the obvious benefits to the overall community, we believe this symposium could play a a key role in the dissemination of the project results. In particular, we intend to unveil the aforementioned interactive survey at this event. Given his experience in organizing GTTSE and other major computer science events (namely ETAPS 2007), this organization will be led by João Saraiva, who will also be responsible for this task.

The final objective of this task is to write a cookbook on BT case studies, to aid future programmers solve their problems using the proposed tools. First, a set of case studies within the application domains of the project will be defined. This set should be comprehensive enough to cover most typical design patters and address common pitfalls. To ensure relevance, we intend to involve the project consultants in this task. The cookbook will then detail how these case studies can be implemented with the framework and tools proposed in the project. Following the open access initiative, this book will be freely available online in the project website. Alcino Cunha, Jácome Cunha, Hugo Pacheco, and Eric Van Wyk will be the authors of this book, since they are responsible for developing the common BT framework, and the three specific tools for the project application domains.

To sum up, the expected deliverables of this task are:

  • A web site with the results of the survey of task 1 and interfaces for the developed tools.
  • The first international symposium on BT.
  • A cookbook with BT case studies.


  • João Alexandre Saraiva
  • Manuel Alcino Cunha
  • Jácome Cunha
  • Hugo Pacheco
  • Eric Van Wyk
  • BI5

r7 - 20 Feb 2011 - 12:25:33 - AlcinoCunha
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM