On the retrieval of reusable software components
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Starting from the principle of software reusability through formal specifications, the authors suggest a model for the retrieval of reusable components utilizing the search techniques in database management systems. The formal specification language of software components is ASL. Component specifications will be translated into a specification written in the knowledge representation Telos for storage and other manipulation. The retrieval of software components is based on signature matching between the signatures of goal specifications and those of reusable components. In this way, the authors overcome some of the main problems with respect to retrieval such as representation of reusable components, representation of goal specification, and name differences in the software. The retrieval mechanism is supported by the database management system ConceptBase.Keywords
This publication has 7 references indexed in Scilit:
- ISAR: An interactive system for algebraic implementation proofsPublished by Springer Nature ,2005
- Telos: representing knowledge about information systemsACM Transactions on Information Systems, 1990
- A knowledge-base environment for the development of software parts composition systemsPublished by Association for Computing Machinery (ACM) ,1989
- A theory of software reusabilityPublished by Springer Nature ,1988
- An information retrieval system for software componentsSoftware Engineering Journal, 1988
- Structured algebraic specifications: A Kernel languageTheoretical Computer Science, 1986
- Software reuse through information retrievalACM SIGIR Forum, 1986