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

Software reuse has been claimed to be the realistic means to increase the productivity of programmers andimprove the quality of developed software. Software reuse approaches can be classified into two closely related cate-gories: development for reusable component and development with reusable component. System development withreusable components involves in a series of related woks: component representation, component retrieval, componentcomposition, component modification, etc. Because formal methods have rigorous theoretical foundations and cancharacterize computational semantics of a component, they has been intensively researched in software engineering do-main. This paper surveys the formal methods of component representation and retrieval, introduces current statusand outlines future trends.

可复用构件表示模型研究

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

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

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

CASE构件的表示与分层

构件方法是满足ＣＡＳＥ环境开放性与集成化要求的有效方法之一。构件的表示与分层是构件构架中的两个基本问题，Ｍａｒｋｏｖ模型与３Ｃ模型是构件表示的两个有效模型，ＣＡＳＥ环境过程驱动的特征需要一个过程表达与过程控制的问题。因此。

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

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

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

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

基于人工神经网络的制造执行系统软件构件库构件提取方法研究

为了提高从软件构件库中搜索构件的速度和准确率 ,利用误差反向传播神经网络 (BP网络 )研究了构件的搜索问题。针对制造执行系统软件构件的特点 ,提出一个基于刻面的制造执行系统软件构件表示模型。在此基础上 ,建立了在构件刻面空间和构件标识之间进行匹配的BP网络模型 ,并详细研究了该BP网络模型的结构、算法、输入 /输出参数处理等问题。最后 ,通过一个构件库原型系统进行了验证。

RLD演绎及子句蕴含与子句包含关系的非等价性

软件复用的一个主要任务是可复用软件构件的表示与检索 .由于一阶逻辑能够描述软件构件的计算语义 ,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视 .为了简化基于演绎的构件检索技术的程序设计结构及提高演绎效率 ,提出了最右线性演绎 RL D(rightmost linear deduction) ,并证明了它的完备性 .同时 ,指出了子句蕴含与子句包含关系的非等价性 。