Abstract
Bidirectional transformations (bx) are of increasing significance in model-based engineering. Currently bx are defined using a number of specialised transformation languages. In this paper we show how standard UML elements such as use cases and OCL constraints can be used to define bx, thus taking advantage of the wide industrial and educational adoption and support for UML. We define patterns and techniques for specifying bx so that they are correct by construction.
| Original language | English |
|---|---|
| Pages (from-to) | 28-37 |
| Number of pages | 10 |
| Journal | CEUR Workshop Proceedings |
| Volume | 1693 |
| Publication status | Published - 2 Oct 2016 |
| Event | 2nd Joint International Workshop on Patterns in Model Engineering and the 5th International Workshop on the Verification of Model Transformation, PAME-VOLT 2016 - Saint-Malo, France Duration: 2 Oct 2016 → 3 Oct 2016 |