Specification-based retrieval strategies for component architectures
Date
2005
Authors
Hemer, D.
Editors
Strooper, P.
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Conference paper
Citation
Proceedings [of] 2005 Australian Software Engineering Conference : ASWEC 2005 : 29 March - 1 April, 2005, Brisbane, Australia / Paul Strooper (ed.) : pp. 233-242
Statement of Responsibility
David Hemer
Conference Name
Australian Software Engineering Conference (16th : 2005 : Brisbane, Australia)
Abstract
In component-based software development (CBSD) programs are developed by combining reusable library components. Two of the main technical issues that need to be addressed are: locating suitable components in the library (retrieval); and adapting them to solve a specific problem. Intelligent retrieval techniques, based on matching formal specifications (so-called specification matching), have been developed to overcome some of the problems associated with traditional keyword-based retrieval techniques. Also approaches to semi-automating component adaptation have been proposed. These approaches are based on using component wrappers and component architectures for defining adaptation strategies. Such strategies can be represented by generic library templates that are parameterised over higher-order variables (therefore ensuring that they are applicable in a variety of situations). We would like to use existing specification matching techniques to locate suitable library adaptation templates. However, at present these two approaches are not compatible. This is because the current specification matching methods are based on matching first-order component specifications, whereas templates are specified using higher-order logic. In this paper we extend existing specification matching methods to handle higher-order library templates, with a focus on achieving the best possible tradeoff between automatability and precision/recall.
School/Discipline
Dissertation Note
Provenance
Description
© Copyright 2005 IEEE