XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language

Howard Chivers, Richard F. Paige

Research output: Contribution to conferencePaperpeer-review


Efficient tool support for transformations is a key requirement for the industrialisation of MDA. While there is substantial and growing support for unidirectional transformations (e.g., from PIM-to-PSM), for bidirectional transformations there is little. This paper presents tool support for bidirectional transformations, in the form of a language, called XRound, for specifying reversible templates. The language supports round-trip transformations between UML models and predicate logic. Its supporting tool also implements model unification, so that new information encoded in logic can be seamlessly integrated with information encoded in the model.
Original languageUndefined/Unknown
Publication statusPublished - 2005

Cite this