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)
    19 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 languageUndefined
    Title of host publicationProceedings of the Workshop on Analysis of Model Transformations, AMT 2014
    EditorsJ. Dingel, J. De Lara, L. Lúcio, H. Vangheluwe
    Place of PublicationAachen
    PublisherRWTH Aachen, Germany
    Pages70-75
    Number of pages6
    Publication statusPublished - Sep 2014
    EventWorkshop on Analysis of Model Transformations, AMT 2014, Valencia, Spain: Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014 - Aachen
    Duration: 1 Sep 2014 → …

    Publication series

    NameCEUR-WS
    PublisherRWTH Aachen, Germany
    Volume1277
    ISSN (Print)1613-0073

    Conference

    ConferenceWorkshop on Analysis of Model Transformations, AMT 2014, Valencia, Spain
    CityAachen
    Period1/09/14 → …

    Keywords

    • EWI-25321
    • METIS-309667
    • IR-93308

    Cite this