基于元对象的检索构件类的建造

本文介绍基于元对象的检索构件类的建造。包括检索元对象定义，检索构件类的组成和实现要点。     

基于刻面分类标识和聚类树的构件检索方法

针对如何从规模庞大的软件构件库中快速且高效地检索出目标构件的问题,提出一种基于刻面分类标识和聚类树的构件检索方法。使用构件标识集合对构件进行刻面分类标识描述,克服了单纯采用刻面分类法对构件进行分类描述和检索时带来的主观因素的影响;引入聚类树的思想,对构件进行基于语义相似度的聚类分析,建立构件聚类树,能有效地缩小检索范围,减少检索构件与构件库中构件比较的次数,提高检索效率。最后在实验中与一般检索方法对比,实验结果表明该方法的构件查准率为88.3%,查全率为93.1%;而且在大规模的构件库中使用时依然有良好的检索效果。     

构件的标识表示与检索方法研究

针对如何在大规模构件库中改善检索性能的问题,提出构件的标识表示,并设计了基于标识的构件检索方法.标识由领域术语、刻面术语以及高权重词等代表构件主要信息的词组成.使用标识表示构件可以获得比刻面分类更多的有效信息并能够校正刻面分类产生的主观影响,有利于检索准确率的提高.为提高检索速度,设计了功能倒排索引与标识索引组成的双向组合索引.最后与常用检索方法进行了对比实验,结果表明基于标识的构件检索具有较高的检索效率以及良好的综合检索效果,能够较好的满足大规模构件库的检索要求.     

软构件的管理、标识与检索技术

分析了可重构ERP面临的问题，阐述了构件管理的基本要求，研究了构件的分类体系以及构件实体属性描述方法，运用构件代码实现其标识，应用实体语义相似性系数和领域语义字典实现对构件的检索，为开发和研究新一代可重构的ERP系统创造了条件。     

数据流计算机复合函数级并行的开发

数据流计算机开销过大的基本原因是并行的粒度太细。本文研完在数据流计算模型中引入复合函数级并行的开发,讨论它在SDS模型的抽象机上的实现方法,并介绍以此为基础的模型机SDS-1系统。     

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

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

基于Web Service的构件的检索

有效利用Internet环境中的丰富构件资源可以避免软件的重复开发,但首先得在这些数目庞大的构件中找到自己所需的构件.在传统的检索方法基础上引入了网络构件库、基于Agent的构件选择系统、系密构件匹配系统、构件的环选、构件的确认匹配,从而达到了快速、准确查找的目的.     

构件形式化描述与模糊检索研究

在软件复用研究不断深入的情况下,构件的准确描述与高效检索已成为面向构件的软件复用研究的热点和难点.本文参照3C构件模型,提出一种基于形式化方法的、可扩展的构件描述模型,包括构件的功能描述、接口描述、环境依赖描述等,并保留了构件关键字、非功能属性等描述项.在此描述模型基础上提出了构件的分步检索法,并着重论述了包含四级模糊度的构件形式化检索方法,以提高构件的查找效率并兼顾查全率.     

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

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

基于UML的构件检索

基于构件的软件开发（CBD）是当前大型软件系统开发方法的主流,而CBD的基础是构件库及其检索方法。目前主要采用从领域梃型中获得特定领域知识辅助用户进行构件检索,但缺乏较好的领域模型表示方法。本文对使用UML表示领域模型进行了研究,提出了一个利用UML和领域词典中的领域知识辅助用户刻画领域、扩充和求精初始查询、形成用户的构件需求并指导构件库检索,通过行为相似性确定构件的构件检索方法。该方法增强了用户对领域知识的了解,在检索过程中充分考虑了与构件相关的领域知识、检索上下文以及用户的意图,可对结果集进行有效筛选评优,极大地提高了查全率、查准率及用户的满意度。为了验证该方法的可行性和有效性,设计并实现了一个高效的构件检索环境。     

网络安全组件组合强度研究

介绍了安全组件组合安全强度分析的现实意义,对现有方法进行研究,重点探讨了安全边界已知情况下安全组件组合的安全特性。研究段云所副教授所提出的理论,并以其方法为基础,提出了一种基于Petri网的网络系统安全组件组合强度分析方法,进一步研究了Petri网模型的构造,并利用Petri网仿真工具ExSpect对所提出方法的正确性进行仿真验证。     

基于功能属性语义的Web服务组合方法

Web服务组合方法是Web服务研究领域的热点之一,常用的方法是通过Web服务的input和output参数的匹配,将已有的Web服务组合成满足用户复杂需求的Web服务。但普遍存在缺乏对Web服务功能属性语义的考虑,而且因为随着Web服务的数量上的急剧增长,如果对每一种可能的组合都进行考虑则会增加组合服务的复杂度。为此提出一种基于Web服务语义图模型的服务组合方法。利用功能参数之间的语义关联,建立一种Web服务语义功能属性描述模型,对那些在功能属性语义上具有关联性的Web服务,采用图路径搜索的方法来完成服务组合,从而在服务组合阶段缩小参与服务组合的范围,提高了组合服务的效率和有效性。     

Static verification of component composition in contextual composition frameworks

Contextual component frameworks, such as Enterprise JavaBeans (EJB), allow for components to specify boundary conditions for the runtime context. These conditions are satisfied at runtime by services of the underlying platform, thus ensuring that the context in which components run exhibits properties that allow them to operate correctly. Depending on how components call each other, it is possible that satisfying such conditions lead to problems such as reduced performance due to redundant service execution, or permanent errors (composition mismatches), due to incompatible boundary conditions. Currently, the semantics of these boundary conditions are expressed in natural language only, making it impossible to incorporate them into an automatic analysis tool. Furthermore, early understanding of how components call each other would be necessary, but it is currently difficult to achieve by means of a tool, as the method dispatch rules in a component system differ from the dispatch rules of the programming language(s) in which they were developed. We have developed a metamodel, , for describing boundary conditions, an analysis method, , and a static component-level call graph extraction method for EJB applications, CHA _EJB . uses models to analyze inter-component call graphs, and thus detect problems such as composition mismatches or redundancies, thus allowing for remedial action to take place. We present and CHA _EJB in this article, show that produces correct results, and describe a prototype analysis tool implementing the three, which we used to validate our approach on two popular EJB applications. The support of the Informatics Commercialisation initiative of Enterprise Ireland is gratefully acknowledged.     

Controlled composition and abstraction for bottom-up integration and verification of abstract components

This work proposes a method for improving the scalability of model-checking compositions in the bottom-up construction of abstract components. The approach uses model checking in the model construction process for testing the composite behaviors of components, including process deadlock and inconsistency in inter-component call sequences. Assuming a single processor model, the scalability issue is addressed by introducing operational models for synchronous/asynchronous inter-component message passing, which are designed to reduce spurious behaviors caused by typical parallel compositions. Together with two abstraction techniques, synchronized abstraction and projection abstraction, that hide verified internal communication behavior, this operational model helps to reduce the complexity of composition and verification.The approach is supported by the Marmot development framework, where the soundness of the approach is assured through horizontal verification as well as vertical verification. Application of the approach on a wireless sensor network application shows promising performance improvement with linear growth in memory usage for the vertically incremental verification of abstract components.     

基于接口匹配的构件组装

基于构件的软件开发（CBSD）以软件体系结构为蓝图，通过可复用构件的组装构建高质量大规模应用系统。如何找到合用的可复用构件以及怎样在体系结构指导下进行构件的组装是CBSD的关键环节。研究了构件匹配的基本原理和理论基础，在此基础上分析了基于软件构件组装的系统开发技术并给出了对候选构件进行组合的配置算法。     

结构化组合补偿抽象精化性质研究

为解决松耦合Web事务复杂业务流程的建模问题,确保组合事务的可靠性和一致性,提出一种基于配对Petri网的结构化组合补偿精化方法,实现复杂多伙伴业务流程的抽象层次建模.定义了4种基于配对Petri网的基本组合补偿结构:顺序、并行、选择和循环结构.引入组合流程精化和组合补偿抽象的定义,分析了复杂业务流程的精化和抽象过程,给出了精化流程应满足的性质.通过具体业务实例验证了该精化和抽象方法的可行性.     

Automatic routing of flexible 1D components with functional and manufacturing constraints

This article presents a novel and unifying method for routing of flexible one-dimensional components such as cables, hoses and pipes with geometric design constraints. A deterministic and resolution complete grid search is used to find a nominal configuration of the component that is collision-free and satisfies functional and manufacturing constraints. Local refinement is done in tandem with a computationally efficient and physically accurate simulation model based on Cosserat rod theory to ensure that the deformed configuration still satisfies functional constraints when influenced by gravity. Test results show that the method is able to solve industrial scenarios involving complex geometries and real constraints with different objectives in mere seconds.     

Web服务组合策略研究及组合决策平台实现

由于关注点的不同和客观环境的多样性,Web服务组合方法的种类纷繁复杂。如何从零碎散乱的不同决策角度出发来构建可行而高效的组合方法,是现阶段Web服务组合研究中亟待解决的关键问题之一。因此,本研究将注意力放在一套可以帮助Web服务组合实践者选择服务组合方法的决策机制上。考虑到层次分析法可以用来帮助解决这个多阶段多标准问题,分析综合了前人的相关研究成果,从而根据层次分析法构建结构树,进而举例详细阐述了如何在多个备选方案中做出最佳选择的Web服务组合决策机制。最后,为帮助Web服务组合实践者理解和使用这套决策机制,也设计并实现了一个决策平台easyWSC,现已开放给相关研究人员和实践者使用、讨论和改进。     

结构化组合事务补偿精化性质研究

针对复杂异构、松耦合Web组合事务执行失败时原子性和一致性保持的问题,提出一种基于配对Petri网的复杂组合业务流程的补偿和精化方法,解决复杂多伙伴业务流程的抽象建模问题。首先定义了4种基于配对Petri网的基本组合补偿结构：顺序、并行、选择和迭代结构;然后引入组合流程精化的概念,给出了精化后相关性质的证明,最后通过具体业务实例验证该精化方法的可行性。