
Ein denotationales Modell für parallele objektbasierte Systeme
Holger Naundorf(Co-Author)
Vieweg+Teubner Verlag
Published on 1. November 1996
Book
Paperback/Softback
XII, 186 pages
978-3-519-02197-1 (ISBN)
Description
Seit der Einführung der ersten objekt basierten Sprache Simula [18, 98] hat sich immer mehr herauskristallisiert, daß solche Sprachen sehr gut zur Beschreibung fast aller Arten von Problemen geeignet sind und die Entwicklung sehr großer Programmpakete gut un terstützen. Für die heute noch vorherrschenden sequentiellen objektbasierten Sprachen steht ein adäquates und sehr gut verstandenes Modell in Form von abstrakten Daten typen (ADT) zur Verfügung [43, 123, 80, 23, 180]. Für die im Zeitalter der parallelen und verteilten Rechner immer wichtiger werdenden parallelen objektbasierten Sprachen existiert ein entsprechendes Modell dagegen nicht. Ein Großteil der heutigen Software wird zum Steuern, Regeln und Erfassen von Daten benutzt und muß deshalb mit den Prozessen der realen Welt Kontakt aufnehmen - diese Kombination von Software und realer Welt wird hybrides System genannt. Dabei auftre tende Probleme sind sowohl die Kombination von diskreten und kontinuierlichen Phäno menen als auch die Forderung an die Software, Zeitschranken einzuhalten - realzeitfähig zu sein. Auch für dieses Problem existiert noch kein befriedigendes Modell. Im ersten Teil der vorliegenden Arbeit wird ein denotationales Modell für parallele ob l jektbasierte Systeme - gMobS genannt (general Model for object based Systems- vorgestellt, mit dem auch hybride Systeme und Realzeit modelliert werden können. Es handelt sich dabei um eine Verallgemeinerung der bereits seit langem eingesetzten Pro zeßnetze (dataflow networks [181, 182, 183,90, 25, 51, 26, 89, 149, 161]) auf Netzwerke mit unendlich vielen Komponenten mit diskreter und kontinuierlicher Zeit und kontinu ierlicher Kommunikation.
More details
Series
Edition
1997
Language
German
Place of publication
Wiesbaden
Germany
Publishing group
Vieweg & Teubner
Target group
Upper undergraduate
Illustrations
1 s/w Abbildung
XII, 186 S. 1 Abb.
Dimensions
Height: 244 mm
Width: 170 mm
Thickness: 12 mm
Weight
355 gr
ISBN-13
978-3-519-02197-1 (9783519021971)
DOI
10.1007/978-3-322-94700-0
Schweitzer Classification
Other editions
Additional editions

Holger Naundorf
Ein denotationales Modell für parallele objektbasierte Systeme
E-Book
04/2013
Vieweg+Teubner Verlag
€35.96
Available for download
Content
1 Einleitung.- I Ein allgemeines Modell für 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 gMobS.- 11 Einordnung.- II Eine denotationale Semantik für MuPAD.- 12 Überblick.- 13 Nachrichten.- 14 Beschreibung eines Clusters.- 15 Die Semantik von 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.