Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
9-2014
Abstract
Bidirectional model transformations (bx) are mechanisms for automatically restoring consistency between multiple concurrently modified models. They are, however, challenging to implement; many model transformation languages not supporting them at all. In this paper, we propose an approach for automatically obtaining the consistency guarantees of bx without the complexities of a bx language. First, we show how to "fake" true bidirectionality using pairs of unidirectional transformations and inter-model consistency constraints in Epsilon. Then, we propose to automatically verify that these transformations are consistency preserving – thus indistinguishable from true bx – by defining translations to graph rewrite rules and nested conditions, and leveraging recent proof calculi for graph transformation verification.
Discipline
Software Engineering
Research Areas
Software and Cyber-Physical Systems
Publication
Proceedings of the 3rd Workshop on the Analysis of Model Transformations (AMT 2014)
First Page
70
Last Page
75
City or Country
Valencia, Spain
Citation
POSKITT, Christopher M.; DODDS, Mike; PAIGE, Richard F.; and RENSINK, Arend.
Towards rigorously faking bidirectional model transformations. (2014). Proceedings of the 3rd Workshop on the Analysis of Model Transformations (AMT 2014). 70-75.
Available at: https://ink.library.smu.edu.sg/sis_research/4913
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Additional URL
http://ceur-ws.org/Vol-1277/8.pdf