edoc-Server der Humboldt-Universität zu Berlin

Dissertation

Autor(en): Martin von Löwis of Menar
Titel: Formale Semantik des Datentypmodells von SDL-2000
Gutachter: Andreas Mitschele-Thiel; Joachim Fischer; Reinhard Gotzheim
Erscheinungsdatum: 18.12.2003
Volltext: pdf (urn:nbn:de:kobv:11-10021032)
Fachgebiet(e): Informatik
Schlagwörter (ger): Formale Semantik, SDL, Specification and Description Language, Abstract State Machines, Datentypmodel
Schlagwörter (eng): SDL, Specification and Description Language, Formal Semantics, Abstract State Machines, Data model
Einrichtung: Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
Zitationshinweis: Löwis of Menar, Martin von: Formale Semantik des Datentypmodells von SDL-2000; Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II , publiziert am 18.12.2003, urn:nbn:de:kobv:11-10021032
Metadatenexport: Um den gesamten Metadatensatz im Endnote- oder Bibtex-Format zu speichern, klicken Sie bitte auf den entsprechenden Link. Endnote   Bibtex  
print on demand: Wenn Sie auf dieses Icon klicken, können Sie ein Druckexemplar dieser Publikation bestellen.
Diese Seite taggen: Diese Icons führen auf so genannte Social-Bookmark-Systeme, auf denen Sie Lesezeichen anlegen, persönliche Tags vergeben und Lesezeichen anderer Nutzer ansehen können.
  • connotea
  • del.icio.us
  • Furl
  • RawSugar

Abstract (ger):
Mit der aktuellen Überarbeitung der Sprache SDL (Specification and Description Language) der ITU-T wurde die semantische Fundierung der formalen Definition dieser Sprache vollständig überarbeitet; die formale Definition basiert nun auf dem Kalkül der Abstract State Machines (ASMs). Ebenfalls neu definiert wurde das um objekt-orientierte Konzepte erweiterte Datentypsystem. Damit musste eine formale semantische Fundierung für diese neuen Konzepte gefunden werden. Der bisher verwendete Kalkül ACT.ONE sollte nicht mehr verwendet werden, da er schwer verwendbar, nicht implementierbar und nicht auf Objektsysteme erweiterbar ist. In der vorliegenden Arbeit werden die Prinzipien einer formalen Sprachdefinition dargelegt und die Umsetzung dieser Prinzipien für die Sprache SDL-2000 vorgestellt. Dabei wird erläutert, dass eine konsistente Sprachdefinition nur dadurch erreicht werden konnte, dass die Definition der formalen Semantik der Sprache parallel mit der Entwicklung der informalen Definition erfolgte. Dabei deckt die formale Sprachdefinition alle Aspekte der Sprache ab: Syn-tax, statische Semantik und dynamische Semantik. Am Beispiel der Datentypsemantik wird erläutert, wie jeder dieser Aspekte informal beschrieben und dann formalisiert wurde. Von zentraler Rolle für die Anwendbarkeit der formalen Semantikdefinition in der Praxis ist der Einsatz von Werkzeugen. Die Arbeit erläutert, wie aus der formalen Sprachdefinition voll-automatisch ein Werkzeug generiert wurde, das die Sprache SDL implementiert, und wie die durch die Umsetzung der formalen Semantikdefinition in ein Werkzeug Fehler in dieser Definition aufgedeckt und behoben werden konnten.
Abstract (eng):
With the latest revision of ITU-T SDL (Specification and Description Language), the semantic foundations of the formal language definition were completely revised; the formal definition is now based on the calculus of Abstract State Machines (ASMs). In addition, the data type system of SDL was revised, as object-oriented concepts were added. As a result, a new semantical foundation for these new concepts had to be defined. The ACT.ONE calculus that had been used so far was not suitable as a foundation any more, as it is hard to use, unimplementable and not extensible for the object oriented features. In this thesis, we elaborate the principles of a formal language definition, and the realisation of these principles in SDL-2000. We explains that a consistent language definition can only be achieved by developing the formal semantics definition in parallel with the development of the informal definition. The formal language definition covers all aspects of the language: syntax, static semantics, and dynamic semantics. Using the data type semantics as an example, we show how each of these aspects is informally described, and then formalized. For the applicability of the formal semantics definition for practitioners, usage of tools plays a central role. We explain how we transform the formal language definition fully automatically into a tool that implements the language SDL. We also explain how creating the tool allowed us to uncover and correct errors in the informal definition.
Zugriffsstatistik: Die Daten für die Zugriffsstatistik der einzelnen Dokumente wurden aus den durch AWStats aggregierten Webserver-Logs erstellt. Sie beziehen sich auf den monatlichen Zugriff auf den Volltext sowie auf die Startseite. Die Zugriffsstatistik wird nicht standardisiert erfasst und kann maschinelle Zugriffe enthalten.
 
Bei Formatversionen eines Dokuments, die aus mehreren Dateien bestehen (insbesondere HTML), wird jeweils der monatlich höchste Zugriffswert auf eine der Dateien (Kapitel) des Dokuments angezeigt.
 
Um die detaillierten Zugriffszahlen zu sehen, fahren Sie bitte mit dem Mauszeiger über die einzelnen Balken des Diagramms.
Startseite: 7 Zugriffe PDF: 5 Zugriffe PDF: 3 Zugriffe Startseite: 6 Zugriffe PDF: 2 Zugriffe Startseite: 2 Zugriffe PDF: 6 Zugriffe Startseite: 6 Zugriffe PDF: 13 Zugriffe Startseite: 3 Zugriffe PDF: 6 Zugriffe Startseite: 5 Zugriffe PDF: 11 Zugriffe PDF: 16 Zugriffe PDF: 12 Zugriffe Startseite: 6 Zugriffe PDF: 21 Zugriffe Startseite: 10 Zugriffe PDF: 17 Zugriffe Startseite: 8 Zugriffe PDF: 17 Zugriffe PDF: 18 Zugriffe PDF: 20 Zugriffe PDF: 21 Zugriffe PDF: 9 Zugriffe Startseite: 6 Zugriffe PDF: 23 Zugriffe Startseite: 5 Zugriffe PDF: 27 Zugriffe Startseite: 2 Zugriffe PDF: 11 Zugriffe Startseite: 3 Zugriffe PDF: 17 Zugriffe Startseite: 4 Zugriffe PDF: 16 Zugriffe Startseite: 1 Zugriffe PDF: 24 Zugriffe Startseite: 4 Zugriffe PDF: 15 Zugriffe Startseite: 5 Zugriffe PDF: 13 Zugriffe Startseite: 12 Zugriffe PDF: 20 Zugriffe Startseite: 13 Zugriffe PDF: 17 Zugriffe Startseite: 15 Zugriffe PDF: 25 Zugriffe Startseite: 19 Zugriffe PDF: 29 Zugriffe Startseite: 24 Zugriffe PDF: 25 Zugriffe Startseite: 37 Zugriffe PDF: 42 Zugriffe Startseite: 50 Zugriffe PDF: 33 Zugriffe Startseite: 154 Zugriffe PDF: 52 Zugriffe Startseite: 116 Zugriffe PDF: 47 Zugriffe Startseite: 55 Zugriffe PDF: 42 Zugriffe Startseite: 79 Zugriffe PDF: 49 Zugriffe Startseite: 149 Zugriffe PDF: 96 Zugriffe Startseite: 113 Zugriffe PDF: 82 Zugriffe
Jul
11
Aug
11
Sep
11
Oct
11
Nov
11
Dec
11
Feb
12
Apr
12
May
12
Jun
12
Jul
12
Aug
12
Sep
12
Oct
12
Nov
12
Dec
12
Jan
13
Feb
13
Mar
13
Apr
13
May
13
Jun
13
Jul
13
Aug
13
Sep
13
Oct
13
Nov
13
Dec
13
Jan
14
Feb
14
Mar
14
Apr
14
May
14
Jun
14
Jul
14
Aug
14
Sep
14
Monat Jul
11
Aug
11
Sep
11
Oct
11
Nov
11
Dec
11
Feb
12
Apr
12
May
12
Jun
12
Jul
12
Aug
12
Sep
12
Oct
12
Nov
12
Dec
12
Jan
13
Feb
13
Mar
13
Apr
13
May
13
Jun
13
Jul
13
Aug
13
Sep
13
Oct
13
Nov
13
Dec
13
Jan
14
Feb
14
Mar
14
Apr
14
May
14
Jun
14
Jul
14
Aug
14
Sep
14
Startseite 7   6 2 6 3 5     6 10 8         6 5 2 3 4 1 4 5 12 13 15 19 24 37 50 154 116 55 79 149 113
PDF 5 3 2 6 13 6 11 16 12 21 17 17 18 20 21 9 23 27 11 17 16 24 15 13 20 17 25 29 25 42 33 52 47 42 49 96 82

Gesamtzahl der Zugriffe seit Jul 2011:

  • Startseite – 919 (24.84 pro Monat)
  • PDF – 902 (24.38 pro Monat)
 
 
Generiert am 20.10.2014, 10:12:35