XRound: Bidirectional transformations and unifications via a reversible template language

H Chivers, R F Paige

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish
Title of host publicationMODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS
EditorsA Hartman, D Kreische
Place of PublicationBERLIN
PublisherSpringer
Pages205-219
Number of pages15
ISBN (Print)3-540-30026-0
Publication statusPublished - 2005
Event1st European Conference on Model Driven Architecture - Foundations and Applications - Nuremberg
Duration: 7 Nov 200510 Nov 2005

Conference

Conference1st European Conference on Model Driven Architecture - Foundations and Applications
CityNuremberg
Period7/11/0510/11/05

Cite this