From UML Activities to TAAL: Towards behaviour-preserving model transformations

Gregor Engels, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    15 Citations (Scopus)


    Model transformations support a model-driven design by providing an automatic translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful application of model transformations is their correctness, in the sense that the meaning (semantics) of the models is preserved. This is especially important if the models not only describe the structure but also the intended behaviour of the systems. Reasoning about and showing correctness is, however, often impossible as the source and target models typically lack a precise definition of their semantics. In this paper, we take a first step towards provably correct behavioural model transformations. In particular, we develop transformations from UML Activities (which are visual models) to programs in TAAL, which is a textual Java-like programming language. Both languages come equipped with formal behavioural semantics, which, moreover, have the same semantic domain. This sets the stage for showing correctness, which in this case comes down to showing that the behaviour of every (well-formed) UML Activity coincides with that of the corresponding TAAL program, in a well-defined sense.
    Original languageEnglish
    Title of host publicationModel Driven Architecture – Foundations and Applications
    Subtitle of host publication4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings
    EditorsIna Schieferdecker, Alan Hartman
    Place of PublicationBerlin
    Number of pages16
    ISBN (Electronic)978-3-540-69100-6
    ISBN (Print)978-3-540-69095-5
    Publication statusPublished - 2008
    Event4th European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2008 - Berlin, Germany
    Duration: 9 Jun 200813 Jun 2008
    Conference number: 4

    Publication series

    NameLecture Notes in Computer Science
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference4th European Conference Model Driven Architecture - Foundations and Applications, ECMDA-FA 2008
    Abbreviated titleECMDA-FA


    • Transition system
    • Model transformation
    • Transformation rule
    • Graph transformation
    • Abstract syntax


    Dive into the research topics of 'From UML Activities to TAAL: Towards behaviour-preserving model transformations'. Together they form a unique fingerprint.

    Cite this