Towards Rigorously Faking Bidirectional Model Transformations

Christopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
    24 Downloads (Pure)


    Bidirectional model transformations (bx) are mechanisms for auto-matically 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
    Subtitle of host publicationProceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014)
    EditorsJürgen Dingel, Juan de Lara, Levi Lúcio, Hans Vangheluwe
    Place of PublicationAachen
    Number of pages6
    Publication statusPublished - Sept 2014
    EventWorkshop on Analysis of Model Transformations, AMT 2014 - Valencia, Spain
    Duration: 29 Sept 201429 Sept 2014

    Publication series

    NameCEUR Workshop Proceedings
    ISSN (Print)1613-0073


    WorkshopWorkshop on Analysis of Model Transformations, AMT 2014
    Abbreviated titleAMT


    Dive into the research topics of 'Towards Rigorously Faking Bidirectional Model Transformations'. Together they form a unique fingerprint.

    Cite this