XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language

Howard Chivers; Richard F. Paige

doi:10.1007/11581741_16

XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language

Howard Chivers, Richard F. Paige

Computer Science

Research output: Contribution to conference › Paper › peer-review

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	Undefined/Unknown
Pages	205-219
DOIs	https://doi.org/10.1007/11581741_16
Publication status	Published - 2005

Access to Document

10.1007/11581741_16

http://dx.doi.org/10.1007/11581741_16

Cite this

@conference{bb62bda637cf4d3db37ead104926afde,

title = "XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language",

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. ",

author = "Howard Chivers and Paige, {Richard F.}",

year = "2005",

doi = "10.1007/11581741_16",

language = "Undefined/Unknown",

pages = "205--219",

}

TY - CONF

T1 - XRound

T2 - Bidirectional Transformations and Unifications Via a Reversible Template Language

AU - Chivers, Howard

AU - Paige, Richard F.

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

U2 - 10.1007/11581741_16

DO - 10.1007/11581741_16

M3 - Paper

SP - 205

EP - 219

ER -