Specification and Description Language - Versionsgeschichte

Aka: Abkürzung korrigiert

2018-03-15T15:41:58Z

Abkürzung korrigiert

← Nächstältere Version		Version vom 15. März 2018, 17:41 Uhr
Zeile 4:		Zeile 4:
	[[Datei:SDL processGame.png\|rechts\|Diagramm für Prozess Game]]		[[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]].		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.		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.

Trustable: Kleinigkeiten verbessert

2017-01-30T17:24:45Z

Kleinigkeiten verbessert

← Nächstältere Version		Version vom 30. Januar 2017, 19:24 Uhr
Zeile 4:		Zeile 4:
	[[Datei:SDL processGame.png\|rechts\|Diagramm für Prozess Game]]		[[Datei:SDL processGame.png\|rechts\|Diagramm für Prozess Game]]

	Die '''Spezifikations- und Beschreibungssprache''' ('''SDL''', ~~engl. ''~~Specification and Description Language'') ist eine von der ITU-T, d.h. dem Telekommunikations-Standardisierungs-Sektor der [[Internationale Fernmeldeunion\|Internationalen Fernmeldeunion]], in den ~~so genannten~~ ''Standards'' (Recommendations) Z.100ff definierte [[Modellierungssprache]].		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.		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.
Zeile 24:		Zeile 24:
	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.		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\|axiomatisch~~]] definiert werden. Allerdings gibt es dafür keine Unterstützung durch Werkzeuge, und so spielt die axiomatische Definition in der Praxis keine Rolle.		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 ===		=== Beispielspezifikation ===
Zeile 37:		Zeile 37:
	* Z.107: SDL with embedded [[Abstract Syntax Notation One\|ASN.1]] ''(Zurückgezogen)''		* Z.107: SDL with embedded [[Abstract Syntax Notation One\|ASN.1]] ''(Zurückgezogen)''
	* Z.109: SDL-2000 combined with [[Unified Modeling Language\|UML]]		* Z.109: SDL-2000 combined with [[Unified Modeling Language\|UML]]
	* Z.121: Specification and Description Language (SDL) data binding to [[Message Sequence Chart~~\|Message Sequence Charts~~ (MSC)]]		* Z.121: Specification and Description Language (SDL) data binding to [[Message Sequence Chart]]s (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 ==		== Siehe auch ==
Zeile 50:		Zeile 45:
	* [[Petri-Netz]]		* [[Petri-Netz]]
	* [[Zustandsmaschine]]		* [[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 ==		== Weblinks ==

Aschroet: {{Commonscat}}

2015-10-21T16:14:47Z

← Nächstältere Version		Version vom 21. Oktober 2015, 18:14 Uhr
Zeile 1:		Zeile 1:
	[[~~File~~:SDL systemDaemonGame.png\|~~right~~\|Diagramm für System DaemonGame]]		[[Datei:SDL systemDaemonGame.png\|rechts\|Diagramm für System DaemonGame]]
	[[~~File~~:SDL blockGame.png\|~~right~~\|Diagramm für Block Game]]		[[Datei:SDL blockGame.png\|rechts\|Diagramm für Block Game]]
	[[~~File~~:SDL processMonitor.png\|~~right~~\|Diagramm für Prozess Monitor]]		[[Datei:SDL processMonitor.png\|rechts\|Diagramm für Prozess Monitor]]
	[[~~File~~:SDL processGame.png\|~~right~~\|Diagramm für Prozess Game]]		[[Datei:SDL processGame.png\|rechts\|Diagramm für Prozess Game]]

	Die '''Spezifikations- und Beschreibungssprache''' ('''SDL''', engl. ''Specification and Description Language'') ist eine von der ITU-T, d.h. dem Telekommunikations-Standardisierungs-Sektor der [[Internationale Fernmeldeunion\|Internationalen Fernmeldeunion]], in den so genannten ''Standards'' (Recommendations) Z.100ff definierte [[Modellierungssprache]].		Die '''Spezifikations- und Beschreibungssprache''' ('''SDL''', engl. ''Specification and Description Language'') ist eine von der ITU-T, d.h. dem Telekommunikations-Standardisierungs-Sektor der [[Internationale Fernmeldeunion\|Internationalen Fernmeldeunion]], in den so genannten ''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.		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.
Zeile 52:		Zeile 52:

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

84.112.163.22: typo /* Beispielspezifikation */

2014-10-05T02:14:30Z

typo Beispielspezifikation

← Nächstältere Version		Version vom 5. Oktober 2014, 04:14 Uhr
Zeile 28:		Zeile 28:
	=== Beispielspezifikation ===		=== 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.		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 ==		== Normen und Standards ==

88.70.24.96 am 21. Mai 2013 um 14:37 Uhr

2013-05-21T14:37:46Z

← Nächstältere Version		Version vom 21. Mai 2013, 16:37 Uhr
Zeile 4:		Zeile 4:
	[[File:SDL processGame.png\|right\|Diagramm für Prozess Game]]		[[File:SDL processGame.png\|right\|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 [[Internationale Fernmeldeunion\|Internationalen Fernmeldeunion]], in den so genannten ''Standards'' (Recommendations) Z.100ff definierte [[Modellierungssprache]].		Die '''Spezifikations- und Beschreibungssprache''' ('''SDL''', engl. ''Specification and Description Language'') ist eine von der ITU-T, d.h. dem Telekommunikations-Standardisierungs-Sektor der [[Internationale Fernmeldeunion\|Internationalen Fernmeldeunion]], in den so genannten ''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.		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.

KLBot2: Bot: 8 Interwiki-Link(s) nach Wikidata (:d:Q600637) migriert

2013-03-31T07:50:09Z

Bot: 8 Interwiki-Link(s) nach Wikidata (d:Q600637) migriert

← Nächstältere Version		Version vom 31. März 2013, 09:50 Uhr
Zeile 58:		Zeile 58:
	[[Kategorie:Programmiersprache]]		[[Kategorie:Programmiersprache]]
	[[Kategorie:Parallelverarbeitung]]		[[Kategorie:Parallelverarbeitung]]

	[[ca:SDL]]
	[[en:Specification and Description Language]]
	[[es:SDL (lenguaje de especificación)]]
	[[fr:Specification and Description Language]]
	[[it:Specification and Description Language]]
	[[pt:SDL (linguagem)]]
	[[ru:Specification and Description Language]]
	[[sv:Specification and Description Language]]

Ute Erb: /* Normen und Standards */

2012-11-11T17:46:35Z

Normen und Standards

← Nächstältere Version		Version vom 11. November 2012, 19:46 Uhr
Zeile 35:		Zeile 35:
	* Z.105: SDL combined with [[Abstract Syntax Notation One\|ASN.1]] modules (SDL/[[Abstract Syntax Notation One\|ASN.1]])		* 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.106: Common interchange format for SDL
	* Z.107: SDL with embedded [[Abstract Syntax Notation One\|ASN.1]] ''(~~Zurück gezogen~~)''		* Z.107: SDL with embedded [[Abstract Syntax Notation One\|ASN.1]] ''(Zurückgezogen)''
	* Z.109: SDL-2000 combined with [[Unified Modeling Language\|UML]]		* Z.109: SDL-2000 combined with [[Unified Modeling Language\|UML]]
	* Z.121: Specification and Description Language (SDL) data binding to [[Message Sequence Chart\|Message Sequence Charts (MSC)]]		* Z.121: Specification and Description Language (SDL) data binding to [[Message Sequence Chart\|Message Sequence Charts (MSC)]]

RedBot: r2.7.2) (Bot: Ändere: ca:SDL

2012-06-21T16:55:09Z

r2.7.2) (Bot: Ändere: ca:SDL

← Nächstältere Version		Version vom 21. Juni 2012, 18:55 Uhr
Zeile 59:		Zeile 59:
	[[Kategorie:Parallelverarbeitung]]		[[Kategorie:Parallelverarbeitung]]

	[[ca:SDL ~~(llenguatge d'especificació)~~]]		[[ca:SDL]]
	[[en:Specification and Description Language]]		[[en:Specification and Description Language]]
	[[es:SDL (lenguaje de especificación)]]		[[es:SDL (lenguaje de especificación)]]

EleferenBot: r2.7.3) (Bot: Ergänze: ru:Specification and Description Language

2012-05-18T19:23:14Z

r2.7.3) (Bot: Ergänze: ru:Specification and Description Language

← Nächstältere Version		Version vom 18. Mai 2012, 21:23 Uhr
Zeile 65:		Zeile 65:
	[[it:Specification and Description Language]]		[[it:Specification and Description Language]]
	[[pt:SDL (linguagem)]]		[[pt:SDL (linguagem)]]
			[[ru:Specification and Description Language]]
	[[sv:Specification and Description Language]]		[[sv:Specification and Description Language]]

77.22.12.14: /* Weblinks */ SDL Tutorial bei Sintef existiert nichtmehr (404)

2012-03-10T15:29:08Z

Weblinks: SDL Tutorial bei Sintef existiert nichtmehr (404)

← Nächstältere Version		Version vom 10. März 2012, 17:29 Uhr
Zeile 54:		Zeile 54:
	* [http://www.sdl-forum.org/ SDL-Forum]		* [http://www.sdl-forum.org/ SDL-Forum]
	* [http://www.itu.int/ ITU]		* [http://www.itu.int/ ITU]
	* [http://www.sintef.no/time/elb40/html/elb/sdl/sdl_t01.htm Tutorial bei Sintef]

← Nächstältere Version		Version vom 11. November 2012, 19:46 Uhr
Zeile 35:		Zeile 35:
	* Z.105: SDL combined with [[Abstract Syntax Notation One\|ASN.1]] modules (SDL/[[Abstract Syntax Notation One\|ASN.1]])		* 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.106: Common interchange format for SDL
	* Z.107: SDL with embedded [[Abstract Syntax Notation One\|ASN.1]] ''(~~Zurück gezogen~~)''		* Z.107: SDL with embedded [[Abstract Syntax Notation One\|ASN.1]] ''(Zurückgezogen)''
	* Z.109: SDL-2000 combined with [[Unified Modeling Language\|UML]]		* Z.109: SDL-2000 combined with [[Unified Modeling Language\|UML]]
	* Z.121: Specification and Description Language (SDL) data binding to [[Message Sequence Chart\|Message Sequence Charts (MSC)]]		* Z.121: Specification and Description Language (SDL) data binding to [[Message Sequence Chart\|Message Sequence Charts (MSC)]]