Ein denotationales Modell für parallele objektbasierte Systeme -

. .

Sommaire:
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 Modellierung von Clustern.- 12.2 Zusammenfassung von Clustern.- 12.3 Nachrichten.- 12.3.1 Interne Nachrichten.- 12.3.2 Externe Nachrichten.- 12.4 Beschreibung von Objekten und ?bertragungseinheiten.- 13 Nachrichten.- 13.1 Zieladresse Dest.- 13.2 Sender Sender.- 13.3 Typ Type.- 13.4 Label Label.- 13.5 Interner Typ IType und Domain Dom.- 13.6 Referenzen Ref.- 13.7 Inhalt Cont.- 13.8 Umgebung Env.- 14 Beschreibung eines Clusters.- 14.1 Daten-Objekte.- 14.1.1 Zust?nde von Daten-Objekten.- 14.1.2 Vor-Objekte.- 14.1.3 Objekte.- 14.2 Funktions-Objekte.- 14.3 Die ?bertragungseinheit innerhalb der Cluster.- 14.3.1 Objektmenge.- 14.3.2 Nachrichten.- 14.3.3 Zust?nde.- 14.3.4 Vor-?bertragungseinheit.- 14.3.5 ?bertragungseinheit.- 15 Die Semantik von MuPAD.- 15.1 Objektmenge und Nachrichten.- 15.2 Zust?nde.- 15.3 Vor-?bertragungseinheit.- 15.4 ?bertragungseinheit.- 15.5 MuPAD.- 16 Zusammenfassung.- A Definitionen.- B Kurze MuPAD-Einf?hrung.- C Parallelit?t in MuPAD.- C.1 ?berblick.- C.2 Mikroparallelit?t.- C.2.1 Motivation.- C.2.2 Funktionalit?t.- C.2.3 Beispiele.- C.2.4 Implementation.- C.3 Makroparallelit?t.- C.3.1 Motivation.- C.3.2 Funktionalit?t.- C.3.3 Implementation.- C.4 Vergleich mit anderen parallelen Paradigmen.- C.4.1 Future Construct.- C.4.2 Tuple-Space.- C.4.3 Process-Graph.- C.4.4 Reflection.- D Objektorientiertheit in MuPAD.- D.1 Motivation.- D.2 Domains.- D.3 Domain-Elemente.- D.3.1 ?berladen von Funktionen.- D.3.2 Interne Methoden.- D.4 Einordnung in andere Konzepte.