A Survey of Formal Methods of Software Component Representation and Retrieval
软件构件表示与检索形式化的研究与进展

Software reuse has been claimed to be the realistic means to increase the productivity of programmers and improve the quality of developed software. Software reuse approaches can be classified into two closely related categories : development for reusable component and development with reusable component. System development with reusable components involves in a series of related woks : component representation, component retrieval, component composition, component modification, etc. Because formal methods have rigorous theoretical foundations and can characterize computational semantics of a component, they has been intensively researched in software engineering domain. This paper surveys the formal methods of component representation and retrieval, introduces current status and outlines future trends.