Towards Rigorously Faking Bidirectional Model Transformations

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

Full text download(s)

Author(s)

Department/unit(s)

Publication details

Title of host publicationAMT 2014 - Analysis of Model Transformations Workshop Proceedings
DatePublished - 2014
Pages70-75
PublisherCEUR Workshop Proceedings
EditorsJuergen Dingel, Juan de Lara, Levi Lucio, Hans Vangheluwe
Volume1277
Original languageEnglish

Publication series

NameCEUR Workshop Proceedings
ISSN (Print)1613-0073

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.

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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations