Formalizing and Automating Component Reuse

Using existing components to construct software systems has significant potential to improving software productivity and quality. A key problem in software component reuse is the selection of appropriate components for satisfying a given requirement. In this paper, the authors define a component interface generality relation that provides a foundation for component selection. This generality relation, represented in terms of formal specifications, precisely captures the semantic obligations for an existing component to satisfy the requirements of a target system. The formal specifications facilitate the (semi-) automatic determination of the generality relation. The authors show how this generality relation has been used to determine the reusability of software components in a software architecture-based reuse and integration environment. Author(s) : Yonghao Chen and Betty H. C. Cheng

Read More...

---