Eine Methode zur Konstruktion robuster Klassenhierarchien |
| |
Authors: | Arne Frick Rainer Neumann und Wolf Zimmermann |
| |
Institution: | (1) Universit?t Karlsruhe, Institut für Programmstrukturen und Datenorganisation, Vincenz-Prie?nitz-Strasse 3, D-76131 Karlsruhe Tel.: ++49 (721) 608-4759 /4763, Fax: ++49 (721) 30047 (e-mail: {frick|rneumann|zimmer}@ipd.info.uni-karlsruhe.de, URL: http://i44www.info.uni-karlsruhe.de/{frick|rneumann|zimmer}) , DE |
| |
Abstract: | 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.
Eingegangen am 24. Dezember 1996 / Angenommen am 15. Oktober 1997 |
| |
Keywords: | Schlüsselw?rter: Klassenhierarchien Robustheit Korrektheit Konformit?t Spezialisierung Ausfaktorisierung |
本文献已被 SpringerLink 等数据库收录! |
|