Spezifikation und Bewertung eines Effizienten Kommunikationsprotokolls

S. Dahl

Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Feb. 1995

Abstract

Zur schnellen Kommunikation zwischen Rechnern werden laufzeiteffiziente Implementationen von Protokoll-Spezifikationen benötigt. Die herkömmliche Schichten-Aufteilung verursacht hohe Kosten. In dieser Projektarbeit wurde eine andere Spezifikationsform, die Methode des strukturierten Produktautomaten, am Beispiel der OSI-Schichten 5 und 6 untersucht. Der Aufwand zur Erstellung und Wartung der Spezifikation und die Laufzeiteffizienz der daraus entstandenen Inplementation wurden mit mehreren anderen Spezifikationsformen verglichen und bewertet. Die Methode des strukturierten Produktautomaten erwies sich dabei als ein geeigneter Spezifikationsstil.

Full paper




 Superordinated page: Year 1995

 Feedback
Go to the contact details of the person in charge of this page

 Deutsch
This page in german. Diese Seite auf deutsch.