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

14 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
Engels, G. ; Kleppe, A.G. ; Rensink, Arend ; Semenyak, M. ; Soltenborn, Ch. ; Wehrheim, H. / From UML Activities to TAAL: Towards behaviour-preserving model transformations. European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA). editor / A. Hartman ; I. Schieferdecker. Berlin : Springer, 2008. pp. 94-109 (Lecture Notes in Computer Science; 1).
@inproceedings{75fd871afba74cd8949c04638ac43e00,
title = "From UML Activities to TAAL: Towards behaviour-preserving model transformations",
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.",
keywords = "EWI-12657, IR-64750, METIS-250971",
author = "G. Engels and A.G. Kleppe and Arend Rensink and M. Semenyak and Ch. Soltenborn and H. Wehrheim",
note = "10.1007/978-3-540-69100-6_7",
year = "2008",
doi = "10.1007/978-3-540-69100-6_7",
language = "Undefined",
isbn = "978-3-540-69095-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "1",
pages = "94--109",
editor = "A. Hartman and I. Schieferdecker",
booktitle = "European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA)",

}

Engels, G, Kleppe, AG, 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)., 10.1007/978-3-540-69100-6_7, Lecture Notes in Computer Science, no. 1, vol. 5095, Springer, Berlin, pp. 94-109. https://doi.org/10.1007/978-3-540-69100-6_7

From UML Activities to TAAL: Towards behaviour-preserving model transformations. / Engels, G.; Kleppe, A.G.; Rensink, Arend; Semenyak, M.; Soltenborn, Ch.; Wehrheim, H.

European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA). ed. / A. Hartman; I. Schieferdecker. Berlin : Springer, 2008. p. 94-109 10.1007/978-3-540-69100-6_7 (Lecture Notes in Computer Science; Vol. 5095, No. 1).

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

TY - GEN

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

AU - Engels, G.

AU - Kleppe, A.G.

AU - Rensink, Arend

AU - Semenyak, M.

AU - Soltenborn, Ch.

AU - Wehrheim, H.

N1 - 10.1007/978-3-540-69100-6_7

PY - 2008

Y1 - 2008

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

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

KW - EWI-12657

KW - IR-64750

KW - METIS-250971

U2 - 10.1007/978-3-540-69100-6_7

DO - 10.1007/978-3-540-69100-6_7

M3 - Conference contribution

SN - 978-3-540-69095-5

T3 - Lecture Notes in Computer Science

SP - 94

EP - 109

BT - European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA)

A2 - Hartman, A.

A2 - Schieferdecker, I.

PB - Springer

CY - Berlin

ER -

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