Textdokument
Deduction-based software component retrieval
Lade...
Volltext URI
Dokumententyp
Zusatzinformation
Datum
2003
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik
Zusammenfassung
Deduktionsbasiertes Softwarekomponenten-Retrieval ist eine formale, semantik-basierte Methode zur Unterstützung der Software-Wiederverwendung. Dabei werden formale Spezifikationen als Komponentendeskriptoren und als Suchanfragen verwendet und passende Komponenten mit Hilfe automatischer Theorembeweiser ermittelt. Die direkte Realisierung dieses Konzepts scheitert allerdings an der Anzahl und am Profil der entstehenden Beweisbedingungen. Die Dissertation [Fis01] stellt einen alternativen Ansatz vor, der auf einer inkrementellen Filterpipeline basiert und so die Theorembeweiser entlastet. Der vorliegende Beitrag beschreibt verschiedene Wiederverwendungsmodelle, die mit Hilfe des deduktionsbasierten Softwarekomponenten- Retrievals realisiert werden können, erläutert das NORA/HAMMR-System, in dem dieser Ansatz implementiert ist, und fasst die durchgeführte ausführliche experimentelle Auswertung zusammen.