Reengineering von Klassenhierarchien mit Begriffsanalyse

• Antragsteller: Professor Dr.-Ing. Gregor Snelting
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1999 bis 2004
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5177352

Mathematische Begriffsanalyse, gekoppelt mit Datenflußverfahren und Typinferenz, erlaubt es, eine Klassenhierarchie so umzustrukturieren, daß sie den tatsächlichen Zugriffen der Variablen auf Members und Methoden entspricht. Dabei wird garantiert, daß die neue Hierarchie verhaltensäquivalent zur alten ist, aber eine minimale Zahl von Klassen bei maximaler Faktorisierung aufweist. Dies erlaubt weitreichende Einblicke in die Verwendung von Klassen; klassische Analysen wie "Dead Members" und redundante Variablen ergeben sich als Spezialfall. Das Verfahren ist Ausgangspunkt für weitergehende Restrukturierungsmöglichkeiten, die auf der Theorie der Begriffsanalyse beruhen.

• DFG-Verfahren: Sachbeihilfen