Reusable software component retrieval via normalized algebraic specifications
Steigerwald, Robert Allen
MetadataShow full item record
Efforts in the software engineering community to reuse code are hampered by a lack of tools. Reusability is particularly beneficial in a rapid prototyping environment. Rapid prototyping with automated reusable software component retrieval is a software development method to rapidly construct and adapt software, validate and refine requirements, and check the consistency of proposed designs. This dissertation describes a tool used within the Computer Aided Prototyping System (CAPS), developed at the Naval Postgraduate School, which retrieves reusable components from a software base using a formal specification as the search key. The query specification that represents a design requirement is compared to formal specifications of Ada reusable software components stored in an object-oriented database management system. A syntactic search compares specification interfaces, identifying reusable candidates based on types of parameters. The semantic search rank orders a set of candidate components based on semantic similarity to the query. The methods, called query by consistency, compares terms that are reduced in the axioms of each specification. Specifications are normalized to facilitate the matching between query specifications and reusable component specifications in the retrieval. A formal proof verified that query by consistency can retrieve components guaranteed to meet specified requirements.
RightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
Showing items related by title, author, creator and subject.
McDowell, John Kelly (Monterey, California. Naval Postgraduate School, 1991-09);Prototyping is an important software development method to rapidly construct software, validate and refine requirements, and check the consistency of proposed software designs. This thesis describes the design and ...
Dolgoff, Scott Joel (Monterey, California. Naval Postgraduate School, 1993-09);The Computer Aided Prototyping System (CAPS) software base contains software components described by formal specifications written in the Prototype System Description Language (PSDL). One problem addressed by this thesis ...
Steigerwald, Robert; Luqi; Berzins, Valdis (IEEE, 1992);This paper 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 ...