| 基于排序形式化规格说明的软构件匹配 |
| |
| 引用本文： | 王淑红,袁兆山.基于排序形式化规格说明的软构件匹配[J].合肥工业大学学报(自然科学版),2000,23(4):477-481. |
| |
| 作者姓名： | 王淑红 袁兆山 |
| |
| 作者单位： | 合肥工业大学,计算机与信息学院,安徽,合肥,230009 |
| |
| 基金项目： | 高等学校博士学科点专项科研项目，97035901， |
| |
| 摘 要： | 基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法,在软件复用和库检索中,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求.利用基于排序形式化规格说明来描述软构件的行为,并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义,及其在构件检索中的应用.
|
| 关 键 词： | 形式化规格说明 软构件 软构件匹配 软构件检索 |
| 修稿时间： | 1999-10-18 |
Formal specification matching based on order-sorting for software component |
| |
| WANG Shu-hong,YUAN Zhao-shan.Formal specification matching based on order-sorting for software component[J].Journal of Hefei University of Technology(Natural Science),2000,23(4):477-481. |
| |
| Authors: | WANG Shu-hong YUAN Zhao-shan |
| |
| Abstract: | 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. |
| |
| Keywords: | formal specification software component software component matching software component retrieve |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
