Towards rigorously faking bidirectional model transformations
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 automa...
Saved in:
Main Authors: | , , , |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2014
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/4913 https://ink.library.smu.edu.sg/context/sis_research/article/5916/viewcontent/PoskittDPR.AMT.2014.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
id |
sg-smu-ink.sis_research-5916 |
---|---|
record_format |
dspace |
spelling |
sg-smu-ink.sis_research-59162020-02-13T07:02:07Z Towards rigorously faking bidirectional model transformations POSKITT, Christopher M. DODDS, Mike PAIGE, Richard F. RENSINK, Arend 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. 2014-09-01T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/4913 https://ink.library.smu.edu.sg/context/sis_research/article/5916/viewcontent/PoskittDPR.AMT.2014.pdf http://creativecommons.org/licenses/by-nc-nd/4.0/ Research Collection School Of Computing and Information Systems eng Institutional Knowledge at Singapore Management University Software Engineering |
institution |
Singapore Management University |
building |
SMU Libraries |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
SMU Libraries |
collection |
InK@SMU |
language |
English |
topic |
Software Engineering |
spellingShingle |
Software Engineering POSKITT, Christopher M. DODDS, Mike PAIGE, Richard F. RENSINK, Arend Towards rigorously faking bidirectional model transformations |
description |
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. |
format |
text |
author |
POSKITT, Christopher M. DODDS, Mike PAIGE, Richard F. RENSINK, Arend |
author_facet |
POSKITT, Christopher M. DODDS, Mike PAIGE, Richard F. RENSINK, Arend |
author_sort |
POSKITT, Christopher M. |
title |
Towards rigorously faking bidirectional model transformations |
title_short |
Towards rigorously faking bidirectional model transformations |
title_full |
Towards rigorously faking bidirectional model transformations |
title_fullStr |
Towards rigorously faking bidirectional model transformations |
title_full_unstemmed |
Towards rigorously faking bidirectional model transformations |
title_sort |
towards rigorously faking bidirectional model transformations |
publisher |
Institutional Knowledge at Singapore Management University |
publishDate |
2014 |
url |
https://ink.library.smu.edu.sg/sis_research/4913 https://ink.library.smu.edu.sg/context/sis_research/article/5916/viewcontent/PoskittDPR.AMT.2014.pdf |
_version_ |
1770575093714386944 |