Poskitt, Chris, Dodds, Mike orcid.org/0000-0002-4439-0130, Paige, Richard Freeman orcid.org/0000-0002-1978-9852 et al. (1 more author) (2014) Towards Rigorously Faking Bidirectional Model Transformations. In: Dingel, Juergen, de Lara, Juan, Lucio, Levi and Vangheluwe, Hans, (eds.) AMT 2014 - Analysis of Model Transformations Workshop Proceedings. ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, 28 Sep - 03 Oct 2014 CEUR Workshop Proceedings . CEUR Workshop Proceedings , ESP , pp. 70-75.
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.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
Copyright, Publisher and Additional Information: | © 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. |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 14 Dec 2015 10:18 |
Last Modified: | 06 Nov 2024 02:05 |
Status: | Published |
Publisher: | CEUR Workshop Proceedings |
Series Name: | CEUR Workshop Proceedings |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:82803 |