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

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

基于WS-C/T协议的Web服务业务事务处理研究与实现

与原子事务严格遵循ACID特性相比,Web服务业务事务具有异构、分布式、长时间运行、松耦合的特点.它允许参与者独立提交,并使用补偿操作来撤销已提交的子事务所带来的影响.针对传统事务处理模型不适合处理业务事务的情形,设计一个基于WS-C/T协议的Web服务业务事务处理原型系统,把用于协调的WS-C拂议和用于业务事务处理的WS-BA协议相结合来实现Web服务的组合应用.业务事务处理系统主要由客户端、协调者和参与者三个部分组成,客户端发起业务事务,协调者和参与者提供业务事务协调与处珲接口,实现业务事务一致性.最后通过一个业务事务应用实例,验证了原型系统的可行性,它具有协调和补偿能力.     

一种Web服务组合事务框架的设计与实现

Web服务组合已成为跨企业应用集成的主要方法,服务组合需要事务机制来保证其可靠性。由于服务组合自身的特点,传统事务处理方法不适合。首先总结服务组合事务的特点,提出了基于层次的服务组合事务框架,并详细分析了服务组合事务的协调过程。最后给出了服务组合事务协调协议并实现了服务组合事务服务原型系统。     

Web服务事务处理模型研究

Web服务的出现对分布式事务提出了新的挑战，为了保证多个Web服务交互获得正确的执行和一致性的结果，必须为Web服务提供事务机制。该文提出了一个Web服务事务处理模型，研究了二阶段提交扩展协议、协调算法和事务补偿。该模型在事务处理过程中具有一定的实用性和灵活性，为Web服务投入跨企业的商业应用提供了有力的支持。     

WS-T协议族及其应用研究

介绍了Web服务和事务的相关概念,阐述了传统事务处理协议在Web服务处理环境中存在的问题;然后结合目前流行的WST协议族对Web事务处理作了分析;最后根据分析总结了解决问题的思路,以及在Web服务事务处理中建议采用的策略。     

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

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

ESB事务模型的设计与实现

企业服务总线中,传统事务处理模型、扩展事务处理模型和Web服务事务处理模型都无法满足该环境下服务流程的事务处理需求.提出一种以流程进行事务注册、以事务性消息进行事务划分的面向流程的事务处理模型来解决企业服务总线环境下具有服务松耦合、运行时间长短不确定,服务类型多样以及服务流程的静态编制等特性的服务流程的事务需求.该事务处理模型已在企业服务总线产品中得到了成功应用.     

taTHP：一种THP的改进事务模型

随着电子商务的迅速崛起,Web服务逐渐成为Web领域一个崭新的分布式计算模型.在自治的、松耦合的Web服务事务环境中,由于事务参与者不能提供长时排它的资源锁定模式,因而无法继续采用传统的ACID事务结构.换而言之,Web服务事务处理必须具备针对松散耦合事务环境及自治资源提供策略的协调能力.本文在THP(TentativeHoldProtocol)事务模型的基础上,进一步发展了资源的“准”占用思想,提出了一种具备“事务意识”的新型资源协调算法,从而使系统性能有了较大提升.     

taTHP: 一种THP的改进事务模型

随着电子商务的迅速崛起,Web服务逐渐成为Web领域一个崭新的分布式计算模型.在自治的、松耦合的Web服务事务环境中,由于事务参与者不能提供长时排它的资源锁定模式,因而无法继续采用传统的ACID事务结构.换而言之,Web服务事务处理必须具备针对松散耦合事务环境及自治资源提供策略的协调能力.本文在THP(TentativeHoldProtocol)事务模型的基础上,进一步发展了资源的“准”占用思想,提出了一种具备“事务意识”的新型资源协调算法,从而使系统性能有了较大提升.     

Web服务事务处理的模型化方法研究

Web服务技术的出现为解决跨组织的过程集成问题提供了一种模式。在集成和交互的过程中,Web服务需要事务的支持来保持数据的一致性。传统协议规范已经能够支持Web服务下的事务处理,但仍然存在着问题,比如不同事务处理规范之间兼容性处理、消息格式不匹配、补偿机制、超时和事务范围确立等问题还有待解决。本文介绍了一种Web服务系统的层次设计,并给出了一种Web服务事务处理的模型化方法。这种方法在设计初期就对事务的补偿机制、超时和事务范围这些问题进行考虑和解决,使事务处理过程更加清晰和直接。     

基于Activity Service的事务性Web的研究

当前Internet的发展趋势是事务性Web，这需要解决相关的Web服务的事务性语义问题，以保证Web服务整个处理流程的完整性和可靠性。传统的事务模型以及分布式对象事务系统不再适用于新的Web环境下的要求。在总结相关工作的基础上，本文提出利用LRUOW HLS模型以及扩展WSDL规范以实现并声明事务性Web服务；并研究了扩展AS基础系统结构以解决集成Web服务的事务性的可能性。     

Web服务事务QoS管理

随着Web服务在电子商务等应用领域的快速发展,Web服务中的QoS管理,特别是Web服务事务中的QoS管理,成了一个迫切需要解决的问题,它对于服务的提供商和用户都同样重要。但是Web的动态性、不可预见性等特点使得提供全面的QoS管理成为一个富有挑战性的工作。并且,现有的Web事务管理沿用了数据库的事务管理模式,不能提供深入全面的支持。为了加强QoS管理,该文提出了基于QoS管理的事务计算模型和基于QoS的主动两阶段提交协议QA-2PC。QA-2PC即使在操作系统和网络不能提供完全保障的前提下,也可以保证全面的质量服务。     

Web服务组合中商业事务处理的研究

Web服务组合已经成为业界的研发热点．在Web服务组合中，不同的成员Web服务之间存在着操作一致性和可靠性的处理要求，需要在Web服务组合中提供对于事务处理的支持．尽管目前业界已经存在许多的Web服务组合模型和描述语言，但是都没有提供对于事务处理的支持．本文分析了Web服务组合中的事务处理需求，通过扩展在Web服务组合描述语言中已经占据主导地住的BPEL4WS规范，在BPEL4WS中引入了对于主流的Web服务事务协议的支持，并在此基础上实现了一个原型系统TAWSCRS．     

一种扩充的π-演算及事务性等价关系研究

为了保证Web服务事务获得正确的执行和一致的结果,对Web服务事务处理的形式化研究是很重要的.现有研究集中在事务的建模和协议验证上,对事务特性仍缺乏深入研究.已有的事务建模方法主要采用增加额外的操作算子来描述事务补偿语义,而过于复杂的语法和迁移规则不利于对事务特性的进一步分析.在不增加新的操作算子的前提下,引入事务膜的位置概念来表示事务作用域,将进程的交互动作与消息相对事务膜的传递过程相关联,对π-演算进行扩充.结合进程行为的事务依赖性,提出了一种弱事务性开互模拟,来刻画可见事务行为的等价关系,利用互模拟等价理论分析了弱事务性等价关系的基本性质,为研究Web服务的事务特性提供了理论基础.     

一种基于服务过程行为的Web服务发现方法

现有的web服务发现方法主要是基于集中式拓扑,并且使用的服务描述仅仅是描述服务接口功能而忽略了过程相关信息。这无法保证服务组合的相容性,也无法满足组合事务无死锁的要求。同时,这些方法都无法避免高维护代价、单点失效和可扩展性差等问题。本文提出一种基于结构化对等网络的Web服务发现方法,引入确定性有限状态机DFSA,将服务过程行为描述用于服务匹配,从而避免了潜在的Web服务组合不相客和有利于服务组合的自动化。     

面向服务的多参与者协调事务建模方法

为了保证Web服务组合执行获得正确一致的结果,用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范(Web services transaction,WS-TX),提出了一种由业务流程执行语言(business process execution language,BPEL)自动生成Web服务多参与者协调事务模型的方法。介绍了Web服务协调的Pi-演算建模方法,阐述了如何由BPEL描述的业务流程建立服务协调事务模型,进一步给出了自动生成该协调模型的算法描述,并通过具体实例说明了该方法的正确性及可行性。     

一种Web服务环境下的事务保障框架

Web服务环境下的业务流程需要事务机制来保障其运行的可靠性和结果的一致性。本文分析了Web服务环境下事务的特点及挑战性问题,介绍了针对这些问题进行的相关工作。在综合这些工作的基础上提出了一个事务保障参考框架,并通过一个应用实例展现该框架如何支持业务流程的可靠运行。     

异构Web服务集成的转换协调机制

对异构Web 服务集成问题提出了一种Web服务集成的转换和协调机制,通过对异构Web服务进行转换和协调,将Web服务以统一的通用服务形式呈现给用户,有效地解决了Web服务间的异构问题,为大量Web服务的高效集成提供了一种通用机制。     

语义锁模式及死锁解除机制在Web服务中的应用

提出了一种Web服务环境中的语义锁模式,该锁模式通过事务申请的资源数量,动态控制加锁粒度,并且根据语义锁中的语义信息,提出了能够最大限度地减少企业经济损失的死锁解除机制,该模式增加了Web服务中事务间的并发度,降低了死锁发生的概率,从而有效提高了企业的经济效益。