Formalisation of the UML Profile for SDL - A Case Study

R. Grammes

Technical Report 352/06, Department of Computer Science, University of Kaiserslautern, 2006


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.


Go to the contact details of the person in charge of this page

This page in german. Diese Seite auf deutsch.