Analyse (1) Oberstes Gebot: Typsicherheit muss in Sicht und Basis jeweils für sich gelten. Basisschema muss unverändert bleiben. Bei rein syntaktischer.

Präsentation zum Thema: "Analyse (1) Oberstes Gebot: Typsicherheit muss in Sicht und Basis jeweils für sich gelten. Basisschema muss unverändert bleiben. Bei rein syntaktischer."—  Präsentation transkript:

1 Analyse (1) Oberstes Gebot: Typsicherheit muss in Sicht und Basis jeweils für sich gelten. Basisschema muss unverändert bleiben. Bei rein syntaktischer Betrachtung: Kapselung. Daher Sichten nur auf der Grundlage von Schnittstellen und (abstrakten) Klassen.

2 Analyse (2) Semantische Betrachtung: Objektkonstruierende Sichten sind wegen des Verbots einer eigenständigen Sichtdatenbasis verboten. n Beispiel: Der Benutzer habe nur Interesse an Zylindern mit einer bestimmten Mindestdichte und wolle diese in einer Zylindermenge mit der Strukturierung {Zylinder} zusammenfassen. n Verboten, wenn der Typ Zylindermenge in der Originaldatenbasis nicht existiert: Da Mengen eigenständige Objekte darstellen, wären beim Nutzer eigenständige, im Original nicht existente Objekte zu erzeugen. Konsequenz: Die Objektidentitäten aus der Originaldatenbasis können in die Sicht übernommen werden. Sichten folgen daher einer Mengeninklusions- Semantik.

3 Ein flexibles Vorgehen (1) Mengeninklusion: n Jedes Objekt eines Sichttyps deckt sich mit einem Objekt eines Basistyps. Implementierung der Operatoren: n Operatoren in der Sicht dürfen (re-)implementiert werden. n Dies darf ausschließlich auf der Grundlage der Operatoren des Basistyps oder der Obertypen im Sichtschema geschehen, wie sie sich an der Schnittstelle anbieten, sowie deren innerer Struktur, wie sie in abstrakter Form durch die Klasse gegeben ist. n Informationserhaltung: Bei der Reimplementierung eines Operators sind die Verfeinerungsbedingungen zu beachten.

4 Ein flexibles Vorgehen (2) Daraus Vorgehensweise: n Gegeben seien Basisschema und Sichtschema. n Konstruiere integriertes Ableitungsschema als Vereinigung der beiden Schemata: \ Zu jedem Typ im Sichtschema wird dessen Basistyp als zusätzlicher Obertyp eingetragen. \ Weiterhin werden dessen Obertypen übernommen. n Jeder Sichttyp-Operator muss dann entweder von einem Sichtschema-Obertyp ererbt oder mittels der Operatoren seiner Obertypen im Ableitungsschema implementiert sein. n Somit Semantik der Subtypisierung: \ Subtypisierung im Sichtschema: rein syntaktisch oder Mengeninklusion. \ Subtypisierung zwischen Sichttypen und Basistypen: Mengeninklusion.