基于排序形式化规格说明的软构件匹配  

Formal specification matching based on order-sorting for software component

作　　者：王淑红[1] 袁兆山[1] 

机构地区：[1]合肥工业大学计算机与信息学院,安徽合肥230009

出　　处：《合肥工业大学学报（自然科学版）》2000年第4期477-481,共5页Journal of Hefei University of Technology：Natural Science

基　　金：国家教委博士点基金资助项目! (970 35 90 1)

摘　　要：基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法 ,在软件复用和库检索中 ,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求。利用基于排序形式化规格说明来描述软构件的行为 ,并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义 ,及其在构件检索中的应用。Formal specification matching based on order sorting for software component is an effective method to retrieve reusable component. In software reuse and library retrieval, such matching is of help in determining whether one component can be substituted for another or how one can be modified to fit the requirements of the other. In this paper,formal specification based on order sorting is used to describe the behavior of software component, and various types of definition of such matching for software component are given on the component and method level, and its application in the component retrieval is also discussed.

关 键 词：形式化规格说明 软构件匹配 排序 软件重用 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]