XRound: bidirectional transformations and unifications via a reversible template language

Authors:
Howard Chivers;Richard F. Paige
Affiliations:
Department of Computer Science, University of York, York, UK;Department of Computer Science, University of York, York, UK
Venue:
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Year:
2005

Citing 1
Cited 2

Code Generation in Action

Code Generation in Action

A Landscape of Bidirectional Model Transformations

Generative and Transformational Techniques in Software Engineering II
Towards evolution of generic variability models

MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.