Vor Ort
Merkzettel Warenkorb
  • Produktbild: Ein denotationales Modell für parallele objektbasierte Systeme
  • Produktbild: Ein denotationales Modell für parallele objektbasierte Systeme

Ein denotationales Modell für parallele objektbasierte Systeme

Aus der Reihe MuPad Reports

44,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.11.1996

Abbildungen

XII, mit Abbildung

Verlag

Vieweg & Teubner

Seitenzahl

186

Maße (L/B/H)

24,4/17/1,2 cm

Gewicht

355 g

Auflage

1997

Sprache

Deutsch

ISBN

978-3-519-02197-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.11.1996

Abbildungen

XII, mit Abbildung

Verlag

Vieweg & Teubner

Seitenzahl

186

Maße (L/B/H)

24,4/17/1,2 cm

Gewicht

355 g

Auflage

1997

Sprache

Deutsch

ISBN

978-3-519-02197-1

Herstelleradresse

Vieweg+Teubner Verlag
Abraham-Lincoln-Straße 46
65189 Wiesbaden
DE

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Ein denotationales Modell für parallele objektbasierte Systeme
  • Produktbild: Ein denotationales Modell für parallele objektbasierte Systeme

  • 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.