Ein denotationales Modell fr parallele objektbasierte Systeme [Paperback]

1 Einleitung.- I Ein allgemeines Modell f?r objektbasierte Systeme.- 2 Allgemeines Design.- 2.1 Objekte.- 2.1.1 Beschreibung von Objekten.- 2.1.2 Anzahl der Objekte eines Systems.- 2.2 Zeit.- 2.2.1 Globale Zeit.- 2.2.2 Kontinuierliche Zeit.- 2.3 Kommunikation.- 2.3.1 Kommunikation durch Handshaking.- 2.3.2 Verschicken von Nachrichten.- 2.3.3 ?bertragung von Nachrichten.- 2.3.4 Akzeptieren von Nachrichten.- 2.3.5 Kontinuierliche Kommunikation.- 2.4 Hierarchisierung.- 3 Definitionen.- 4 Ein-/Ausgabebeschreibungen.- 4.1 Ein-/Ausgabebeschreibung.- 4.2 Determiniertheit.- 4.3 Verbandstruktur.- 4.4 Eigenschaften.- 4.5 pre-causal Ein-/Ausgabebeschreibungen.- 4.6 pre-delayed Ein-/Ausgabebeschreibungen.- 4.7 Unabh?ngigkeit von Eigenschaften.- 4.8 Weitere Verbandstrukturen.- 4.9 Das Verschieben von Ausgaben.- 4.10 Metrischer Ansatz.- 5 Methoden zur Beschreibung von Objekten.- 5.1 Teil-Ein-/Ausgabebeschreibung.- 5.2 Trace-Beschreibung.- 6 Objektbasierte Systeme.- 6.1 Objektbasierte Systeme.- 6.2 Objektbasierte Systeme als Ein-/Ausgabebeschreibung.- 6.3 Objektbasierte Systeme als echte Ein-/Ausgabebeschreibung.- 6.4 Eigenschaften.- 6.5 Anderer Ansatz.- 7 Weitere Methoden zur Beschreibung von Objekten.- 7.1 Zeitlose Objekte.- 7.2 ADTs als Ein-/Ausgabebeschreibungen.- 7.3 Zeitlose ?bertragungseinheiten.- 7.3.1 Auseinanderziehen von Nachrichten.- 7.3.2 Unabh?ngige Verz?gerung und Vertauschung der Nachrichten f?r Objekte.- 7.3.3 Verz?gerung der Nachrichten.- 7.3.4 Zusammensetzung.- 8 Komposition.- 9 Zerlegung objektbasierter Systeme.- 10 Anwendung von gMobS.- 10.1 Denotationale Semantik mit gMobS.- 10.2 Denotationale Semantik einer Beispielsprache.- 10.2.1 Grundlegende Bausteine.- 10.2.2 Programme und informelle Semantik.- 10.2.3 Denotationale Semantik.- 10.2.4 Bemerkungen zu SimpleLang.- 11 Einordnung.- 11.1 Abstrakte Datentypen.- 11.2 Actor-Modell und POOL.- 11.3 Proze?-Netzwerke.- 11.4 Systemtheorie und Kybernetik.- II Eine denotationale Semantik f?r MuPAD.- 12 ?berblick.- 12.1 Mlƒ-