Towards Rigorously Faking Bidirectional Model Transformations

Chris Poskitt, Mike Dodds, Richard Freeman Paige, Arend Rensink

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationAMT 2014 - Analysis of Model Transformations Workshop Proceedings
EditorsJuergen Dingel, Juan de Lara, Levi Lucio, Hans Vangheluwe
PublisherCEUR Workshop Proceedings
Publication statusPublished - 2014
EventACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems - Valencia, Spain
Duration: 28 Sept 20143 Oct 2014

Publication series

NameCEUR Workshop Proceedings
ISSN (Print)1613-0073


ConferenceACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems

Bibliographical note

© Authors 2014. This is an author produced version of a paper published in CEUR Workshop Proceedings. Uploaded in accordance with the publisher's self-archiving policy.

Cite this