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


Engels, G. and Kleppe, A.G. and Rensink, A. and Semenyak, M. and Soltenborn, Ch. and Wehrheim, H. (2008) From UML Activities to TAAL: Towards behaviour-preserving model transformations. In: European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA), 10-12 Jun 2008, Berlin, Germany (pp. pp. 94-109).

[img] PDF
Restricted to UT campus only
: Request a copy
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.
Item Type:Conference or Workshop Item
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 250971