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

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

可复用软件构件的表示和检索

一、引言软件复用已经融入软件工程研究的主流,被视为是使软件开发真正走上工程化和产业化道路的希望。人们在实践中认识到软件复用是一个涉及到技术、方法学、管理和文化等多个方面的复杂问题。除了日常隐含发生的对专业知识和经验的复用之外,最典型的复用活动表现为借鉴、理解、修改和集装各种不同抽象层次(从产品的概念、系统模型和规约到程序源码甚至目标码)、不同粒度(从系统构架、框架、类簇到代码片断)、不同形式(黑盒构造块、生成器、模板、设计模式等)的可复用软件构件来构造新系统和实现系统演化的过程。根据复用对象的不同,可以将复用划分为产品复用和过程复用两大类,产品和过程都被称为可复用软件构件。本文将只讨论产品复用。     

可复用构件表示模型与检索研究

本文根据AND-CASE环境对软件构件的要求,提出可复用构件表示模型,将刻面法和规格说明相结合的综合刻面法描述构件库中的构件,以兼顾刻面法的灵活易用性和规格说明的规范性,并将其应用于AND-CASE环境,有效实施内建层次词典检索和多种形式的构件匹配。     

可复用构件表示模型与检索研究

本文根据AND－CASE环境对软件构件的要求,提出可复用构件表示模型,将刻面法和规格说明相结合的综合刻面法描述构件库中的构件,以兼顾刻面法的灵活易用性和规格说明的规范性,并将其应用于AND－CASE环境,有效实施内建层次词典检索和多种形式的构件匹配。     

可复用构件的框架表示与检索*

提出了基于人工智能框架知识表示的构件描述方法,以解决构件描述、分类、检索等构件复庸丶晕侍?并利用框架表示的推理特性,建立了基于规则推理和功能粒度的构件搜索匹配算法,提高构件搜索效率和准确性.     

可复用软件构件表示方法的分析

软件复用有利于提高软件开发的生产率和软件系统的可靠性,降低软件开发的成本,使软件开发实现工程化和产业化.软件构件是其核心技术和基本单位,它是将应用系统中相对稳定的成分提取出来,形成可以重复使用的软件单元.随着软件复用实践的深入,组织内部积累大量构件,对这些构件的组织、管理尤为重要.有效的构件表示和检索是实现高效复用的保证,从而大大降低复用成本.文中对构件的表示进行了分析和比较,为实践中的复用项目提供了技术支持.     

电力领域构件存储及检索方法的研究与实现

根据电力企业应用系统集成的需要，提出了面向电力领域构件库中构件的存储及检索方法和系统总体框架；阐述了构件存储的数据结构及其实现，以及基于关键字、构件刻面及知识库的检索方法和步骤，并给出了检索评价模式。这些方法及评价模式已在应用系统集成中实现，大大提高了复用效率，符合电力企业信息化的发展要求。     

基于XML技术的软件构件的表示与检索

本文针对软件构件的刻面分类方法,结合XML技术的特点,提出基于XML技术的软件构件的表示方法,并结合".NET Framework"和"Visual Studio.NET"开发平台的最新特点,给出一套基于XML的刻面分类和动态演变构件库系统的解决方案,以提高复用的程度和质量,降低复用成本,为复用成功提供有效的支持.     

基于卷积神经网络的构件分类策略的研究

为了提高软件复用过程中构件检索的效率,分析了软件构件分类技术的优缺点以及构件特征,从构件刻面信息的角度,采用卷积神经网络技术,提出一种基于卷积神经网络的构件分类策略;利用卷积神经网络对构件刻面特征进行提取,减少人为因素,提高刻面信息提取精确性,并训练出基于卷积神经网络的构件分类模型,通过具体的实验,来论证该模型的准确性,以达到提高构件检索效率的目的。     

一种基于XML的统一构件匹配技术

构件检索和匹配是CBSD和软件复用的关键技术。目前构件库所采用的关键字、刻面、规约、行为等匹配技术都存在两个问题：1）构件表示方法各异,理解和共享构件困难;2）每个查询匹配算法侧重点不同,关键字和刻面匹配侧重构件的语义,而规约匹配侧重构件的结构,造成单独使用一种匹配算法或多或少产生一些冗余或无关构件。本文提出一个XML统一构件描述模型,该模型利用XML模式对构件进行层次化的组织,采用一种最大权匹配算法,从语法和语义两方面计算两个构件间的匹配度,有效地解决了上述问题。通过实验证明,该技术在保证构件查全率的基础上有效地提高了查准率。     

可复用软件构件表示方法的分析

软件复用有利于提高软件开发的生产率和软件系统的可靠性,降低软件开发的成本，使软件开发实现工程化和产业化。软件构件是其核心技术和基本单位，它是将应用系统中相对稳定的成分提取出来，形成可以重复使用的软件单元。随着软件复用实践的深入，组织内部积累大量构件,对这些构件的组织、管理尤为重要。有效的构件表示和检索是实现高效复用的保证，从而大大降低复用成本。文中对构件的表示进行了分析和比较，为实践中的复用项目提供了技术支持。     

软件构件管理与重用方法探究

软构件技术是影响整个软件产业的关键技术之一，软件重用在提高软件生产率与质量、减少软件开发时间和成本等方面起到了关键的作用。从软构件的基本属性出发，讨论了软构件的分类原则、描述方法等软构件的管理技术，以及构件重用中的研究热点——构件检索方法，并对软件构件对软件产业造成的影响做了分析。     

软件构件管理与重用方法探究

软构件技术是影响整个软件产业的关键技术之一,软件重用在提高软件生产率与质量、减少软件开发时间和成本等方面起到了关键的作用。从软构件的基本属性出发,讨论了软构件的分类原则、描述方法等软构件的管理技术,以及构件重用中的研究热点——构件检索方法,并对软件构件对软件产业造成的影响做了分析。     

分布式体系下组件库检索系统的设计与实现

研究了一个分布式的模块化的组件库系统的组件分类、管理和检索方案的设计与实现.提出了一个以新型组件库概念模型为基础的具有层次风格的组件库检索管理系统模型——CDIX-Ⅰ,并对CDIX-Ⅰ模型进行了详细的讨论.实践表明,在CDIX-Ⅰ模型指导下开发的CDIX-Ⅰ系统在速度、稳定性和安全性方面都能很好地满足用户的需要.     

Efficient Specification-Based Component Retrieval

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.     

基于刻面分类模式的构件库检索方法

可复用软件构件的检索是构件库和软件复用领域研究的一个重要课题。基于刻面分类模式的检索方式拥有准确、高效的优势,因而得到了广泛应用。论文介绍了刻面分类模式的相关概念以及刻面树的创建方式,分析了基于刻面分类模式对软件构件库进行检索的规则,该规则将用户选择的刻面和术语通过合理的并和交运算组合生成数据库查询条件来完成检索。最后根据规则提出了相应算法以及刻面分类模式检索在实际构件库系统中的实现方法。     

基于刻面分类模式的构件库检索方法

可复用软件构件的检索是构件库和软件复用领域研究的一个重要课题。基于刻面分类模式的检索方式拥有准确、高效的优势,因而得到了广泛应用。论文介绍了刻面分类模式的相关概念以及刻面树的创建方式,分析了基于刻面分类模式对软件构件库进行检索的规则,该规则将用户选择的刻面和术语通过合理的并和交运算组合生成数据库查询条件来完成检索。最后根据规则提出了相应算法以及刻面分类模式检索在实际构件库系统中的实现方法。     

面向多构件库的检索条件转换机制研究

构件检索技术是可重用软件构件库的核心技术之一,构件检索成本是重用成本的重要组成部分。多个不同构件库之间实现互通可以有效扩大构件检索范围和提高检索效率。检索条件转换是多构件库检索亟待解决的问题。论文首先分析了检索条件转换的必要性,结合重用者检索构件的流程,提出了多检索方法的检索条件相互转换机制。该机制为实现跨构件库检索奠定了基础,能减少重用者的理解成本,使各种检索方法之间互相取长补短,提高检索的查全率。