Specification and Description Language

Specification and Description Language
Diagramm für System DaemonGame
Diagramm für Block Game
Diagramm für Prozess Monitor
Diagramm für Prozess Game

Die Specification and Description Language (SDL, engl. Spezifikations- und Beschreibungssprache) 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.

Inhaltsverzeichnis

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 DeamonGamem, 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ück gezogen)
  • 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


Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Specification and Description Language — (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems. It is defined by the ITU T (Recommendation Z.100.) Originally focused on telecommunication systems,… …   Wikipedia

  • Specification and description language — Pour les articles homonymes, voir SDL et LDS. Le Specification and Description Language (SDL) ou Langage de description et de spécification (LDS) est un standard de l Union internationale des télécommunications (ITU T) sous la référence Z.100. Ce …   Wikipédia en Français

  • Specification and Description Language — У этого термина существуют и другие значения, см. SDL. Specification and Description Language (SDL)  это язык спецификаций, предназначенный для получения недвусмысленных спецификаций и описаний поведения реактивных и распределенных систем.… …   Википедия

  • Specification and Description Language — Pour les articles homonymes, voir SDL et LDS. Le Specification and Description Language (SDL) ou Langage de description et de spécification (LDS) est un standard de l Union internationale des télécommunications (ITU T) sous la référence Z.100. Ce …   Wikipédia en Français

  • Description language — may refer to: Interface description language aka interface definition language (IDL) Regular Language description for XML (RELAX) Web Services Description Language (WSDL) Page description language (PDL) Binary Format Description language… …   Wikipedia

  • Specification (technical standard) — Specification redirects here. For other uses, see Specification (disambiguation). A specification (often abbreviated as spec) is an explicit set of requirements to be satisfied by a material, product, or service.[1] Should a material, product or… …   Wikipedia

  • Web Services Description Language — Infobox file format name = Web Services Description Language icon = logo = extension = .wsdl mime = application/wsdl+xml type code = uniform type = magic = owner = [http://www.w3.org/ World Wide Web Consortium] genre = contained by = XML… …   Wikipedia

  • Extensible Forms Description Language — Infobox file format name = Extensible Forms Description Language extension = .xfdl mime = application/xml, text/xml (deprecated) type code = uniform type = public.xml magic = owner = [http://www.w3.org/ World Wide Web Consortium] genre = Markup… …   Wikipedia

  • Data Format Description Language — (DFDL, often pronounced daff o dil) is a modeling language from the Open Grid Forum for describing general text and binary data. A DFDL model or schema allows any text or binary data to be read (or parsed ) from its native format and to be… …   Wikipedia

  • Job Submission Description Language — is an extensible XML specification from the Global Grid Forum for the description of simple tasks to non interactive computer execution systems. Currently at version 1.0 (released November 7, 2005), the specification focuses on the description of …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”