Reengineering von Klassenhierarchien mit Begriffsanalyse

• Applicant: Professor Dr.-Ing. Gregor Snelting
• Subject Area: Theoretical Computer Science
• Term: from 1999 to 2004
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants