Detailinformation

	Diplomarbeit
Titel	Typüberprüfung von aktiven Objekten mit Prozeßtypen
Autor	Peter, Christof
Erscheinungsjahr	1996
Inventardatum	30.04.1996
Abstract	Statische Typüberprüfung und aktive Objekte sind nützliche Konzepte objektorientierter, paralleler Programmiersprachen. Die Verwendung von Prozeßtypen und Prozeßalgbra erscheint vielversprechend. Allerdings können die bisher verwendeten Konzepte die geforderte Reihenfolge von Nachrichten noch nicht in Typen ausdrücken. Es existierte auch noch keine Implementierung in diesem Bereich. Das Ziel dieser Diplomarbeit ist eine Erweiterung einer parallelen, objektorientierten Sprache, um gewünschte Reichenfolgen von Nachrichten spezifizieren zu können. Diese Sprache (TAO) wird implementiert, wobei prozeßalgebraische Ansätze zur statischen Typüberprüfung eingesetzt werden. Die Syntax orientiert sich an Ada, da Ada aktive Objekte verwendet. Die auftretenden Probleme mit "aliasing" können durch die Verwendung von "type splitting" und "type updating" gelöst werden. Damit kann man die Koordination von aktiven Objekten bereits auf der Typ-Ebene ausdrücken.
Status	Verfügbar