Foundations, Applications and Tools for Bidirectional Transformation

This project aims to propose effective bidirectional transformation (BT) frameworks for three relevant application domains: model-driven engineering, spreadsheet validation and transformation, and language-based editors defined with attribute grammars. Common to these application domains is the fact that models cannot be captured by pure hierarchical (tree-like) data structures. Although effective BT frameworks have been proposed to handle hierarchical models, no generic and effective framework has yet been proposed for non-hierarchical ones. We intend to do so by relying on the point-free relational calculus, a quantifier free formalization of first-order logic, popularized in the algebra of programming community. This calculus deals naturally with non-determinism and partiality, two key issues in the formalization of BTs. It is also amenable to calculation thanks to its purely equational reasoning style, which opens interesting opportunities for BT optimization.

Project info

Supported by This work is funded by the ERDF through the programme COMPETE and by the Portuguese Government through FCT (Foundation for Science and Technology), project reference FCOMP-01-0124-FEDER-020532
Budget EUR 73.200,00
Start Date 1st March 2012
Duration 2 years
Hosted by HASLab, INESC TEC and University of Minho
Team fatbit@di.uminho.pt
Coordination Manuel Alcino Cunha (alcino@di.uminho.pt)
Telefone +351 253604444 (direct) or +351 253604430
Fax +351 253604471

Logo_Compete.jpg QREN_Logotipo(H).jpg UE_Cor_Legenda.jpg FCT_V_color_V2011.png