Ein denotationales Modell fr parallele objektbasierte Systeme

In den letzten Jahren hat sich immer mehr herauskristallisiert, da objektbasierte Sprachen sehr gut zur Beschreibung fast aller Arten von Problemen geeignet sind. Um die Semantik von objektbasierten Sprachen beschreiben zu knnen, bentigt man ein entsprechendes Modell. Die fr sequentielle objektbasierte Sprachen benutzten abstrakten Datentypen sind fr parallele Sprachen nicht mchtig genug. In diesem Buch wird das sehr allgemeine denotationale Modell gMobS fr objektbasierte Systeme eingefhrt, das auch Zeit beinhaltet und hybride Systeme, also sowohl Programme als auch die Umwelt, modellieren kann. Dieses Modell wird benutzt, um die Semantik des Computer-Algebra-Systems MuPAD in Grundzgen zu beschreiben. Weiterhin werden die sehr mchtigen objektorientierten Eigenschaften von MuPAD erlutert. Inhaltsverzeichnis 1 Einleitung I Ein allgemeines Modell fr objektbasierte Systeme 2 Allgemeines Design - 3 Definitionen - 4 Ein-/Ausgabebeschreibungen - 5 Methoden zur Beschreibung von Objekten - 6 Objektbasierte Systeme - 7 Weitere Methoden zur Beschreibung von Objekten - 8 Komposition - 9 Zerlegung objektbasierter Systeme - 10 Anwendung von gMob5 - 11 Einordnung II Eine denotationale Semantik fr MuPAD 12 - berblick - 13 Nachrichten - 14 Beschreibung eines Clusters - 15 Die Semantik von MuPAD - 16 Zusammenfassung A Definitionen / B Kurze MuPAD-Einfhrung / C Parallelitt in MuPAD / D Objektorientiertheit in MuPAD Abbildungszeichnis / Tabellenverzeichnis. "... Es wird hier der prinzipielle Aufbau des Systems und das funktionale Zusmmenspiel der MuPAD-Datenstrukturen erlutert, was jedoch schon einen tiefen Einblick in den MuPAD-Kern gestattet und die Leistungsfhigkeit von gMobS eindrucksvoll beweist." R. Horsch, Zeitschrift fr Mathematik, Berlin.