软件构件表示与检索形式化的研究与进展

1 引言软件复用被认为是提高软件生产效率和软件质量较为现实的途径。尽管软件复用的思想已经提出了30多年,但软件复用的现状离人们最初的设想仍然相距甚远。阻碍大规模软件复用的技术与非技术因素很多,主要的技术因素有构件分类、构件表示、构件检索、构件更改及构件库的管理与维护等。其中,软件构件表示与检索是软件复用获得成功的重要前提。

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.