基于扩展WSDL行为描述的Web服务组合

互联网上存在丰富的Web服务以及自动服务组合方法,但这些自动组合方法(如经典的Roman模型)均要求服务暴露其行为,以此作为服务是否可自动合成的先决条件。现有的Web服务描述文档(如W3C的WSDL标准)缺乏对服务行为的有效描述,使得这些自动化服务组合方法在实际中不可行。针对该问题,提出一种在WSDL中扩展服务行为描述的服务接口方案,基于GMF实现服务行为编辑器,帮助用户在WSDL中协同添加或编辑服务行为,并利用Axis2开源框架开发客户端生成器,根据WSDL中的服务行为反向自动生成具有服务行为的客户端。以k-lookahead算法为例在Seekda服务库中应用该服务方案,实验结果验证了其可行性。     

基于Pi-演算的Web服务形式化描述模型*

当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。本文在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS规范和WS-CDL规范的重要行为在模型中做了映射。最后通过例子说明,基于局部和全局的设计方法在本文提出的模型中的映射是一致的。本文提出的描述模型直接用来进行Web服务组合的设计时,可以更好的描述动态的体系结构。     

一种基于体系结构的Web服务组合描述方法

Web服务组合能够快速开发复杂的Web服务,以促进Web服务的增值。在分析并比较现有的Web服务组合方法的基础上,提出了一种形式化和工业化方法相结合的Web服务组合描述方法。针对Web服务及其组合的特点,研究了基于体系结构的Web服务组合描述方法,采用扩展的XYZ／ADL定义Web服务及描述其交互的连接件,最后结合一个实例描述Web服务组合的工作方式。     

一种空间数据服务虚拟化描述方法

提出了一种空间数据服务的虚拟化描述方法。针对各类空间数据服务, 采用基础描述元素和描述规则描述服务元信息、数据元信息和服务操作信息, 并存储为虚拟文件, 进而支持用户通过虚拟文件进行空间数据服务的组织管理和综合应用。对天地图、Google Maps、OGC标准服务三类空间数据服务进行集成显示实验, 实验结果表明虚拟化描述方法可以有效地实现多源空间数据服务的统一访问与应用。     

一种基于语义消息的Web服务组合方法

在重用现有Web服务的基础上,通过服务组合形成新的、功能增值的服务是语义Web服务领域的一个重要研究内容.本文在Web服务语义描述框架的基础上,提出一种基于语义消息的Web服务组合方法,该方法定义了能够描述不同服务输出、输入消息之间对应关系的语义消息,能够业务逻辑上紧密关联的Web服务有机的组合在一起,从而为Web服务组合者以及面向服务的应用开发人员提供一种简单、直观的组合方法.     

基于行为描述的Web服务组合兼容性检查*

定义了服务的基调视图和行为视图,设计了将Web服务行为转换为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转换的算法;最后借助π演算的操作语义和形式化推理技术实现了对Web服务组合时的兼容性进行检查。     

普及计算中基于接口语义描述的动态服务组合方法

在普及计算环境中缺乏把已经存在的简单的服务灵活地动态地组合出更加复杂的服务的方法．提出了一种在此环境下的基于接口语义匹配的动态服务组合方法,给出了基于语义的基本服务的描述规范、组合服务的描述规范、组合服务的实例生成算法和控制执行的动态服务组合的系统框架并通过实例实现,验证了该框架的可行性．根据当前环境中已有的服务组合出更加复杂的服务,该算法对有效地利用系统的资源、降低服务设计和实现的复杂性具有非常重要的意义．     

基于三层组织模型的一种Web服务组合策略

在研究Web服务三层组织模型和有限状态自动机的基础上,提出了一种新的Web服务组合策略,给出了一个服务的可组合性定理,并证明了定理的正确性。该策略以Web服务三层组织模型为基础,简化了BPEL中基于有限状态自动机的Web服务自动组合,精简了服务组合流程。最后对这种新的组合策略的优缺点作了分析。     

一种基于OWL-S的语义Web服务自动组合方法*

提出了一种基于OWL-S的语义Web服务自动组合的方法。该方法充分利用OWL-S的顶层本体结构,基于最小满意度阈值,从网络上获取满足要求的Web原子服务并将其存储在两个DAG图中;然后基于该图生成Web服务组合候选集;最后从该候选集中随机选取最终的Web服务组合。该方法在保证Web服务组合质量的前提下,实现了根据服务请求对Web服务的自动化组合。     

一种验证服务组合中消息语义匹配的方法

介绍一种服务组合模型中服务消息语义化匹配验证的方法.该方法先介绍基于服务行为模型的服务组合,并将其转换为形式化的有限状态自动机.利用有限状态自动机中服务行为可以转换为线性逻辑表达式描述的原理,使用线性逻辑的演绎方法对服务消息的匹配性可满足性进行验证.     

基于语义的动态服务组合的改进

Web服务应用已经广泛深入,而已存在的服务也越来越不满足客户的需求,解决应用服务之间的共享和应用协作问题成为关键.基于语义的Web服务的动态组合无疑可以很好的解决这个问题,但是OWL-S还有许多方面需要完善特别是在服务质量、花费、可靠性等问题上.本论文通过对OWL-S的扩充解决了其中部分问题,并且通过描述并实现一个动态服务组合框架来验证.     

基于服务簇和QoS的Web服务组合方法

针对海量的语义Web 服务组合中如何提高搜索速度和获得最优组合的问题,提出了一种基于服务簇和服务质量(QoS)的快速组合方法。利用预先建立的服务簇进行服务搜索,可以有效缩小搜索空间,降低语义比较的复杂度,快速得到候选服务集合。组合过程中基于服务的最优组合QoS值动态确定阈值进行服务过滤,可以获得多个最优组合。同时采用高效的冗余处理方法保证组合中冗余服务最少,并采用服务簇内部过滤的方法限制候选服务数量,解决了因组合过多造成的运行超时问题。基于海量服务库进行实验,结果表明,服务搜索效率比普通搜索方法可提高几十倍,服务过滤和冗余处理效果明显,可快速获得多个QoS最优的无冗余组合,并且在百万级服务库进行大层次深度的组合时仍可保证良好的运行性能。     

基于服务关系统计的多粒度服务组合方法

传统工作流方法进行服务组合存在两个问题,服务组合无法自动生成和复杂服务无法重用,基于服务关系统计的多粒度服务组合方法（MSWC）有效解决了这两个问题。MSWC包括服务关系统计学习、服务粗分和服务细分三个部分, 分别用于进行服务关系统计计算、服务分组和服务映射。通过服务关系统计学习计算了有逻辑和无逻辑的服务关联度;服务粗分将服务需求分解为无逻辑关系的组;而服务细分通过逻辑概率将服务分组映射成系统中已有的复杂服务,将这些复杂服务串接起来,即完成服务组合。因为三个步骤均是自动执行,因此MSWC是自动组合方法,而服务分组最终映射为系统已有的复杂服务,因此是一个多粒度服务组合方法。最后通过实验结果分析表明,该算法能够很好地适应网络上Web Service快速增长的情况,并且具备较好的服务组合性能。     

基于服务模式的快速服务组合方法研究

多数传统服务组合方法忽视了领域服务的特性,针对特定的领域服务上下文环境时无法进一步提高优化性能,对此提出一种基于模式的快速服务组合方法。分析了领域服务的特征和规律,提出了服务模式的概念。进而给出了一种基于模式的两阶段快速服务组合方法,该方法在第一阶段利用已有的服务模式,采用贪心覆盖策略对用户需求进行快速覆盖,第二阶段则采用原子服务满足第一阶段无法满足的需求。实验表明利用该方法能获得良好的效果和性能。     

用描述逻辑实现语义主题Web服务组合的方法

针对面向服务计算所具有的分散性、不确定性等因素的影响,以及服务发现、选择和组合存在技术和高效应用上的瓶颈,提出一种用描述逻辑实现主题服务组合的方法。该方法将主题图与Web服务用描述逻辑进行融合,并在融合过程借助本体实现主题图与Web服务间的描述,进而形成一种语义主题Web服务。最后用基于SHOIQ的Tableau决策算法实现语义Web主题服务组合。案例分析表明该方法可行且有效。     

A community-centric approach to automated service composition

In the recent years, the web has kept growing rapidly and undergone tremendous changes towards a user-centric environment. With the proliferation of services available on the Internet, millions of users are able to voluntarily participate in and collaborate for their own interests and benefits by means of service composition. However, due to the ever increasing number of services, it then becomes a challenging issue to enable the users to rapidly select and compose the proper services. In this paper, we pro...     

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

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

服务发现技术中的服务描述和服务匹配技术

普及计算环境中的设备和应用需要通过服务发现来获得其它设备和应用所提供的服务。在服务发现技术中,服务描述、需求描述和服务匹配是迫切需要解决的关键问题。但由于服务和需求的多样性和复杂性,以及普及计算环境的动态性和异构性,使这些问题更加困难和复杂。所以,寻找一种灵活高效而又准确的方式来进行服务描述、需求描述,进而进行服务匹配,具有非常重要的意义。对现有多种服务发现系统中的服务描述需求描述和服务匹配技术进行比较分析,指出了现有解决方案的一些不足,并对未来的研究进行了展望。