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.
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.
| Original language | English |
|---|---|
| Title of host publication | The 10th International Conference on Software Engineering Advances |
| Publication status | Published - 15 Nov 2015 |