基于BPEL和ws-Tx的Web服务组合事务协调框架研究

针对当前Web服务事务协调框架中缺乏对服务组合流程定义的支持而需要在协调过程中手动定义业务流程的问题,提出了一种支持流程和事务语义自动抽取的服务组合事务协调框架。该框架从扩展了事务语义的业务流程执行语言(Business Process Execution Language,BPEL)中抽取协调信息,并结合Web服务事务规范(Web Services Transaction,WS-TX)所定义的协调器实现了服务组合的全局事务协调。通过将WS-TX在事务协调和BPEL在业务流程设计方面的优势相结合,该框架将业务逻辑与事务处理逻辑有效地分离。最后通过实例分析说明了该框架的可行性。     

Web service的事务协调框架研究与实现

提出并实现了一种Web服务的事务协调框架,DTCF（Distributed Transaction Coordination Framework）。该模型基于嵌套事务模型和协调思想,将局部事务的实现细节进行封装,不同局部事务可采用不同的并发控制和恢复技术,而对全局事务则采用完全分布的管理机制进行管理。DTCF是一种可重用的框架,实验结果表明其可用性。     

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

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

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

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

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

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

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

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

组合Web服务事务的补偿语义研究

Web服务组合需要可靠的事务处理机制,而目前仅依赖传统的ACID机制进行组合事务处理无法满足需要。为此提出一种基于配对Petri网的结构化补偿方法,该方法基于配对Petri网描述基本聚合结构的Web服务组合及其补偿行为。借助配对Petri网的动态执行推演技术分析了聚合结构补偿的执行语义,分析表明该方法可用于可靠业务流程组合、聚合补偿和组合流程优化等方面。     

面向Web服务组合的pivot事务嵌套模型??

Web服务组合中的事务具有执行周期长的特性,一个全局事务会被划分为多个分布的子事务。各个子事务对全局事务而言具有不同的重要程度,关键子事务执行的成功与否,直接影响到全局事务执行的成败。另一方面,对某些出现故障的事务需要进行补偿,而执行过多的补偿事务会带来巨大的补偿开销。针对这些问题,提出了一个基于pivot事务的嵌套事务模型,模型中的事务分为pivot事务和非pivot事务,且含有至少一个pivot事务。同时基于该模型,给出了一个pivot事务优先调度（pivot transaction priority scheduling,PTPS）算法,通过优先执行pivot事务,来减少在pivot事务失败时执行的补偿事务数目,降低补偿开销。     

Web服务组合事务处理研究与实现

通过重用已有的服务进行服务组合来实现应用集成;而保证服务组合的事务特性是实现服务组合的关键。文中提出一个Web服务组合事务处理模型,将BPEL（Business Process Execution Language,业务流程执行语言）的流程设计与WS—C／T（Web Services Coordination/Transaction, Web服务协调／事务）规范结合。该模型主要由客户端、BPEL执行引擎、事务协调器和参与者四个部分组成。客户端发起请求,BPEL执行引擎响应请求并开启事务,事务协调器和参与者根据事务协调算法完成事务协调。     

Web服务事务QoS管理

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

Web Services事务非阻塞2PC模型的实现与测试

在改进BTP 2PC with timeouts的timeout设定及相关时序的前提下，提出了一类面向细粒度事务终止特性的非阻塞扩展2PC模型（Tx2PCt）。提供了Tx2PCt事务处理模型于主要商业开发平台环境（Microsoft .Net）上的测试实例及分析。测试结果支持了Tx2PCt 事务协议的前提设定的合理性，印证了Tx2PCt在事务吞吐量方面的表现与预期相吻合。     

基于失败代价风险值的Web服务事务调度算法

针对Web服务组合中可能存在的巨大补偿代价和不可补偿的Web服务问题,定义Web服务失败代价风险值,提出基于Web服务时间约束和失败代价风险值的Web服务动态提交算法——WSDSA,采用理论证明和仿真实验的方法,证明WSDSA和传统子事务执行后立即提交的方法相比,能有效降低Web服务组合的失败代价,减少不可补偿Web服务需要补偿的次数。     

基于并发事务逻辑的语义Web服务组合

并发事务逻辑(Concurrent Transaction Logic,CTR)是一种谓词逻辑的扩展,支持语义Web服务自动组合的推理。采用并发事务逻辑作为表示和推理工具,给出了OWL-S功能和行为两个方面的Web服务组合方法。基于并发事务逻辑的执行语义及其Horn子集的过程式语义,提出了一个多项式时间的服务组合算法,从而降低了服务组合推理的复杂性,为解决当前许多主流语义Web服务组合方法不支持并发行为建模的问题提供了新思路。     

Web服务合成研究综述

Web服务的发展将Web应用从信息交互领域扩展到了服务交互领域。Web服务诸多的特性使得它非常适合于商务应用集成,因此工业界和学术界都希望能够通过合成多个Web服务从而获得增值的新服务。在服务合成的过程中,不仅需要语义清晰的服务描述语言和直观的建模方法,并且应该能够动态地发现构件服务,顺利地执行复合服务以及对其进行事务处理。此外对Web服务合成的分析评估也将有助于理解复合服务中每一项活动的行为,从而促使不断改进服务合成技术。     

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

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

基于Internet工作流的复合Web服务框架

实现灵活方便的企业业务集成一直是信息领域的核心问题，也是B2B电子商务应用的关键．为此将Web服务和传统的工作流技术相结合，设计并实现了支持复合Web服务运行和管理的框架WSFlow．给出了WSFlow的总体结构，描述了其中的关键技术，包括Web服务与工作流活动的动态配置和绑定技术，复合Web服务流程的动态修改以及复合Web服务的运行监控等技术．