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.

Volltext Dateien herunterladen

Metadaten exportieren

  • Export nach Bibtex
  • Export nach RIS

Weitere Dienste

Teilen auf Twitter Suche bei Google Scholar
Metadaten
Verfasserangaben:Rüdiger Grammes
URN (Permalink):urn:nbn:de:hbz:386-kluedo-14530
Schriftenreihe (Bandnummer):Interner Bericht des Fachbereich Informatik (352)
Dokumentart:Bericht
Sprache der Veröffentlichung:Englisch
Jahr der Fertigstellung:2006
Jahr der Veröffentlichung:2006
Veröffentlichende Institution:Technische Universität Kaiserslautern
Datum der Publikation (Server):27.10.2006
Freies Schlagwort / Tag:Sprachprofile; UML Profile
GND-Schlagwort:Formalisierung ; OCL 2.0 ; SDL-2000; UML 2
Fachbereiche / Organisatorische Einheiten:Fachbereich Informatik
CCS-Klassifikation (Informatik):F. Theory of Computation / F.3 LOGICS AND MEANINGS OF PROGRAMS / F.3.2 Semantics of Programming Languages (D.3.1)
DDC-Sachgruppen:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Lizenz (Deutsch):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011

$Rev: 13581 $