King's College London

Research portal

Verified bidirectional transformations by construction

Research output: Contribution to journalConference paper

Original languageEnglish
Pages (from-to)28-37
Number of pages10
JournalCEUR Workshop Proceedings
Publication statusPublished - 2 Oct 2016
Event2nd 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 20163 Oct 2016



King's Authors


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.

Download statistics

No data available

View graph of relations

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