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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Object Management Group. Queries-Views-Transformations Specification (June 2005), last accessed, available at http://www.omg.org
Object Management Group. Model-Driven Architecture Specification (June 2005), last accessed available at http://www.omg.org
QVT-Merge Group, Revised submission for MOF 2.0 Query/Views/Transformations RFP, ad/2002-04-10 (2004), http://www.omg.org
ATLAS Transformation Language web page (June 2005), last accessed http://www.sciences.univ-nantes.fr/lina/atl/
Xactium Inc. XMF Reference Guide 0.1 last accessed (June 2005), available at http://www.xactium.com
Herrington, J.: Code Generation in Action, Manning (2004)
TXL Web Page, available at, last accessed (June 2005) http://www.txl.ca
Del Fabro, M., Bezevin, J., Jouault, F., Bertan, E., Guillaume, G.: AMW: a Generic Model Weaver. In: Proc. IDM (July 2005)
Tratt, L.: The Converge Programming Language, King’s College Technical Report TR-05-01 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chivers, H., Paige, R.F. (2005). XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language. In: Hartman, A., Kreische, D. (eds) Model Driven Architecture – Foundations and Applications. ECMDA-FA 2005. Lecture Notes in Computer Science, vol 3748. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11581741_16
Download citation
DOI: https://doi.org/10.1007/11581741_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30026-7
Online ISBN: 978-3-540-32093-7
eBook Packages: Computer ScienceComputer Science (R0)