King's College London

Research portal

Patterns for Specifying Bidirectional Transformations in UML-RSDS

Research output: Chapter in Book/Report/Conference proceedingConference paper

Original languageEnglish
Title of host publicationThe 10th International Conference on Software Engineering Advances
Publication statusPublished - 15 Nov 2015

King's Authors

Abstract

In this paper, we identify model transformation specification
and design patterns, which support the property of
transformation bidirectionality: the ability of a single specification
to be applied either as a source-to-target transformation or as
a target-to-source transformation. In contrast to previous work
on bidirectional transformations (bx), we identify the important
role of transformation invariants in the derivation of reverse
transformations, and show how patterns and invariants can be
used to give a practical means of defining bx in the UML-RSDS
transformation language.

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454