Specification and Description Language - LinkFang.de





Specification and Description Language


Die Spezifikations- und Beschreibungssprache (SDL, engl. Specification and Description Language) ist eine von der ITU-T, d.h. dem Telekommunikations-Standardisierungs-Sektor der Internationalen Fernmeldeunion, in den so genannten Standards (Recommendations) Z.100ff definierte Modellierungssprache.

Sie ist im Telekommunikationsbereich verbreitet, um (verteilte) Systeme mittels erweiterter Zustandsautomaten (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 LOTOS. Dabei können neue Datentypen axiomatisch 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 ASN.1 modules (SDL/ASN.1)
  • Z.106: Common interchange format for SDL
  • Z.107: SDL with embedded ASN.1 (Zurückgezogen)
  • Z.109: SDL-2000 combined with UML
  • Z.121: Specification and Description Language (SDL) data binding to Message Sequence Charts (MSC)

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.

Siehe auch

Weblinks

 Commons: Specification and Description Language  – Sammlung von Bildern, Videos und Audiodateien

Kategorien: Programmiersprache | Parallelverarbeitung

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Specification and Description Language (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.