Towards Rigorously Faking Bidirectional Model Transformations

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

  • 6 Citations

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
StatePublished - Sep 2014

Publication series

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

Fingerprint

Model transformation
Graph transformation
Calculus
Verify
Graph in graph theory
Model

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.

Poskitt, Christopher M.; Dodds, Mike; Paige, Richard F.; Rensink, Arend / Towards Rigorously Faking Bidirectional Model Transformations.

Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014. ed. / J. Dingel; J. De Lara; L. Lúcio; H. Vangheluwe. Aachen : RWTH Aachen, Germany, 2014. p. 70-75 (CEUR-WS; Vol. 1277).

Research output: Scientific - peer-reviewConference contribution

@inbook{7c976680fb8c4eb9ac3b38edbcfaac41,
title = "Towards Rigorously Faking Bidirectional Model Transformations",
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.",
keywords = "EWI-25321, METIS-309667, IR-93308",
author = "Poskitt, {Christopher M.} and Mike Dodds and Paige, {Richard F.} and Arend Rensink",
year = "2014",
month = "9",
series = "CEUR-WS",
publisher = "RWTH Aachen, Germany",
pages = "70--75",
editor = "J. Dingel and {De Lara}, J. and L. Lúcio and H. Vangheluwe",
booktitle = "Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014",

}

Poskitt, CM, Dodds, M, Paige, RF & 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. CEUR-WS, vol. 1277, RWTH Aachen, Germany, Aachen, pp. 70-75.

Towards Rigorously Faking Bidirectional Model Transformations. / Poskitt, Christopher M.; Dodds, Mike; Paige, Richard F.; Rensink, Arend.

Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014. ed. / J. Dingel; J. De Lara; L. Lúcio; H. Vangheluwe. Aachen : RWTH Aachen, Germany, 2014. p. 70-75 (CEUR-WS; Vol. 1277).

Research output: Scientific - peer-reviewConference contribution

TY - CHAP

T1 - Towards Rigorously Faking Bidirectional Model Transformations

AU - Poskitt,Christopher M.

AU - Dodds,Mike

AU - Paige,Richard F.

AU - Rensink,Arend

PY - 2014/9

Y1 - 2014/9

N2 - 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.

AB - 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.

KW - EWI-25321

KW - METIS-309667

KW - IR-93308

M3 - Conference contribution

T3 - CEUR-WS

SP - 70

EP - 75

BT - Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014

PB - RWTH Aachen, Germany

ER -

Poskitt CM, Dodds M, Paige RF, Rensink A. Towards Rigorously Faking Bidirectional Model Transformations. In Dingel J, De Lara J, Lúcio L, Vangheluwe H, editors, Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014. Aachen: RWTH Aachen, Germany. 2014. p. 70-75. (CEUR-WS).