XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language

Research output: Contribution to conferencePaper



Publication details

DatePublished - 2005
Original languageUndefined/Unknown


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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations