Overview

Aufgrund des wachsenden Bedarfs an Kommunikationsprotokoll-Implementierungen zur Bil dung von Rechnemetzen und modemen Telekommunikationssystemen wurden im letzten Jahr zehnt unterschiedlichste formale Beschreibungsverfahren ftir Kommunikationsdienste und Pro tokolle vorgestellt, so z.B. auch die von intemationalen Normungsgremien unterstiitzten Spezi fikationssprachen SDL, ESTELLE und LOTOS. Sie unterstiitzen die klare und kompakte Defi nition von Diensten und Protokollen, wie sie im Sinne der Normung als verbindliche Imple mentierungsvorgaben benotigt werden. Auf der Basis derartiger Speziftkationssprachen konnen nebenliiufige und verteilte Systeme in ihrer Funktionalitiit und Struktur formal modelliert wer den. Damit eroffnen sich Moglichkeiten zur formalen Auswertung hinsichtlich der Synthese von Implementierungen und der Uberpriifung von Entwiirfen. Das vorliegende Buch soIl die Einflihrung formaler Speziftkationen und AnalysemaBnahmen in die Praxis fOrdem. Hier bestehen zum Teil gegenwartig noch erhebliche Ressentiments, die mit Hinweisen auf die Vielfalt der unterschiedlichen Methoden und den zur Anwendung erforderli chen groBen Personalaufwand begrtindet werden. Schwerpunkte des Buchs liegen deshalb auf der Erkliirung der verschiedenen Spezifikationskonzepte aus einer einheitlichen Sicht, auf der Darstellung von Moglichkeiten zur rechnergesttitzten automatisierten Durchflihrung von Analy semaBnahmen und auf der beispielhaften Verdeutlichung ihrer Anwendung. Zum letztgenannten Punkt wurde der Bereich der Telekommunikationsprotokolle gewiihlt. Der Inhalt des Buchs faBt Erfahrungen und Arbeitsergebnisse zusammen, die ich im Laufe meiner Tiitigkeit als wissenschaftlicher Mitarbeiter und Hochschulassistent am Institut flir Tele matik der Universitiit Karlsruhe bei der Entwicklung komplexer verteilter Systeme und ent wicklungsunterstiitzender Werkzeuge gewinnen konnte. Der Text wurde von der Fakultiit fUr Informatik der Universitiit Karlsruhe im Jull 1989 als Habilitationsschrift anerkannt.""

Full Product Details

Author:   Heiko Krumm
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Volume:   247
Dimensions:   Width: 17.00cm , Height: 0.70cm , Length: 24.20cm
Weight:   0.260kg
ISBN:  

9783540528548

ISBN 10:   3540528547
Pages:   122
Publication Date:   24 July 1990
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.
Language:   German

Table of Contents

1. Einleitung.- 2. Systeme kommunizierender Instanzen.- 2.1 Reale Systeme.- 2.2 Systemstruktur.- 2.2.1 Grundstruktur.- 2.2.2 Ablauforientierte Sicht.- 2.2.3 Systemformen.- 2.3 Instanz.- 2.3.1 Kommunikationsereignisse.- 2.3.2 Kommunikationsverhalten.- 2.3.3 Verhaltensgleichheit.- 2.3.4 Sprache.- 2.3.5 Akzeptor.- 2.4 Kopplung.- 2.4.1 UEbereinkunft-Prinzip.- 2.4.2 UEbertragung-Prinzip.- 2.5 Systemablauf.- 2.5.1 Geschlossenes System.- 2.5.2 Offenes System.- 2.5.3 Systemzustand.- 2.5.4 Erreichbarkeitsgraph.- 2.5.5 Ersatzinstanz.- 3. Dienste und Protokolle.- 3.1 Protokolle.- 3.2 Dienste.- 3.3 Kommunikationsdienste.- 3.4 Kommunikationsprotokolle.- 4. Analysemassnahmen.- 4.1 System-Prufung.- 4.1.1 Vergleich.- 4.1.2 Allgemeine Kriterien.- 4.1.2.1 Beschranktheit und Sicherheit.- 4.1.2.2 Lebendigkeit.- 4.1.2.3 Fairness.- 4.1.2.4 Relevanz von Spezifikationsaussagen.- 4.1.3 Spezifische Kriterien.- 4.1.4 Inspektion.- 4.1.4.1 Inspektionsziele.- 4.1.4.2 Projektionen des Erreichbarkeitsgraphen.- 4.2 Protokoll-Prufung.- 4.2.1 Abstraktion.- 4.2.1.1 Protokollinstanzen und Dienstzugangspunkte.- 4.2.1.2 Rollen.- 4.2.1.3 Phasenstruktur.- 4.2.1.4 Kontrollparameter.- 4.2.1.5 Instanzeninterne Ablaufsteuerung.- 4.2.1.6 Nutzdaten.- 4.2.1.7 Direkte Kopplung.- 4.2.1.8 Zeituberwachungsmassnahmen.- 4.2.2 Massnahmen.- 4.2.2.1 Dienstuberprufung.- 4.2.2.2 Protokolluberprufung.- 4.2.2.3 Protokollverifikation.- 4.2.2.4 Dienstableitung.- 5 Spezifikationstechniken.- 5.1 UEbersicht und Klassifikation.- 5.1.1 Modellierungskonzept.- 5.1.2 Spezifikationsform.- 5.1.3 Logische Techniken.- 5.1.4 Assertionstechniken.- 5.2 Petri-Netze.- 5.2.1 Modell.- 5.2.2 Spezifikation.- 5.2.3 Analyse.- 5.3 Algebraische Spezifikationen.- 5.3.1 CCS-Grundmodell.- 5.3.2 Spezifikation.- 5.3.3 Analyse.- 5.3.4 Nachrichtenaustausch.- 5.3.5 Varianten.- 5.4 Erweiterte endliche Automaten.- 5.4.1 Modell.- 5.4.2 Spezifikation.- 5.4.3 Analyse.- 5.4.4 Erweiterungen.- 6. Strukturierter Erreichbarkeitsgraph.- 6.1 Grundkonzept.- 6.2 Beispiel.- 6.3 Auswertung.- 6.4 Nebenlaufigkeitsmuster.- 7. Umgebungsmodelle.- 7.1 Beispiel.- 7.2 Umgebungsbezogene reduzierte Ersatzinstanz.- 7.3 Umgebungsvertraglichkeit.- 8. Zusammenfassung.- Literatur.- Liste der Begriffe.- Liste der Definitionen.- Liste der Abbildungen.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions