Matching Single-Sort Algebraic Specifications for Software Reuse
Rui Gustavo Crespo · International Journal of Software Engineering and Knowledge Engineering · 1998
Software reuse may only be put into practice if we make available matching mechanisms between user needs and reusable components. The matching mechanisms should also be powerful enough to allow transformations of the user components that, while maintaining correctness, increase the possibilities of use of repository components by the user. In this paper we propose to use the mathematical framework of category theory to develop matching mechanisms for single-sort algebraic specifications that would allow the automatic retrieval and data adaptation of correct programs. We identify two types of specification matching, isomorphic and composite.