A tool for reusable software component retrieval via normalized specifications

Author

Teigerwald, Robert S. ; Luqi ; Berzins, Valdis

Author_Institution

Dept. of Comput. Sci., Naval Postgraduate Sch., Monterey, CA, USA

Volume

ii

fYear

1992

fDate

7-10 Jan 1992

Firstpage

18

Abstract

Introduces the concept of reusable software component retrieval using normalized formal specifications. Reusable Ada software components are stored in a software base that supports a rapid prototyping system called CAPS (Computer Aided Prototyping System). Each component in the software base has a corresponding formal specification. A query in the form of a formal specification is used to search for candidate components that satisfy the requirements of the query. The specification languages used are the Prototype System Description Language (PSDL) and OBJ3. Each specification is normalized to facilitate component retrieval. This paper describes the software base model, syntactic and semantic normalization, and the component retrieval mechanisms

Keywords

formal specification; software prototyping; software reusability; software tools; specification languages; subroutines; Ada software components; CAPS; Computer Aided Prototyping System; OBJ3; PSDL; Prototype System Description Language; normalized formal specifications; query; rapid prototyping system; reusable software component retrieval; semantic normalization; software base; specification languages; syntactic normalization; Computer science; Design engineering; Formal specifications; Productivity; Programming; Prototypes; Software prototyping; Software reusability; Software systems; Software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on

Conference_Location

Kauai, HI

Print_ISBN

0-8186-2420-5

Type

conf

DOI

10.1109/HICSS.1992.183272

Filename

183272