imported>Aka: Abkürzung korrigiert

2018-03-15T15:41:58Z

Abkürzung korrigiert

Neue Seite

[[Datei:SDL systemDaemonGame.png|rechts|Diagramm für System DaemonGame]]
[[Datei:SDL blockGame.png|rechts|Diagramm für Block Game]]
[[Datei:SDL processMonitor.png|rechts|Diagramm für Prozess Monitor]]
[[Datei:SDL processGame.png|rechts|Diagramm für Prozess Game]]

Die '''Spezifikations- und Beschreibungssprache''' ('''SDL''', {{EnS|Specification and Description Language}}) ist eine von der ITU-T, d. h. dem Telekommunikations-Standardisierungs-Sektor der [[Internationale Fernmeldeunion|Internationalen Fernmeldeunion]], in den sogenannten ''Standards'' (Recommendations) Z.100ff definierte [[Modellierungssprache]].

Sie ist im Telekommunikationsbereich verbreitet, um (verteilte) Systeme mittels erweiterter [[Zustandsautomat]]en (Prozesse) zu beschreiben. Die verschiedenen Prozesse werden über Kanäle verbunden und können darüber Signale austauschen und sich damit gegenseitig beeinflussen.

Ein in SDL spezifiziertes System kann man entweder als Text (Textual Phrase Representation/PR) oder in graphischer Form (Graphic Representation/GR) darstellen.

== Aufbau einer SDL-Spezifikation ==

=== Struktur und Ablauf ===
Eine SDL-Spezifikation strukturiert sich im Allgemeinen hierarchisch in ''System'', ''Blöcke'' und ''Prozesse''. Seit SDL-2000 sind dabei Blöcke und Prozesse zu ''Agenten'' vereinheitlicht, die sich hinsichtlich der genauen Semantik ihrer [[Nebenläufigkeit]] unterscheiden. Daneben gibt es auch noch Bibliotheken (''Library Package'') und Prozeduren. Andere Konzepte wie Makros und Services sollten nicht mehr benutzt werden.

System, Block und Prozess verfügen über definierte Zugangspunkte (''Gate''), Verbindungen zu anderen Agenten werden mit Kanälen (''Channel'') hergestellt. Über diese laufen (nur) die für diesen Kanal und dieses Gate definierten ''Signale''.

Alle genannten Strukturelemente sind typisiert, und es kann mehrere Instanzen von ihnen in einem System geben. Auch eine scheinbar nichttypisierte Instanz definiert immer einen impliziten Typ.

Ein Prozess (in SDL-2000 jeder Agent) hat einen Zustandsautomaten. Zustandsübergänge (Transitionen) werden durch den Empfang von Signalen ausgelöst. Es können zudem auch spontane Zustandsübergänge definiert werden, um Nichtdeterminismus abbilden zu können. Außerdem verfügt SDL über ein eigenes Zeitkonzept: Es können Zeitgeber (''Timer'') gesetzt werden und die abgelaufenen Timer wie Signale empfangen werden.

=== Daten ===
In SDL existieren vordefinierte Datentypen wie ''PId'', ''Integer'' und ''Charstring'', die auch zu Strukturen zusammengefasst werden können oder in Listen, Mengen etc. abgelegt werden können.

Das zugrundeliegende Datentypkonzept ist semantisch äquivalent zu [[ACT ONE]] und dem Datentypkonzept von [[Language of Temporal Ordering Specification|LOTOS]]. Dabei können neue Datentypen [[axiom]]atisch definiert werden. Allerdings gibt es dafür keine Unterstützung durch Werkzeuge, und so spielt die axiomatische Definition in der Praxis keine Rolle.

=== Beispielspezifikation ===

Die nebenstehenden Abbildungen zeigen eine SDL-Spezifikation für das DeamonGame, wie es erstmals in ''Turner 1993'' beschrieben wurde. Die vorliegende Variante ist ''Piefel 2011'' entnommen. In dieser Variante gibt es keinen expliziten Dämonen, sondern der Wechsel des internen Zustands wird mit einem Timer gesteuert.

== Normen und Standards ==
* Z.100: Specification and Description Language (SDL)
* Z.104: Encoding of SDL data
* Z.105: SDL combined with [[Abstract Syntax Notation One|ASN.1]] modules (SDL/[[Abstract Syntax Notation One|ASN.1]])
* Z.106: Common interchange format for SDL
* Z.107: SDL with embedded [[Abstract Syntax Notation One|ASN.1]] ''(Zurückgezogen)''
* Z.109: SDL-2000 combined with [[Unified Modeling Language|UML]]
* Z.121: Specification and Description Language (SDL) data binding to [[Message Sequence Chart]]s (MSC)

== Siehe auch ==
* [[Asynchrone Kommunikation]]
* [[Synchrone Kommunikation]]
* [[Nebenläufigkeit]]
* [[Petri-Netz]]
* [[Zustandsmaschine]]

== Literatur ==
* F. Belina, D. Hogrefe, A. Sarma: ''SDL With Applications from Protocol Specification'' – 1991.
* K. J. Turner (Ed.): ''Using Formal Description Techniques – An Introduction to Estelle, LOTOS and SDL.'' – New York, 1993.
* M. Piefel: ''CeeJay – Ein Metamodell zur Codegenerierung.'' – Berlin, 2011.

== Weblinks ==
{{Commonscat}}
* [http://www.sdl-forum.org/ SDL-Forum]
* [http://www.itu.int/ ITU]

[[Kategorie:Programmiersprache]]
[[Kategorie:Parallelverarbeitung]]

Specification and Description Language - Versionsgeschichte

imported>Aka: Abkürzung korrigiert