Formalisation of the UML Profile for SDL - A Case Study

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

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Rüdiger Grammes
URN:urn:nbn:de:hbz:386-kluedo-14530
Series (Serial Number):Interner Bericht des Fachbereich Informatik (352)
Document Type:Report
Language of publication:English
Year of Completion:2006
Year of first Publication:2006
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2006/10/27
Tag:Sprachprofile; UML Profile
GND Keyword:Formalisierung; UML 2; OCL 2.0; SDL-2000
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
CCS-Classification (computer science):F. Theory of Computation / F.3 LOGICS AND MEANINGS OF PROGRAMS / F.3.2 Semantics of Programming Languages (D.3.1)
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011