Modellierung verteilter Systeme

Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen

AvPeter Ochsenschläger

Häftad, Tyska, 1995

Del i serien Programm Angewandte Informatik

549 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1995-01-01
Mått:148 x 210 x 16 mm
Vikt:381 g
Format:Häftad
Språk:Tyska
Serie:Programm Angewandte Informatik
Antal sidor:280
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783528054335

Utforska kategorier

Innehållsförteckning

1 Einleitung.- 2 Unbeschriftete Netze.- 2.1 Netze ohne Verbots- und Abräumkanten.- 2.2 Netze mit Verbotskanten.- 2.3 Netze mit Abräumkanten.- 2.4 Graphische Darstellung von Netzen.- 2.5 Erreichbarkeitsgraphen.- 2.6 Netzstrukturen.- 3 Ein Modell zur Flußkontrolle.- 4 Auf- und Abbau von Verbindungen.- 4.1 Protokollstrukturen.- 4.2 Kompositon des Protokolls aus Teilstrukturen.- 4.3 Analyse des Protokolls.- 4.4 Anbindung der Kooperationspartner an die Protokollinstanzen.- 4.5 Kommunikation zwischen Dienstbenutzer und Diensterbringer.- 5 Produktnetze.- 5.1 Beispiel.- 5.2 Mengen und Funktionen.- 5.3 Markierungen.- 5.4 Beschriftung.- 5.5 Interpretationen.- 5.6 Schaltbedingung.- 5.7 Schaltregel.- 6 Beispiele.- 7 Ausdrucksstärke der Produktnetze.- 8 Das Alternating Bit Protokoll.- 8.1 Zu erbringender Dienst.- 8.2 Benutzter Dienst.- 8.3 Definition des Protokolls.- 9 Das ISDN-D-Kanalprotokoll.- 9.1 Lage des ISDN-D-Kanalprotokolls.- 9.2 Elemente des ISDN-D-Kanalprotokolls.- 9.3 Ein Produktnetzmodell.- 9.4 Anmerkungen zur Analyse.- 10 Zählermodell und Synchronisation.- 10.1 Formalisierung der Aufgabe.- 10.2 Endekriterien und Anmerkungen zur Analyse.- 10.3 Modifikation des Modells.- 10.4 Das unterlagerte Kommunikationsmedium.- 10.5 Spezifikation der Protokollinstanzen.- 11 Schaltfolgenhomomorphismen.- 12 Reduzierte Erreichbarkeitsgraphen.- 13 Deadlocksprachen.- 14 Die Produktnetzmaschine.- 15 Schlichte Homomorphismen.- Sachwortverzeichnis.

Mer från samma serie

Die Abrechnung von ADV-Systemleistungen

Kanngiesser Joachim

Häftad

565 kr

Software-Qualitätssicherung

Paul Schmitz

Häftad

565 kr

Kostenrechnung für Rechenzentren

Christina Tiedemann

Häftad

565 kr

Interpretative Strukturmodellierung (ISM)

Norbert Szyperski

Häftad

549 kr

Datenverarbeitung im Luftverkehr

Günther Becher

Häftad

549 kr

Bürokommunikation und Informationssicherheit

Gerd Wolfram

Häftad

565 kr

Computerunterstützter Unterricht

Dieter Euler

Häftad

533 kr

Informationsmanagement in Wissenschaft und Forschung

Blaise Cronin

Häftad

549 kr

Agentensysteme

Matthias von Bechtolsheim

Häftad

565 kr

Echtzeitsysteme und Fuzzy Control

Helmut Rzehak

Häftad

565 kr

Du kanske också är intresserad av

Datenverarbeitung im Luftverkehr

Günther Becher

Häftad

549 kr

Die Abrechnung von ADV-Systemleistungen

Kanngiesser Joachim

Häftad

565 kr

Agentensysteme

Matthias von Bechtolsheim

Häftad

565 kr

Petri-Netze

Udo Winand, Bernd Rosenstengel, Udo Winand

Häftad

549 kr

Kostenrechnung für Rechenzentren

Christina Tiedemann

Häftad

565 kr

Software-Qualitätssicherung — Testen im Software-Lebenszyklus

Paul Schmitz

Häftad

565 kr

Software-Qualitätssicherung

Paul Schmitz

Häftad

565 kr

Informationsmanagement in Wissenschaft und Forschung

Blaise Cronin

Häftad

549 kr

Methoden verteilter Simulation

Horst Mehl

Häftad

565 kr

Computerunterstützter Unterricht

Dieter Euler

Häftad

533 kr