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.
Original language | English |
---|---|
Title of host publication | MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS |
Editors | A Hartman, D Kreische |
Place of Publication | BERLIN |
Publisher | Springer |
Pages | 205-219 |
Number of pages | 15 |
ISBN (Print) | 3-540-30026-0 |
Publication status | Published - 2005 |
Event | 1st European Conference on Model Driven Architecture - Foundations and Applications - Nuremberg Duration: 7 Nov 2005 → 10 Nov 2005 |
Conference
Conference | 1st European Conference on Model Driven Architecture - Foundations and Applications |
---|---|
City | Nuremberg |
Period | 7/11/05 → 10/11/05 |