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)
    21 Downloads (Pure)

    Abstract

    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
    PublisherCEUR
    Pages70-75
    Number of pages6
    Publication statusPublished - Sep 2014
    EventWorkshop on Analysis of Model Transformations, AMT 2014 - Valencia, Spain
    Duration: 29 Sep 201429 Sep 2014

    Publication series

    NameCEUR Workshop Proceedings
    PublisherCEUR
    Volume1277
    ISSN (Print)1613-0073

    Workshop

    WorkshopWorkshop on Analysis of Model Transformations, AMT 2014
    Abbreviated titleAMT
    Country/TerritorySpain
    CityValencia
    Period29/09/1429/09/14

    Cite this