Typisierte Vererbung modelliert durch Aggregation

F. J. Hauck

german

Abstract: Grundlagen und Anwendungen objektorientierter Konzepte Vererbung ist neben der Aggregation das wichtigste Kompositionsmittel in objektorientierten Sprachen. Während bei Aggregation geeignete Typsysteme vorhanden sind, die den typsicheren Austausch von Objekten und Klassen erlauben, gibt es keine Typsysteme für Vererbungsbeziehungen, die einen typsicheren Austausch einer Basisklasse erlauben. Gerade für die Verwaltung von Klassenbibliotheken und langlebigen verteilten Systemen ist dies aber eine wichtige Voraussetzung. Es wird ein Ansatz zur Typisierung der Vererbungsbeziehung vorgestellt. Er basiert darauf, die Vererbung durch Aggregation zu modellieren und die Typisierung der Vererbung auf die Typisierung der Aggregation abzubilden. Zur Modellierung der vollen Ausdrucksfähigkeit von Vererbung werden parametrierbare Bindungen für erzeugte Objekte eingeführt.

[Full Paper (ps,http) , 43 kB][Full Paper (pdf) , 46 kB]