• search hit 1 of 1
Back to Result List

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

Share in Twitter Search Google Scholar
Author:Rüdiger Grammes
URN (permanent link):urn:nbn:de:hbz:386-kluedo-14530
Serie (Series number):Interner Bericht des Fachbereich Informatik (352)
Document Type:Report
Language of publication:English
Year of Completion:2006
Year of Publication:2006
Publishing Institute:Technische Universität Kaiserslautern
Date of the Publication (Server):2006/10/27
Tag:Sprachprofile; UML Profile
GND-Keyword:Formalisierung; OCL 2.0; SDL-2000; UML 2
Faculties / Organisational entities: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