Estelle, Lotos Und Sdl: Standard-Spezifikationssprachen Für Verteilte Systeme

ISBN-13: 9783642742392 / Niemiecki / Miękka / 2011 / 188 str.

Dieter Hogrefe; Friedrich Vogt

Opis

Das Buch gibt eine Einfuhrung in die Spezifikationssprachen Estelle, LOTOS und SDL. Die Sprachen sind Standardsprachen der ISO (Estelle, LOTOS) und des CCITT (SDL) zur Spezifikation von Diensten und Protokollen in Kommunikationssystemen. Insbesondere im Zusammenhang mit der Idee und den Konzepten von OSI (Open Systems Interconnection) gewinnen die drei Sprachen zunehmend an Bedeutung - innerhalb und ausserhalb der Normung. Das Buch stellt die drei Sprachen weitgehend anhand von durchgangigen Beispielen vor, bei denen es sich um Dienste und Protokolle handelt, die den OSI-Konzepten folgen. Das Besondere an dem Buch ist, dass durch die Verwendung identischer Beispiele die drei Sprachen direkt miteinander vergleichbar werden. Obwohl Estelle, LOTOS und SDL formale Sprachen sind, wird weitgehend auf Formalismen verzichtet, so dass die Darstellung allgemein und leicht verstandlich ist. Das Buch bildet daher ein sehr nutzliches Komplement zu den offiziellen Dokumenten und Sprachbeschreibungen der ISO und des CCITT. Das Ziel des Buches ist, dem Leser einen Einblick in die drei Sprachen zu geben und als leicht verstandliches und kompaktes Nachschlagewerk in der taglichen Arbeit zu dienen."

Spis treści

1 Einleitung.- 2 Die geschichtete Kommunikationsarchitektur.- 2.1 Dienste und Protokolle.- 2.1.1 Das Schichtenmodell.- 2.1.2 Dienstelemente und Time-Sequence-Diagramme.- 2.2 Die 7 Schichten des OSI-Referenzmodells.- 2.3 Beispiel zur Schichtung von Diensten und Protokollen.- 2.3.1 Der Inres-Dienst.- 2.3.2 Der Medium-Dienst.- 2.3.3 Das Inres-Protokoll.- 2.4 Konformität zwischen Dienst und Protokoll.- 3 Estelle.- 3.1 Einleitung.- 3.1.1 Historie von Estelle.- 3.1.2 Basismodell.- 3.2 Basiskonstrukte zur Beschreibung der Zustandsübergänge.- 3.2.1 Zustände und Transitionen.- 3.2.2 Prioritäten.- 3.2.3 Nicht-Determinismus.- 3.2.4 Spontane Transitionen.- 3.2.5 Moduln mit nur einem Zustand.- 3.2.6 Zustandsmengen.- 3.2.7 Zeit in Estelle.- 3.2.8 Definition und Gebrauch von Daten.- 3.2.9 Parametrisierung von Transitionen.- 3.2.10 Vorteile des erweiterten endlichen Automaten.- 3.2.11 Zusammenfassung: allgemeine Struktur einer Transition.- 3.3 Strukturierung einer Spezifikation.- 3.3.1 Moduln.- 3.3.2 Modulkopf.- 3.3.3 Modulrumpf.- 3.3.4 Kanäle.- 3.3.5 Interaktionspunkte.- 3.3.6 Parallele und sequentielle Moduln.- 3.3.7 Operationen auf Moduln und Interaktionspunkten.- 3.3.8 Modulinitialisierung.- 3.4 Beispiele.- 3.4.1 Eine Protokollspezifikation in Estelle.- 3.4.2 Eine Dienstspezifikation in Estelle.- 4 Lotos.- 4.1 Einleitung und Basismodell.- 4.2 Beschreibung des Prozeßverhaltens in Basis-LOTOS.- 4.2.1 Das beobachtbare Verhalten eines Prozesses.- 4.2.2 Verhaltensausdrücke und Ereignissequenzen.- 4.2.3 Verhaltensrekursion.- 4.2.4 Nicht-Determinismus.- 4.3 Strukturierung einer Spezifikation in Basis-LOTOS.- 4.3.1 Sequentielle Komposition.- 4.3.2 Unterbrechung.- 4.3.3 Parallelität.- 4.3.4 Ein Beispiel in Basis-LOTOS.- 4.4 Beschreibung abstrakter Datentypen in LOTOS.- 4.4.1 Einleitung.- 4.4.2 Allgemeine Einführung in die abstrakten Datentypen.- 4.4.3 Definition abstrakter Datentypen mit LOTOS.- 4.5 Anwendung abstrakter Datentypen in LOTOS.- 4.5.1 Strukturierte Ereignisse und Prozeßkommunikation.- 4.5.2 Bedingungs-Konstrukte.- 4.5.3 Parametrisierung von Prozessen.- 4.5.4 Verallgemeinerte Auswahl.- 4.5.5 Verallgemeinerte sequentielle Komposition.- 4.6 Beispiele.- 4.6.1 Eine Protokollspezifikation in LOTOS.- 4.6.2 Eine Dienstspezifikation in LOTOS.- 5 SDL.- 5.1 Einleitung.- 5.1.1 Historie von SDL.- 5.1.2 Basiskonzepte.- 5.1.3 Die zwei syntaktischen Formen SDL/GR und SDL/PR.- 5.2 Basiskonstrukte für die Spezifikation von Prozessen.- 5.2.1 Zustände und Zustandsübergänge.- 5.2.2 Zeit in SDL.- 5.2.3 Deklaration und Gebrauch von Daten.- 5.2.4 Die Alternative.- 5.2.5 Signale mit Daten.- 5.3 Strukturierung und Prozeßkommunikation.- 5.3.1 Blockinteraktionsdiagramme.- 5.3.2 Prozeßinteraktionsdiagramme.- 5.3.3 Prozeßinstanzen.- 5.3.4 Prozeßkommunikation und Adressierung.- 5.3.5 Semantik der Prozeßkommunikation.- 5.3.6 Der SAVE-Mechanismus.- 5.3.7 Dynamische Prozeßkreierung und-beendigung.- 5.3.8 Die Blockunterstruktur.- 5.3.9 Die Kanalunterstruktur.- 5.4 Das Datentypkonzept in SDL.- 5.4.1 Einleitung.- 5.4.2 Definition abstrakter Datentypen mit SDL.- 5.5 Dokumentation.- 5.5.1 Dokumentation der Systemstruktur.- 5.5.2 Dokumentation umfangreicher Prozeßdiagramme.- 5.5.3 Makros.- 5.5.4 Mischen von SDL/GR und SDL/PR.- 5.6 Weitere Sprachkonstrukte.- 5.7 Nicht-Determinismus und SDL.- 5.8 Beispiele.- 5.8.1 Eine Protokollspezifikation in SDL.- 5.8.2 Eine Dienstspezifikation in SDL.- 6 Allgemeine Aspekte.- 6.1 Vorteile einer formalen Spezifikationssprache gegenüber der natürlichen Sprache.- 6.2 Werkzeuge für formale Spezifikationssprachen.- 6.3 Checklisten für formale Spezifikationen.- 6.3.1 Schichtunabhängige Checklisten.- 6.3.2 Schichtunabhängige aber sprachabhängige Checklisten.- 6.4 Der Drei-Phase-Plan von CCITT und ISO.- Literatur.