Format:
1 Online-Ressource (IX, 122S.)
ISBN:
9783642842467
,
9783540528548
Series Statement:
Informatik-Fachberichte 247
Note:
Aufgrund des wachsenden Bedarfs an Kommunikationsprotokoll-Implementierungen zur Bildung von Rechnernetzen und modernen Telekommunikationssystemen wurden im letzten Jahrzehnt unterschiedlichste formale Beschreibungsverfahren für Kommunikationsdienste und Protokolle vorgestellt, so z.B. auch die von internationalen Normungsgremien unterstützten Spezifikationssprachen SDL, ESTELLE und LOTOS. Sie unterstützen die klare und kompakte Definition von Diensten und Protokollen, wie sie im Sinne der Normung als verbindliche Implementierungsvorgaben benötigt werden. Auf der Basis derartiger Spezifikationssprachen können nebenläufige und verteilte Systeme in ihrer Funktionalität und Struktur formal modelliert werden. Damit eröffnen sich Möglichkeiten zur formalen Auswertung hinsichtlich der Synthese von Implementierungen und der Überprüfung von Entwürfen. Das vorliegende Buch soll die Einführung formaler Spezifikationen und Analysemaßnahmen in die Praxis fördern.
,
Hier bestehen zum Teil gegenwärtig noch erhebliche Ressentiments, die mit Hinweisen auf die Vielfalt der unterschiedlichen Methoden und den zur Anwendung erforderlichen großen Personalaufwand begründet werden. Schwerpunkte des Buchs liegen deshalb auf der Erklärung der verschiedenen Spezifikationskonzepte aus einer einheitlichen Sicht, auf der Darstellung von Möglichkeiten zur rechnergestützten automatisierten Durchführung von Analysemaßnahmen und auf der beispielhaften Verdeutlichung ihrer Anwendung. Zum letztgenannten Punkt wurde der Bereich der Telekommunikationsprotokolle gewählt. Der Inhalt des Buchs faßt Erfahrungen und Arbeitsergebnisse zusammen, die ich im Laufe meiner Tätigkeit als wissenschaftlicher Mitarbeiter und Hochschulassistent am Institut für Telematik der Universität Karlsruhe bei der Entwicklung komplexer verteilter Systeme und entwicklungsunterstützender Werkzeuge gewinnen konnte.
,
Der Text wurde von der Fakultät für Informatik der Universität Karlsruhe im Jull 1989 als Habilitationsschrift anerkannt
,
Karlsruhe, Univ., Habil., 1989
Language:
German
Keywords:
Kommunikationsprotokoll
;
Systemanalyse
;
Spezifikation
;
Kommunikationsprotokoll
;
Funktionsanalyse
;
Kommunikationsprotokoll
;
Analyse
;
Hochschulschrift
;
Electronic books.
DOI:
10.1007/978-3-642-84246-7
URL:
https://ebookcentral.proquest.com/lib/th-brandenburg/detail.action?docID=6853473
