基于自治服务协调的长事务处理框架

针对Web服务应用中大量的长事务处理请求,基于自治服务协调的长事务处理框架实现统一的信息资源管理和协调调度.框架通过将协调上下文广播到各个参与者,并协调参与者各自的操作,从而完成业务事务的处理.在多方参与的复杂业务规则下,框架能保证聚合事务处理过程中事务状态的一致性.     

FM-Que移动事务模型

在移动计算环境中，传统数据系统的事务处理模型不能较好地支持移动事务的处理，故有必要研究支持移动计算环境的移动事务模型及事务处理协议。针对移动计算环境的特点，提出了FM-Que移动事务处理模型及其处理协议。FM-Que模型通过采用事务队列机制，固定子事务和移动子事务思想来支持事务移动性和频繁断接性，采用多版本预提交方式来维护数据一致性。     

Web服务事务处理模型研究

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

服务网格中的事务服务及基于Petri网的正确性分析

面向服务的架构(SOA)推动着网格技术从科学计算走向商业领域,大部分商业应用需要事务的支持．该文提出了服务网格环境下用于事务管理的网格事务服务,它能够动态地发现执行子事务的网格服务;根据事务类型调用原子事务或聚合事务协调算法以保证这些服务在行动上实现期望的一致性．通过Petri网分析技术,将两种协调算法模型化为Petri网并验证了它们的正确性．网格事务服务可以提供较强的事务管理能力并将复杂的处理过程对用户透明,为网格技术的商业化提供了有效的支持．     

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

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

国家网格步入佳境

中国国家网格是聚合了高性能计算和事务处理能力的新一代信息基础设施试验床。从2005年初起,中国国家网格步入推进应用与完善环境的新阶段,其任务重点是如何支持和促进网格应用。     

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

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

移动事务处理中间件的研究与设计

移动计算环境下,传统的事务处理中间件已不再适用,移动事务所具备的特性应设计支持移动计算环境的移动事务处理中间件.基于FM-Que移动事务模型,采用组件软件模型设计了移动事务处理中间件,此中间件达到两方面的效果:移动环境的复杂特征和变化对应用透明,移动事务应用可以类似常规应用一样进行开发;应用程序可以利用中间件方便的了解上下文环境信息,有效地实现应用相关的自适应.     

面向内存数据网格的分布式事务保障机制

在线事务处理（online transaction processing,OLTP）应用面临并发量和数据量持续增长的问题,并且高并发读写操作使得后台数据库成为瓶颈。内存数据网格（in-memory data grid,IMDG）是基于内存的新型分布式数据访问平台,是解决系统数据库写操作瓶颈的有效技术途径之一。然而内存数据网格中数据访问操作涉及的数据分布是不可预知的,需要提供分布式事务保障。针对内存数据网格的系统特点,提出了一种分布式事务保障机制,设计实现了事务处理模型、请求处理和数据定位方法以及事务保障协议,并规范化地定义了客户端与服务器端以及服务器端之间的操作接口。在事务处理基准测试TPC-W上的实验结果表明,新机制可以提高在线事务应用的处理速度,并具备良好的扩展性。     

Web服务事务中的补偿机制研究与实现

可靠的web服务事务机制是面向服务的架构（SOA）中不可缺少的要素之一，它本身也需要有一定的恢复机制，其中非常重要的技术就是事务补偿。结合Web服务事务的特点，以及数据库系统中的触发器技术，可以为Web服务的事务处理模型提供一个半自动的事务补偿机制。     

Automatic Transaction Compensation for Reliable Grid Applications

Abstract As grid technology is expanding from scientific computing to business applications, service oriented grid computing is aimed at providing reliable services for users and hiding complexity of service processes from them. The grid services for coordinating long-lived transactions that occur in business applications play an important role in reliable grid applications. In this paper, the grid transaction service （GridTS） is proposed for dealing with long-lived business transactions. We present a compensation-based long-lived transaction coordination algorithm that enables users to select results from committed sub-transactions. Unlike other long-lived transaction models that require application programmers to develop corresponding compensating transactions, GridTS can automatically generate compensating transactions on execution of a long-lived grid transaction. The simulation result has demonstrated the feasibility of GridTS and effectiveness of the corresponding algorithm.     

网格服务环境下的一种事务处理模型

提出了网格服务环境下的一种可行性事务处理模型.首先提出了事务协调框架,在此基础上提出适用于该框架的针对特定事务类型尤其是长事务的协调协议,并对长事务的恢复技术进行了一定讨论.     

数据网格中面向服务的事务技术

讨论了数据网格的背景以及目前国内外的研究状况.并根据应用的需求,提出了数据网格中面向服务的事务管理观点.定义了服务事务在数据网格体系结构中的位置、功能和实现方案,阐述了原子事务和业务事务两类事务的实现协议,最后以一个原子事务的例子说明了一个服务事务的执行过程.     

On scheduling transactions in a grid processing system considering load through Ant Colony Optimization

Load balanced transaction scheduling problem is an important issue in distributed computing environments including grid system. This problem is known to be NP-hard and can be solved by using heuristic as well as any meta-heuristic method. We ponder over the problem of the load balanced transaction scheduling in a grid processing system by using an Ant Colony Optimization for load balancing. The problem that we consider is to achieve good execution characteristics for a given set of transactions that has to be completed within their given deadline. We propose a transaction processing algorithm based on Ant Colony Optimization (ACO) for load balanced transaction scheduling. We modify two meta-heuristic along with ACO and three heuristic scheduling algorithms for the purpose of comparison with our proposed algorithm. The results of the comparison show that the proposed algorithm provides better results for the load balanced transaction scheduling in the grid processing system.     

Web服务事务处理应用模型

本文利用Web服务的应用程序组件特性，配合分布式事务处理的两阶段提交机制，建立了一个Web服务与事务处理协调操作的应用模型。实际应用不需修改Web服务内部代码，特别有利于企业应用的后期维护和系统升级。     

组合服务事务的异常处理机制研究

服务组合目前已成为业界研究的热点,它为组织问应用集成提供了一种新的解决方案.在完全开放的Internet环境中,组合服务需要Web服务事务处理机制来保证其可靠性,而Web服务事务处理需要一种异常处理机制的支持.针对节点故障引起的异常给出多种异常处理策略,对其进行形式化描述,并给出了异常处理的算法.最后在此基础上提出一个可定制补偿操作及相关补偿规则的灵活的组合服务事务异常处理模型,并对其实现.     

移动事务处理技术研究进展

在移动计算环境中,移动用户能够随时随地访问所需的信息,移动计算环境应提供相应的事务处理能力。但是,由于移动计算环境的限制,移动事务不完全等同于传统事务。提出了移动事务的概念和特征,分析了移动事务处理的目标,讨论了典型的移动事务模型,并对这些移动事务处理模型进行了比较和总结。     

移动分布式实时嵌套事务提交

在移动分布式计算环境中,事务移动性和无线网络固有的缺陷使得传统的分布式实时事务管理机制不足以支持移动分布式实时事务的执行,故有必要为移动实时事务研究新的事务处理机制,以提高其成功率.着重研究移动实时事务的提交机制.首先,通过分析移动分布环境中实时事务的特点给出了一个基于功能替代的移动实时嵌套事务模型.然后,提出了一个基于此模型的三层提交结构以及能够保证移动实时事务原子性和结构正确性的三阶段实时提交协议3PRTC(three-phase real-time commit).性能测试表明,所提出的事务模型及其提交机制能够提高实时事务的成功率.