基于刻面描述的构件检索

随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正受到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,根据构件刻面描述的特点,提出了一种基于树包含(tree inclusion)的构件检索方法,并进行了理论上的分析与实验上的检验.实验结果证明了它的可行性与有效性.

刻面分类构件的匹配模型

随着软件复用实践的深入和软件构件库规模的扩大,对软件构件的表示与检索的研究正得到越来越多的重视.针对基于刻面描述的软件构件,结合模式分析中的树匹配思想,并根据构件刻面描述的特点,提出了一个包含3个层次,5种匹配类型的刻面匹配模型.给出了该匹配模型的泛型算法并对具化情况下的算法实现与时间复杂度进行了讨论.同时,通过理论和实践的结果证明了该匹配模型在构件检索上的可行性与有效性.

基于刻面描述的构件查询匹配模型及算法研究

在软件复用研究不断深入的情况下 ,软件构件库的管理研究得到了产业界与学术界越来越多的重视 作为构件库管理的两个核心技术 ,构件的表示与检索技术已经成为研究热点 ,其中基于刻面描述的构件相关应用得到了广泛研究 ,针对构件查询的特点 ,结合模式分析中的树匹配思想 ,提出了新颖的构件树路径包含匹配模型及其相应的构件查询匹配算法 ,该算法可以在保持构件查准率的前提下 ,有效提高构件的查全率 ,算法的时间复杂度和空间复杂度是线性的 。

基于规约匹配的构件检索

在基于构件 /构架的软件开发模式中 ,源代码级的构件组装是其中非常重要的一个环节 .采用传统的构件检索技术 ,如刻面检索、关键词检索等来检索满足组装需求的构件存在查全率和查准率低的缺点 ,基于构件规约的检索是解决这些缺点的有效途径 .本文在青鸟构件描述语言 (JBCDL )的基础上 ,详细研究了规约语法匹配的基本原理和匹配策略 ,提出了构件接口匹配度和冗余度的概念用于评估检索结果 ,最后给出一种构件接口的规范化表示方法 ,用于提高规约语法匹配的响应速度 .本文的研究结果也同样适用于 Ada、COM、CORBA等构件规约 .

基于模型检验的构件验证技术研究进展

模型检验以其自动化程度和完备性高、与构件技术互补性强等特点,在软件构件可信性质的分析和验证中发挥着日益重要的作用.将基于模型检验的构件验证方法分为基于系统规约模型的验证和基于源代码的验证,分别对其研究现状和发展动态进行了详细的综合评述.首先对模型检验与构件可信性质验证的关系进行了探讨,接着对基于SOFA,Fractal,CORBA及各种特定构件模型的验证方法和基于转化思想的源码验证、面向源码的直接验证及面向可执行代码的动态验证方法分别进行了评述.最后,指出了基于模型检验的构件验证技术所面临的主要挑战和未来的发展方向.

基于XML的树匹配构件检索算法的研究与实现

针对构件检索的特点,结合模式分析中的树匹配思想,提出了构件树匹配模型,并在此基础上针对基于XML的刻面描述构件表示,实现了基于XML的树匹配构件匹配检索算法。该算法可以在保持构件查准率的前提下有效提高构件的查全率。实验结果证明了该算法的可行性与有效性。

构件组装及其形式化推导研究

基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.

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

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.

基于规约匹配的软件组件组装

基于组件的软件开发强调以集成为中心进行系统构造。其中候选组件的选择以及候选组件的组装是系统开发的关键,文章分析了规约语法匹配的基本原理和理论基础,在此基础之上研究了基于软件组件组装的系统开发技术并给出了组件配置算法。

使用规范匹配实现设计模式的自动获取

设计模式是设计级的软件重用 .由于缺乏比较成熟的设计模式规范描述和规范匹配方法 ,设计模式的获取和使用基本上是手工方式 ,依赖于用户自身的知识和经验 〔5〕.随着设计模式的不断开发 ,这一现状必将限制设计模式的应用 .本文提出了一种使用规范匹配进行设计模式自动获取的方法 ,该方法使用规范语言对设计模式的数据、结构、行为和功能进行形式化的描述 ,使用其功能规范的匹配来对设计模式进行获取 .

一种高效的基于刻面分类的构件检索算法研究

如何从构件库中准确快速找到需要的构件,是每个构件库系统需要解决的一个主要问题。基于树匹配的思想通过研究构件的特点,提出了基于刻面路径匹配的算法,它使用后缀字典排序来提高查询的效率,该算法可以在保持构件查询速度的前提下,有效提高构件的查全率和查准率,实验结果证明了该算法的可行性与有效性。

硬件构件的形式化描述及其组装机制

针对构件化的路由交换平台设计,提出硬件基础构件的抽象模型及其内部处理流程的形式化描述,提取出顺序、并行、分支以及聚合4种原子组装机制,用于构建更高层次的复合构件,并推导出复合构件抽象模型及其处理流程的形式化描述,从而有利于抽象出更大粒度的构件用以组装复杂的硬件平台。

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

基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法 ,在软件复用和库检索中 ,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求。利用基于排序形式化规格说明来描述软构件的行为 ,并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义 ,及其在构件检索中的应用。

可视化部件规格匹配的研究

分析了现有的重用部件的检索及匹配方法，提出了一种可视化重用部件的形式化规格描述，讨论了几种基于规格描述的部件匹配，并阐述了不同种类的部件匹配情况下部件的重用方式（黑盒重用或白盒重用）．

基于自动机的构件实时交互行为的形式化模型

采用形式化方法对复杂实时构件系统交互行为进行描述和验证,对于提高系统的正确性、可靠性等可信性质具有重要意义。分析了基于进程代数和自动机的构件交互行为形式化建模方法各自的优缺点,在此基础上提出了基于时间构件交互自动机的建模方法,给出了时间构件交互自动机的相关定义、组合和验证算法。时间构件交互自动机引入了时间限制、时间代价、时间代价计算半环、构件组合层次等概念,既能够描述构件交互情况,又能够清楚地表示出构件系统的体系结构信息和实时信息,便于对系统进行描述和验证。最后,结合具体应用给出了应用示例。

构件行为协议实时性扩展及相容性验证

对复杂实时构件系统行为进行形式化描述和相容性验证,可以有效提高系统的正确性、可靠性。分析了学术界和工业界的主流构件模型及常见时间行为的形式化描述方法,对构件行为协议BP(Behavior Protocol)进行了扩展,提出了时间行为协议TBP(Ti med Behavior Protocol),分析了构件组合中常见的相容性错误类型,给出了基于时间行为协议的构件组合相容性验证算法。TBP应用简洁、方便、易于验证。结合具体例子给出了应用示例。

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

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

基于云端的构件库检索模型

目前有很多关于构件分类和检索方法,但这些分类和检索方法的查询效率和查准率都不高。为此,结合树匹配思想,提出了基于云端的构件库的检索模型,该模型通过叶子节点亲和度匹配算法进行匹配,能快速检索出用户最可能需要的构件,在提高匹配速度的同时减少了匹配次数,提高了查全率,并且算法的时间复杂度和空间复杂度都是线性的。由于基于云端的构件库检索模型能根据节点间的亲和度关系进行匹配,因此可以根据节点间亲和度关系远近设置匹配精度,提高匹配的松弛度,很好地适应并应用到大规模构件库的构件检索中。

一种基于线性逻辑的构件组装方法研究

构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题.

基于协议的实时构件行为一致性验证

对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。