King's College London

Research portal

TL: a specification language for bidirectional transformations

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

Original languageEnglish
Title of host publicationModevva 2020
Published19 Oct 2020


  • tlmodels

    tlmodels.pdf, 638 KB, application/pdf

    Uploaded date:22 Oct 2020

King's Authors


Model transformation verification has been hindered by the
complex language mechanisms and semantics of mainstream
transformation languages. In this paper we describe an abstract
formalism, TL, for the definition of bidirectional and
unidirectional transformations in a purely declarative manner.
In contrast to model transformation languages such as
ATL or QVT-R, there is no implicit or explicit sequencing
of rules in TL specifications. Reasoning about TL specifications
is therefore facilitated. We show that semantics preserving
translations can be defined from TL to subsets
of the mainstream transformation languages.

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454