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

G. Engels, A.G. Kleppe, Arend Rensink, M. Semenyak, Ch. Soltenborn, H. Wehrheim

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

    15 Citations (Scopus)

    Abstract

    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 languageUndefined
    Title of host publicationEuropean Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA)
    EditorsA. Hartman, I. Schieferdecker
    Place of PublicationBerlin
    PublisherSpringer
    Pages94-109
    Number of pages16
    ISBN (Print)978-3-540-69095-5
    DOIs
    Publication statusPublished - 2008

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Number1
    Volume5095
    ISSN (Print)1611-3349

    Keywords

    • EWI-12657
    • IR-64750
    • METIS-250971

    Cite this

    Engels, G., Kleppe, A. G., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2008). From UML Activities to TAAL: Towards behaviour-preserving model transformations. In A. Hartman, & I. Schieferdecker (Eds.), European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA) (pp. 94-109). [10.1007/978-3-540-69100-6_7] (Lecture Notes in Computer Science; Vol. 5095, No. 1). Berlin: Springer. https://doi.org/10.1007/978-3-540-69100-6_7