Formale Begriffsanalyse im Software Engineering

Reuse und Reengineering sind aktuelle Probleme im Software-Engineering. Reuse zielt auf die Wiederverwendung von Software-Komponenten oder -Schablonen aus einer Bibliothek; dazu ist es notwendig, effektive Verfahren zur Komponentensuche bereitzustellen. Reengineering befasst sich mit der Rekonstruktion von Systemstrukturen aus alter Software; Ziel ist es, Altsoftware so zu transformieren, dass sie auch weiterhin lebensfähig bleibt.
Wir präsentieren zwei Werkzeuge zur Unterstützung von Reuse und Reengineering, die auf formaler Begriffsanalyse basieren. Nora/Recs rekonstruiert Konfigurationsstrukturen aus Quelltexten und stellt sie graphisch dar. Man erhält bemerkenswerte Einsichten in die Struktur des Konfigurationsraums: alle Abhängigkeiten zwischen Konfigurationspfaden werden dargestellt, und unerwünschte Interferenzen zwischen Konfigurationen werden aufgedeckt. Nora/Focs bietet interaktive, inkrementelle Unterstützung zur Suche in Software-Komponentenbibliotheken, in denen die einzelnen Komponenten mit Attributen indiziert sind.