Diploma Thesis DIP-1668

BibliographyKaiser, Michael: Bewertung des Simulationsmodells des HiSAP-Werkzeugs zur interaktiven Simulation von Protokollen.
University of Stuttgart, Faculty of Computer Science, Diploma Thesis No. 1668 (1998).
221 pages, german.
CR-SchemaC.2.2 (Network Protocols)
D.2.1 (Software Engineering Requirements/Specifications)
D.2.2 (Software Engineering Design Tools and Techniques)
F.3.1 (Specifying and Verifying and Reasoning about Programs)
I.6.8 (Types of Simulation)
KeywordsSpezifikation; Petrinetz; Estelle; SDL; CCS; CSP; LOTOS; PROMELA; Z; Spezifikationssprache
Abstract

Das HISAP-Werkzeug hat die Aufgabe, Applets zu erzeugen, die das Erlernen der Funktionsweise von Protokollen unterstützen. Dazu werden die Prozesse, Kanäle und Nachrichten der Protokolle animiert dargestellt und Manipulationen für eine interaktive Beeinflussung des Protokollablaufs zur Verfügung gestellt. Um diese Aufgabe flexibel erfüllen zu können, werden an zwei Stellen Spezifikationssprachen eingesetzt: Zur Beschreibung der Protokolle als benutzerseitige Eingabe an das Werkzeug und in einem werkzeuginternen Simulationsmodell, um die Daten für die Simulation des Protokolls zu repräsentieren.

Aufgabe dieser Diplomarbeit ist es, zu klären, welche Sprache im jeweilgen Bereich am besten geeignet ist und welche Kombination von Sprachen für die beiden Bereiche die beste Lösung für das Werkzeug darstellt. Dazu werden zunächst für die jeweiligen Bereiche Kriterien aufgestellt. Anschließend werden 9 Sprachen (Petrinetze, Petrinetze mit Skripts, Estelle, SDL, CCS, CSP, LOTOS, PROMELA und Z) hinsichtlich dieser Kriterien bewertet. Es werden dazu für jeder Sprache jeweils zwischen 0 und 10 Punkten in jedem Kriterium vergeben. Diese Bewertungen werden detailliert begründet. Ein Gesamtwert für jede der betrachteten Sprachen wird durch ein an den Einsatzbereich angepaßtes gewichtetes Mittel über die Bewertungen in den verschiedenen Kriterien errechnet. Ein Exkurs über die Verwendung einer dieser Sprachen als Interlingua für eine Übersetzung einer in einer Spezifikationssprache geschriebenen Spezifikation in die Beschreibung in einer anderen Sprache vervollständigt die Betrachtung.

Full text and
other links
PostScript (2168168 Bytes)
HiSAP
Access to students' publications restricted to the faculty due to current privacy regulations
Contactcaburger@informatik.uni-stuttgart.de
Department(s)University of Stuttgart, Institute of Parallel and Distributed High-Performance Systems, Distributed Systems
Project(s)HiSAP
Entry dateDecember 23, 1998
   Publ. Department   Publ. Institute   Publ. Computer Science