可靠性Web服务组合的事务协调机制研究

可靠性Web服务组合需要事务处理技术的支持来保证其组合结果的可靠性和正确性。该文分析了服务组合环境的事务处理需求,针对Web服务组合环境下的特点,提出了一个组合Web服务的事务处理模型WS-CTM,并对事务协调机制等问题进行了分析。     

组合Web服务的分散协调模式

本文针对组合Web服务的集中协调模式的弊端，分析了组合Web服务的分散协调模式的优点，并结合在BPWS4J运行环境下的具体例子，讨论分析了分散模式下系统构造期和运行时所面临的问题及解决方案。     

面向动态工作流的Web服务组合模型研究

把Web服务与工作流相结合,将Web服务作为工作流中的各项任务,通过Web服务的动态组合技术,建立面向动态工作流的服务组合模型。对Web服务描述进行了扩展,提出了一个基于层次结构的服务发现模型,支持Web服务开发与部署的分离,并通过Web服务的动态查找,对符合要求的可用服务器,引入服务评价函数,根据服务器服务份额、价格策略以及信任度等因素对服务器进行综合评定,实现复合服务在运行时的动态部署与绑定。并通过工作流引擎对各项子任务的交互与完成进行相应控制,最终实现Web服务的动态绑定模型的执行框架。     

Web服务组合的可靠性动态评估模型*

为了合理、高效、动态地评估Web服务组合的可靠性,为服务请求者提供高质量的组合服务,提出了一个Web服务组合的可靠性动态评估模型。该模型对服务提供者发布至UDDI注册中心的Web服务进行语义预先处理,根据语义Web服务间的逻辑组合关系,基于预推理技术构造Web服务的自动组合框架,提出了Web服务的自动组合算法,建立Web服务组合方案的路径结构;利用随机Petri网对满足服务请求者需求的服务组合路径结构进行可靠性建模,结合在线获取的Web服务可靠性信息,对Web服务组合的可靠性进行动态评估。实验示例结果分析表明,提出的模型能确保Web服务组合方案的有效性和提高服务组合的效率,对Web服务组合的可靠性评估具有较强动态性和灵活适应性。     

基于服务组合的可信软件动态演化机制

以基于服务组合的可信软件为研究对象,重点研究通过组合服务的动态演化机制保障网络化软件的可信性.首先,提出了一个合理性保持的演化操作集,避免复杂的验证过程,使得演化后的组合服务保持结构合理性;在此基础上,通过构造冗余路径的方式给出了一个面向可用性保障的组合服务演化方法;然后,针对组合服务动态演化过程中运行实例的处理,设计了一个组合服务演化中运行实例在线迁移算法,为正确实施演化提供支持;最后,设计实现了一个支持动态演化的组合服务执行引擎,并通过实验验证了所提出方法的有效性.     

采用服务定位器模式构建Web服务调用模型

为了解决Web服务静态调用中服务地址不易修改、难以适应需求变化的问题,构建了一个Web服务动态调用模型。该模型采用了服务定位器模式设计,能够灵活配置服务地址,实现对Web服务的控制反转。结合一个简单服务,描述了利用．NET的动态编译和反射技术对Web服务调用模型的实现。     

支持动态服务组合的Web服务三层组织模型

面对互联网上大量出现的Web服务，如何在动态异构环境中对它们进行组织和管理以便更轻松地构建出各种应用系统是一个亟待解决的问题．本文针对这一问题展开讨论，提出了支持动态服务组合的Web服务三层组织模型，分层次对Web服务进行组织和管理，从而提高了服务发现的效率，实现了灵活的服务组合和替换机制，更高效地支持动态Web服务组合过程．     

基于Web服务的动态工作流系统的研究与实现

分析了面向服务的计算环境及服务组合的新特征和新问题，并在此基础上从面向业务用户的角度对基于Web服务的动态工作流进行了探讨，提出一种基于Web服务的动态工作流模型。以该模型为基础，设计了具有三层结构的基于Web服务的动态工作流系统，按照该架构并基于J2EE平台实现了系统．对基于web服务的动态工作流应用提供了系统支撑与验证环境。     

基于语义WEB的动态服务组合技术研究

本文描述了我们对动态服务组合技术的研究成果。本文首先对Web服务组合进行介绍;然后对Web服务组合给出形式化的定义,并对语义Web和OWL-S进行了分析;接着给出了一个基于语义Web的动态服务组合模型;最后讨论了存在的问题。     

基于BTP的Web服务事务协调研究与实现

Web服务技术为异构应用之间的集成和互操作提供了有效的解决手段.目前的Web服务还缺乏全局的事务环境,传统的事务模型不再适用于新的Web环境下的要求.针对Web服务中事务处理的协调同题,分析现有的事务处理模型和协议,设计实现了一个基于BTP协议的Web服务事务原型系统,把用于Web服务事务处理的BTP协议和用于传统事务的两阶段提交协议相结合来协调Web服务中的事务.通过运行应用实例,验证了原型系统的可行性,该系统具备协调短期事务与长事务的能力.     

基于Web服务的动态工作流系统的研究与实现

分析了面向服务的计算环境及服务组合的新特征和新问题,并在此基础上从面向业务用户的角度对基于Web服务的动态工作流进行了探讨,提出一种基于Web服务的动态工作流模型。以该模型为基础,设计了具有三层结构的基于Web服务的动态工作流系统,按照该架构并基于J2EE平台实现了系统,对基于Web服务的动态工作流应用提供了系统支撑与验证环境。     

Web Service Choreography: Unanimous Handling of Control and Data

To provide an effective service-oriented solution for a given business problem, it is necessary to explore all available options for providing the required functionality while ensuring a flawless data transfer within the composed services. Existing service composition approaches fall short of this ideal, as functional requirements and data mediation are not considered in a unified framework. We propose a service composition framework that addresses both of these aspects by integrating existing techniques in formal methods, service oriented computing and data mediation. Our framework guarantees the correct interaction of services in a composition by verifying certain behavioral constraints, and resolving data mismatches at semantic, syntactic and structural levels, in a unified manner. A tableau based algorithm is used to generate and explore compositions in a goal-directed fashion that proves or disproves the existence of a service choreographer. Data models, to detect and resolve data mismatches, are generated using WSDL documents and regular expressions. We also apply our framework to examples adapted from the existing service composition literature that provide strong testimony that the approach can be effectively applied in practical settings.     

动态Web服务合成中的服务选择算法研究

为了提高服务合成效率并更好的适应动态变化的应用环境,提出了基于流程修改的服务合成方案,使得复合服务的执行与服务发现过程并行化。提出了基于QoS属性的服务选择算法,该算法能够实现服务执行时选择服务,在考虑综合QoS信息及时间因素的基础上,通过不断更新用户需求来进行服务选择,提高了服务合成效率。实验结果表明,该选择算法可以获得满足用户需求且最优的服务,很好的保证了服务的可靠执行。     

基于MDP的动态Web服务组合

在面向服务的环境下,单个Web服务往往不能满足用户的要求,这时就需将已有的单个Web服务进行组合,以便产生满足用户需求的组合服务。已有的服务组合方法都很少考虑Web服务的随机性和Internet环境的动态性,从而在服务选择过程中产生的规划都是静态规划,结果导致在服务组合时都以较大概率出现组合失败。针对上述问题,利用马尔可夫决策过程(MDP),设计出利用随机QoS作为指标的Web服务组合算法。     

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

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

一种基于服务覆盖网络的业务运行平台

针对分布式业务的动态性和可扩展性需求,设计并实现了业务运行平台BEPSON（Business Execution Platform Based On Service Overlay Network）。该平台基于服务覆盖网络,采用分层架构,提出并实现了具有QoS保证的动态服务发现算法以及分布式的执行策略。最后,通过实例验证了平台的有效性和灵活性。     

面向跨组织业务流程的服务组合策略

动态服务组合为跨组织业务流程的快速开发提供了重要技术支撑.传统的集中规划的组合方式不能很好适应开放环境所提要求.提出一种基于分布式层次任务网络的服务组合策略,分析了实现该策略的组件的结构和功能,并定义组件间的Web服务接口,给出该策略下跨组织流程的开发方式,并以应用实例说明该策略对开放组织之间业务流程开发的有效支持.     

基于P2P的Web服务发现机制研究

在P2P系统中融入Web服务的相关技术,将传统的P2P系统转变为一种面向服务的架构是分布式计算发展的方向,而Web服务的自动发现是面向服务的架构要解决的关键问题之一.提出了一种基于P2P技术和语义Web的服务发现机制,将P2P系统作为服务的提供者整体接入Web服务,通过P2P网络实现服务描述信息的自动交换,并采用分段搜索机制处理用户查询,从而提高了用户查询的效率和准确性.