TY  - RPRT
A1  - Grammes, Rüdiger
T1  - Formalisation of the UML Profile for SDL - A Case Study
N2  - With the UML 2.0 standard, the Unified Modeling Language took a big step towards SDL, incorporating many features of the language. SDL is a mature and complete language with formal semantics. The Z.109 standard defines a UML Profile for SDL, mapping UML constructs to corresponding counterparts in SDL, giving them a precise semantics. In this report, we present a case study for the formalisation of the Z.109 standard. The formal definition makes the mapping precise and can be used to derive tool support.
T3  - Interner Bericht des Fachbereich Informatik - 352 
KW  - Formalisierung
KW  - UML 2
KW  - OCL 2.0
KW  - SDL-2000
KW  - UML Profile
KW  - Sprachprofile
Y1  - 2006
UR  - https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/1792
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:386-kluedo-14530
ER  -