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

Full description

Saved in:
Bibliographic Details
Main Authors: POSKITT, Christopher M., DODDS, Mike, PAIGE, Richard F., RENSINK, Arend
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