基于Pastry平台的Web服务组合系统框架研究

本文针对集中式Web服务组合系统,提出了一种基于Pastry结构的分布式服务组合系统框架。希望本文的研究能为相关理论的研究带了一定的启示和作用。     

Web服务编排描述语言WS-CDL的形式化模型框架

Web服务编排描述语言WS-CDL从全局的角度定义了一组Web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言,WS-CDL缺乏形式化的模型和验证机制,难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局的形式化模型框架Abstract WS-CDL,包括语法、同构关系和操作语义,同时定义了一套从该模型框架到基于Pi-演算描述的局部模型的映射规则,最后通过案例分析给出了全局和局部2个层次的模型验证方法。     

连接件模型与分类研究

连接件对于基于软件体系结构的软件开发具有重要意义,该文根据连接件在软件体系结构中所承担的责任以及它对构件交互的支持,建立了连接件模型,进而根据软件开发中的连接实现以及软件体系结构风格的研究,对连接件进行了分类,包括过程调用等11类连接件,不同类型的连接件支持不同的实现映射和复用途径。     

面向服务Web用户界面的动态组合框架

针对当前Web服务的应用和研究只关注于对业务功能的封装和重用以及相应服务的组合,而对用户界面缺乏相应的支持,提出了一种动态的、面向服务的Web用户界面(web user interface,WebUI)组合框架.在此框架中,WebUI构件被封装为可重用的Web服务,因此可以被发现、选择和绑定,并根据WebUI建模时所生成的WebUI组合描述被动态地组合为相应的WebUI,显著地简化了WebUI的开发和维护工作.     

软件连接件风格的研究

讨论了软件连接件风格的基本框架,并讨论了过程调用、事件连接件、数据访问连接件、直接连接、流、表决器、适配器、分布器的风格。     

基于BPEL和QoS的动态Web服务组合框架研究

利用BPEL语言可以将单独的Web服务组合成复杂的业务流程,但是BPEL语言不支持在业务流程执行阶段进行修改操作。虽然BPEL语言有错误处理和补偿机制,但是如果业务流程不能继续执行就会影响到业务执行效率。针对这一问题,提出了基于BPEL和QoS的动态Web服务组合框架,利用QoS组件的动态绑定功能和UDDI的动态发现Web服务功能,实现在业务流程运行时动态选择Web服务的功能,从而提高业务流程的执行效率。     

面向应用的Web服务组合设计和验证框架

针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题,提出了一个自顶向下的Web服务设计和验证的框架-iFrame4WS。在iFrame4WS中,将Web服务组合的设计方案划分为描述层、抽象层和执行层,并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性。     

基于BPEL的Web服务组合应用研究

论文对基于BPEL的Web服务组合机制进行了深入研究,通过一个开发实例,给出了基于ActiveBPEL Designer设计实现Web服务组合的过程,并对部署和测试该BPEL流程的方法进行了讨论。     

基于图的Web服务组合的研究

从Web服务质量入手,将QoS参数属性作为图的权重,提出了基于图的Web服务组合建模,并介绍了用不同的算法分别在模型上寻找解决方案.     

Web服务组合匹配框架研究

在现有服务发现方法中,单一考虑原子服务或服务组合的方式难以满足用户日益增长的需求。针对该问题,设计一个基于模型转换的Web服务匹配框架。在服务发现过程中综合考虑组合Web服务的执行过程信息和服务质量需求信息,为Web服务组合的匹配设计完整的过程:将UML模型转换为过程模型,再将过程模型转换为过程图,最后计算2个Web服务组合的相似度。实验结果表明,该服务匹配框架能够有效区分组合服务,提高服务发现的准确率。     

一种基于抽象模板的语义Web服务组合框架

提出一个基于抽象模板的语义Web服务组合框架,并详细分析了基于该框架的抽象模板检索、数据预处理以及模板修正的实现方法.为了提高模板检索的精确度,框架采用特征匹配和图匹配相结合的方法,实现了抽象模板和用户请求之间的相似度计算.同时利用数据预处理过程构建服务之间的依赖关系图,除去了冗余的服务,并事先验证了用户请求的可满足性.根据服务依赖关系图,框架使用启发式规划修改算法(HPAA)实现了模板的自动修正,并提供了对启发式策略的灵活配置,提高了服务组合的适应性和扩展性.最后对HPAA算法中所使用的启发式策略进行了实验,验证了算法在解决大规模问题上的适应性和可靠性.     

基于反射和连接件的SA动态演化研究

使用反射机制感知软件系统的结构与运行状态,提出了一种基于知识规则、直接对连接件进行操作的SA动态演化方法,消除了SA动态演化的不一致性,提高了效率.该方法使用代数表达式简化了演化日志,提高了演化可跟踪性。     

基于WSMO服务质量的语义Web服务发现框架

当前对Web服务进行语义描述最流行的两个框架是OWL-S和WSMO,但它们主要都是从服务功能的角度对服务进行描述,缺乏对服务质量的明确刻画,导致服务请求者难以得到最佳服务.针对此问题,对WSMO规范进行了扩展,定义了一个服务质量(QoS)的元模型--WSMO-QoS,给出了QoS的本体词汇.在此基础上提出了基于QoS的语义Web服务发现框架,并给出一个从基本描述、IOPE、QoS三个层次实现服务匹配的算法.最后,实验结果验证了该服务匹配算法的有效性.     

基于Topic Maps的语义Web服务组合引擎研究

针对Web服务组合流程控制、服务组合吞吐率等问题,提出一种基于主题图的语义Web服务组合引擎方法,通过基于本体的语义Web服务描述,并将Web服务与主题图进行抽象,用一种服务主题去表示语义Web服务,以便使用主题图的特征,而主题图可方便地实现语义服务导航定位,使得Web服务所处状态可定,目标明确。因此该语义Web服务组合引擎是从UDDI注册(UDDIr)和查询能力(UDDIs),语法检测(GD)和语义识别(SI)能力,服务主题图的相似度(STS)、匹配度(STM)和适应度(STF),服务主题特征刻面分类能力(SFC),服务主题权限访问程度(STP),刻面深度判定(FDD),服务主题协同能力(STC)角度去建立;并通过数学方法进行定义。最后通过用Java编程实现实验模型表明,该方法可行且有效。     

基于领域本体的Web服务动态组合模型

给出了领域本体、Web服务及服务组合的形式化描述,综合基于业务流程的动态服务组合和基于服务接口匹配的服务组合方法,提出了一种基于领域本体的Web服务动态组合模型。该模型首先把服务请求分解为业务流程,再对业务流程的每个服务按接口匹配方法分解为组合服务。以客户订购产品为例,说明了领域本体的建立方法和Web服务动态组合模型的应用方法。     

基于压缩思想的Web服务数据传输优化研究

Web服务是一种有效的面向服务架构实现方式,而如何有效传榆数据是Web服务实现时需要着重考虑的问题之一.基于Web服务传输原理,分析了其数据传输效率,再结合不同类型数据的特点,提出对不同类型数据采用不同的压缩方式以提高数据传输效率的思想.实验结果表明,基于数据类型选择合适的压缩方式能有效提高Web服务中数据传输的效率.     

基于贝叶斯网络的Web服务组合故障诊断

提出一种利用贝叶斯网络对Web服务组合故障原因进行诊断的模型,对该模型中贝叶斯网络拓扑结构的构造以及网络参数的赋值方法进行了详细说明。然后,基于构造的贝叶斯网络,提出Web服务组合的故障检测算法并对其进行了分析。实验模拟表明,提出的模型能有效地识别Web服务组合流程错误的根本原因。     

多Agent Web服务组合系统的设计

设计一种基于Agora系统平台的Web服务自动组合系统框架。使用主体 Agent 代表服务请求者和服务提供者,在论证该组合系统的高层模型的基础上,详细定义了不同类别Agent之间的通信和控制原语,并采用IndiGolog解释器和FaCT逻辑推理器等作为主要部件构建出具有逻辑推理能力的辅助Agora节点。实现了采用状态演算作为主要规划技术的服务组合系统。     

基于社团服务链的Web服务组合方法

针对Web服务组合的时间效率提高问题,提出了一种基于服务社团和服务链的Web服务组合方法。在构造的服务网络上应用基于信息中心度的服务社团发现方法,将Web服务网络划分为不同的服务社团,然后构造了社团服务链发现算法和基于服务链的Web服务组合算法,这些算法将服务社团内Web服务之间的所有可组合关联转变成服务链,实现了基于社团服务链和服务质量(QoS)剪枝的Web服务组合过程。实验结果表明,与传统的图深度遍历Web服务组合方法相比,基于社团服务链的Web服务组合方法在5个测试集上的响应时间平均提高了46%,最好情况为67%。社团服务链可以有效地减少针对当前服务请求的服务搜索空间,提高服务组合的时间效率。     

分布式Web服务合成的恢复机制

Web服务合成已成为一种重要的分布式网络应用开发模式。网络应用要求Web服务具有较高的可用性,进而要求Web服务必须具有快速恢复的特点。基于分布式Web服务合成的模式开发合成服务的恢复机制适合网络环境下的服务交互方式。分布式Web服务合成模式中包含有一个中心合成引擎和若干本地合成引擎,恢复机制由中心合成引擎与本地合成引擎合作实现,确保了唯一执行语义,同时又可保持Web服务的特性,并降低I/O代价。