Specification-based browsing of software component libraries

被引：10

作者：

Fischer B. ^{[1
]}

机构：

[1] RIACS, NASA Ames Research Center, Moffett Field

来源：

Automated Software Engineering | 2000年 / 7卷 / 02期

关键词：

Computational linguistics - Computer software reusability - Information retrieval - Interactive computer systems;

D O I：

10.1023/A:1008766409590

中图分类号：

学科分类号：

摘要：

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.

引用

页码：179 / 200

页数：21

共 44 条

[1]

Boudriga N., Mill A., Mittermeir R., Semantic-based software retrieval to support rapid prototyping, Structured Programming, 13, pp. 109-127, (1992)

[2]

Davey B.A., Priestley H.A., Introduction to Lattices and Order, 2nd Ed., (1990)

[3]

Denzinger J., Kronenburg M., Schulz S., DISCOUNT: A distributed and learning equational prover, J. Automated Reasoning, 18, pp. 189-198, (1997)

[4]

Denzinger J., Schulz S., Learning Domain Knowledge to Improve Theorem Proving., pp. 62-76, (1996)

[5]

Dicosmo R., Isomorphisms of Types: from λ-Calculus to Information Retrieval and Language Design, 14, (1995)

[6]

Fischer B., Schumann J.M.P., Snelting G., Deduction-based software component retrieval, Automated Deduction-A Basis for Applications, pp. 265-292, (1998)

[7]

Fischer B., Snelting G., Reuse by contract, Proc. ESEC-FSE Workshop on Foundations of Component-Based Syterns, pp. 91-100, (1997)

[8]

Gannod G.C., Chen Y., Cheng B.H.C., An automated approach for supporting software reuse via reverse engineering, Proc. 13th Intl. Conf. Automated Software Engineering, pp. 79-86, (1998)

[9]

Ganter B., Wille R., Formale Begriffsanalyse-Mathematische Grundlagen., (1996)

[10]

Godin R., Gecsei J., Pichet C., Design of a browsing interface for information retrieval, Proc. Twelfth Annual Intl. ACM SIGIR Conf. on Research and Development in Information Retrieval, pp. 32-39, (1989)

← 1 2 3 4 5 →