74
2 Spezifikation und Modellierung
Sowohl die Prozessoren als auch der Router implementieren Protokolle mit verschiedenen Ebenen (siehe Abb. 2.36). Jede Ebene beschreibt die Kommunikation
mit einer abstrakteren Schicht. Das Verhalten jeder Ebene wird meistens als endBlock Router
Schicht-2
Schicht-n
Schicht-n
Schicht-n
Schicht-1
.....
Schicht-1
Schicht-1
.....
Schicht-1
.....
Block Prozessor C
Block Prozessor B
Block Prozessor A
Abb. 2.36 Protokoll-Stapel in SDL
licher Automat modelliert. Die genaue Beschreibung dieser Automaten hängt vom
verwendeten Netzwerkprotokoll ab und kann sehr komplex werden. Typischerweise
wird das Überprüfen und Behandeln von Fehlerbedingungen sowie das Sortieren
und Weiterleiten von Informationspaketen realisiert.
∇
Verfügbare Werkzeuge für SDL enthalten Schnittstellen zu UML (siehe Seite 133)
und SCs (siehe Seite 47). Eine umfassende Liste verfügbarer Werkzeuge wird im
SDL-Forum zur Verfügung gestellt [482]. Estelle [74] ist eine weitere Sprache, die
zur Beschreibung von Kommunikationsprotokollen entworfen wurde. Ähnlich zu
SDL stellt Estelle Kommunikation über Kanäle und FIFO-Puffer zur Verfügung.
Versuche, Estelle und SDL zu vereinen, sind fehlgeschlagen.
Bewertung von SDL
SDL ist hervorragend zur Modellierung von verteilten Anwendungen geeignet und
die Sprache ist weiterhin als Referenz für asynchronen Nachrichtenaustausch nützlich. SDL ist nicht in allen Situationen deterministisch, da die Reihenfolge, in der
gleichzeitig ankommende Signale in die FIFO-Warteschlangen eingereiht werden,
nicht spezifiziert ist. Alle möglichen Reihenfolgen sind damit möglich. Verlässliche
Implementierungen erfordern das manchmal schwierige Bestimmen einer oberen
Schranke für die Länge der FIFO-Warteschlangen. Hierzu gibt es umfangreiche
Literatur. Die Modellierung von Zeitbedingungen ist ausreichend für weiche Zeitschranken, aber nicht für harte Echtzeitbedingungen. Hierarchien werden nicht so
wie in StateCharts unterstützt. Es gibt keine Beschreibung von nicht-funktionalen
Eigenschaften und keine vollständige Unterstützung für Programmiersprachenkonstrukte, obwohl dies von den aktuellen Standards angestrebt wird. SDL wurde zum
Beispiel für die Spezifikation von ISDN verwendet. Aktuell scheint es, dass das
Interesse an SDL zu einem generellen Interesse an Systembeschreibungssprachen
verallgemeinert wird, wie dies auch im SDL-Forum zum Ausdruck kommt [483].
2 Spezifikation und Modellierung
Sowohl die Prozessoren als auch der Router implementieren Protokolle mit verschiedenen Ebenen (siehe Abb. 2.36). Jede Ebene beschreibt die Kommunikation
mit einer abstrakteren Schicht. Das Verhalten jeder Ebene wird meistens als endBlock Router
Schicht-2
Schicht-n
Schicht-n
Schicht-n
Schicht-1
.....
Schicht-1
Schicht-1
.....
Schicht-1
.....
Block Prozessor C
Block Prozessor B
Block Prozessor A
Abb. 2.36 Protokoll-Stapel in SDL
licher Automat modelliert. Die genaue Beschreibung dieser Automaten hängt vom
verwendeten Netzwerkprotokoll ab und kann sehr komplex werden. Typischerweise
wird das Überprüfen und Behandeln von Fehlerbedingungen sowie das Sortieren
und Weiterleiten von Informationspaketen realisiert.
∇
Verfügbare Werkzeuge für SDL enthalten Schnittstellen zu UML (siehe Seite 133)
und SCs (siehe Seite 47). Eine umfassende Liste verfügbarer Werkzeuge wird im
SDL-Forum zur Verfügung gestellt [482]. Estelle [74] ist eine weitere Sprache, die
zur Beschreibung von Kommunikationsprotokollen entworfen wurde. Ähnlich zu
SDL stellt Estelle Kommunikation über Kanäle und FIFO-Puffer zur Verfügung.
Versuche, Estelle und SDL zu vereinen, sind fehlgeschlagen.
Bewertung von SDL
SDL ist hervorragend zur Modellierung von verteilten Anwendungen geeignet und
die Sprache ist weiterhin als Referenz für asynchronen Nachrichtenaustausch nützlich. SDL ist nicht in allen Situationen deterministisch, da die Reihenfolge, in der
gleichzeitig ankommende Signale in die FIFO-Warteschlangen eingereiht werden,
nicht spezifiziert ist. Alle möglichen Reihenfolgen sind damit möglich. Verlässliche
Implementierungen erfordern das manchmal schwierige Bestimmen einer oberen
Schranke für die Länge der FIFO-Warteschlangen. Hierzu gibt es umfangreiche
Literatur. Die Modellierung von Zeitbedingungen ist ausreichend für weiche Zeitschranken, aber nicht für harte Echtzeitbedingungen. Hierarchien werden nicht so
wie in StateCharts unterstützt. Es gibt keine Beschreibung von nicht-funktionalen
Eigenschaften und keine vollständige Unterstützung für Programmiersprachenkonstrukte, obwohl dies von den aktuellen Standards angestrebt wird. SDL wurde zum
Beispiel für die Spezifikation von ISDN verwendet. Aktuell scheint es, dass das
Interesse an SDL zu einem generellen Interesse an Systembeschreibungssprachen
verallgemeinert wird, wie dies auch im SDL-Forum zum Ausdruck kommt [483].