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)
    18 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

    Publication series

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

    Keywords

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

    Cite this

    Poskitt, C. M., Dodds, M., Paige, R. F., & Rensink, A. (2014). Towards Rigorously Faking Bidirectional Model Transformations. In J. Dingel, J. De Lara, L. Lúcio, & H. Vangheluwe (Eds.), Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014 (pp. 70-75). (CEUR-WS; Vol. 1277). Aachen: RWTH Aachen, Germany.