Efficient Specification-Based Component Retrieval
Efficient Specification-Based Component Retrieval
复制标题
高效的基于规范的组件检索
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
P. Alexander
中科院分区：
文献类型：
--
作者：
J. Penix;P. Alexander
在本文中，我们提出了一种通过限制在查询时间证明所需的定理数量来使基于规范的组件检索的机制。这是通过使用分类方案来减少处理查询所需的规范匹配证明的数量来完成的。组件是通过分配与组件规格所隐含的必要条件相对应的特征来分类的。我们展示了这种特征分配方法如何用于近似查询和库组件之间的可重复使用性关系。正式定义了一组可能的分类特征，从而允许自动化分类过程。分类过程本身是通过使用专业定理证明策略来证明特征含义的效率的。使用列表操纵组件库对检索机制进行了实施和评估。结果表明，响应时间比现有的正式方法更好。与非正式方法相比，该方法提供的一致性和自动化水平更高，并且具有可比的检索性能。
In this paper we present a mechanism for making specification-based component retrieval more efficient by limiting the amount of theorem proving required at query time. This is done by using a classification scheme to reduce the number of specification matching proofs that are required to process a query. Components are classified by assigning features that correspond to necessary conditions implied by the component specifications. We show how this method of feature assignment can be used to approximate reusability relationships between queries and library components. The set of possible classification features are formally defined, permitting automation of the classification process. The classification process itself is made efficient by using a specialized theorem proving tactic to prove feature implication. The retrieval mechanism was implemented and evaluated experimentally using a library of list manipulation components. The results indicate a better response time than existing formal approaches. The approach provides higher levels of consistency and automation than informal methods, with comparable retrieval performance.