Eine Methode zur Konstruktion robuster Klassenhierarchien

Zusammenfassung.

In diesem Beitrag wird eine Methode zur Konstruktion robuster Klassenhierarchien vorgestellt. Hierzu wird aus den Überlegungen bezüglich der polymorphen Verwendung von Klassen [2] eine Vorgehensweise zur Konstruktion von Klassenhierarchien abgeleitet. Die Begriffe Konformität und Spezialisierung werden verfeinert, indem nicht mehr sämtliche Methoden einer Klasse, sondern Teilmengen davon betrachtet werden. Dies führt zum Begriff der partiellen Konformität. In Erweiterung von [2] sind partiell konforme Klassen dann polymorph verwendbar, wenn der Anwendungskontext, der sich aus der Benutzung der Klasse ergibt, sich ausschließlich auf konforme Methoden erstreckt. Diese Eigenschaft ist statisch zur Übersetzungszeit überprüfbar. Damit können Fehlbenutzungen bereits zur Übersetzungszeit ausgeschlossen werden.

Abstract.

This paper introduces a method for the construction of robust class hierarchies. The construction method is based on the ideas presented in [2]. The terms conformance andspecialization are refined regarding not the complete set of methods of a class but only subsets. This leads to the term partial conformance. In addition to [2] classes which are partial conforming may be used in a polymorphic way if the application context– the set of used methods – of this class is a subset of the conforming methods. This property can be checked statically. Illegal polymorphic use may be detected by the compiler.