Software-Reengineering mit mathematischer Begriffsanalyse

Wir betrachten zwei Aufgaben:
- Analyse der Beziehung zwischen Subroutinen und globalen Variablen in
altem FORTAN-Code mit dem Ziel, Altsoftware zu modularisieren;
- Analyse des Konfigurationsraumes von UNIX-Quelltexten mit dem Ziel,
Interferenzen zwischen Konfigurationen zu eliminieren.

In beiden F"allen wird aus dem Quelltext zun"achst eine Relation zwischen
gewissen "Objekten" und "Attributen" extrahiert. Mathematische
Begriffsanalyse berechnet daraus den sog. Begriffsverband, der
bemerkenswerte Einsichten in Struktur und Eigenschaften der Relation
erlaubt; das Verfahren kann als ``diskrete Spektralanalyse''
charakterisiert werden.

Der Vortrag skizziert die mathematischen Grundlagen, beschreibt die
Reengineering-Problemstellung und ihre Umsetzung, und demonstriert die
Ergebnisse diverser Fallstudien. Als Ausblick wird eine Anwendung auf die
Restrukturierung objektorientierter Bibliotheken vorgestellt.