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.

Export metadata

  • Export Bibtex
  • Export RIS

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
Tag:Sprachprofile; UML Profile
GND-Keyword:Formalisierung ; OCL 2.0 ; SDL-2000; UML 2
Faculties / Organisational entities:Fachbereich Informatik
CCS-Classification (computer science):F.3.2 Semantics of Programming Languages (D.3.1)
DDC-Cassification:004 Datenverarbeitung; Informatik

$Rev: 12793 $