Ein denotationales Modell für parallele objektbasierte Systeme

در سال‌های اخیر به طور فزاینده‌ای مشخص شده است که زبان‌های مبتنی بر شی در توصیف تقریباً هر نوع مشکلی بسیار خوب هستند. برای اینکه بتوان معنای زبان های مبتنی بر شی را توصیف کرد، یک مدل متناظر مورد نیاز است. انواع داده های انتزاعی مورد استفاده برای زبان های مبتنی بر شی متوالی به اندازه کافی برای زبان های موازی قدرتمند نیستند. این کتاب مدل معنایی بسیار کلی gMobS را برای سیستم‌های مبتنی بر شی معرفی می‌کند که شامل زمان نیز می‌شود و می‌تواند سیستم‌های ترکیبی، یعنی هم برنامه‌ها و هم محیط را مدل‌سازی کند. این مدل برای توصیف مبانی معناشناسی سیستم جبری کامپیوتری MuPAD استفاده می شود. علاوه بر این، خواص شی گرا بسیار قدرتمند MuPAD توضیح داده شده است. مطالب 1 مقدمه I یک مدل کلی برای سیستم های مبتنی بر شی 2 طراحی کلی - 3 تعاریف - 4 توضیحات ورودی/خروجی - 5 روش برای توصیف اشیا - 6 سیستم های مبتنی بر شی - 7 روش های بیشتر برای توصیف اشیا - 8 ترکیب - 9 تجزیه شی سیستم‌های مبتنی بر - 10 کاربرد gMob5 - 11 طبقه‌بندی II یک معناشناسی معنایی برای MuPAD 12 - مرور کلی - 13 پیام - 14 توصیف یک خوشه - 15 معناشناسی MuPAD - 16 خلاصه A تعاریف / B مقدمه کوتاه MuPAD در MuPAD / D شی گرایی در MuPAD لیست شکل ها / فهرست جداول. "... ساختار اساسی سیستم و تعامل عملکردی ساختارهای داده MuPAD در اینجا توضیح داده شده است، که، با این حال، در حال حاضر اجازه می دهد تا بینشی عمیق از هسته MuPAD داشته باشید و کارایی gMobS را به طرز چشمگیری ثابت می کند." R. Horsch. , مجله ریاضیات, برلین

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 können, benötigt man ein entsprechendes Modell. Die für sequentielle objektbasierte Sprachen benutzten abstrakten Datentypen sind für parallele Sprachen nicht mächtig genug. In diesem Buch wird das sehr allgemeine denotationale Modell gMobS für objektbasierte Systeme eingeführt, 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 Grundzügen zu beschreiben. Weiterhin werden die sehr mächtigen objektorientierten Eigenschaften von MuPAD erläutert. Inhaltsverzeichnis 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 gMob5 - 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 / D Objektorientiertheit in MuPAD Abbildungszeichnis / Tabellenverzeichnis. "... Es wird hier der prinzipielle Aufbau des Systems und das funktionale Zusmmenspiel der MuPAD-Datenstrukturen erläutert, was jedoch schon einen tiefen Einblick in den MuPAD-Kern gestattet und die Leistungsfähigkeit von gMobS eindrucksvoll beweist." R. Horsch, Zeitschrift für Mathematik, Berlin