KIT | KIT-Bibliothek | Impressum | Datenschutz

Specification-Based Browsing of Software Component Libraries

Fischer, Bernd

Specification-based retrieval provides exact content-oriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottleneck by moving any deduction into an off-line indexing phase. In this paper, we show how match relations are used to build an appropriate index and how formal concept analysis is used to build a suitable navigation structure. This structure has the single-focus property (i.e., any sensible subset of a library is represented by a single node) and supports attribute-based (via explicit component properties) and object-based (via implicit component similarities) navigation styles. It thus combines the exact semantics of formal methods with the interactive navigation possibilities of informal methods. Experiments show that current theorem provers can solve enough of the emerging proof problems to make browsing feasible. The navigation structure also indicates situations where additional abstractions are required to build a better index and thus helps to understand and to re-engineer component libraries.

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 1998
Sprache Englisch
Identifikator KITopen-ID: 1000017597
Erschienen in 13th IEEE International Conference Automated Software Engineering, October 13-16, 1998, Honolulu, Hawaii, USA
Verlag IEEE Computer Society,
Seiten 246 - 254
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page