<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>27</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Hugo Pacheco</style></author><author><style face="normal" font="default" size="100%">Nuno Macedo</style></author><author><style face="normal" font="default" size="100%">Alcino Cunha</style></author><author><style face="normal" font="default" size="100%">Janis Voigtländer</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A Generic Scheme and Properties of Bidirectional Transformations</style></title><secondary-title><style face="normal" font="default" size="100%">CoRR</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Bidirectional transformations</style></keyword><keyword><style  face="normal" font="default" size="100%">Point-free</style></keyword><keyword><style  face="normal" font="default" size="100%">Relational calculus</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2013</style></year><pub-dates><date><style  face="normal" font="default" size="100%">June</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/nmacedo/files/1306.4473v2.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">HASLab/INESC TEC &amp; University of Minho</style></publisher><pub-location><style face="normal" font="default" size="100%">Braga, Portugal</style></pub-location><volume><style face="normal" font="default" size="100%">arXiv/1306.4473</style></volume><pages><style face="normal" font="default" size="100%">19</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The recent rise of interest in bidirectional transformations (BXs) has led to the development of many BX frameworks, originating in diverse computer science disciplines. From a user perspective, these frameworks vary significantly in both interface and predictability of the underlying bidirectionalization technique. In this paper we start by presenting a generic BX scheme that can be instantiated to different concrete interfaces, by plugging-in the desired notion of update and traceability. Based on that scheme, we then present several desirable generic properties that may characterize a BX framework, and show how they can be instantiated to concrete interfaces. This generic presentation is useful when exploring the BX design space: it might help developers when designing new frameworks and end-users when comparing existing ones. We support the latter claim, by applying it in a comparative survey of popular existing BX frameworks.&lt;/p&gt;
</style></abstract></record></records></xml>