ISSN:
0949-2925
Keywords:
Schlüsselwörter: Klassenhierarchien, Robustheit, Korrektheit, Konformität, Spezialisierung, Ausfaktorisierung
;
Key words: Class hierarchies, robustness, correctness, conformance, robustness, specialization, factorization
;
CR Subject Classification: D.2.2, D.2.10
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Description / Table of Contents:
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.
Notes:
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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/s004500050087
Permalink