基于Sagas模型的改进事务工作流模型

Sagas模型要求所有子事务都要有对应的补偿子事务,任何子事务失败必须强制其它所有子事务失败,不能很好支持多事务多实例的并发执行。这三个缺陷使得Sagas模型至今不能运用到商业工作流系统中。针对Sagas模型的缺陷,提出一种改进的Sagas事务工作流模型,对子事务属性进行了分类并通过构造子事务间的关联关系使得可补偿子事务失败时无需强制所有子事务失败;引入补偿服务完善了工作流模型的语义;给出了基于事务实例锁集和后继子事务类型集的多事务多实例并发运行算法。该模型解决了Sagas模型存在的问题。     

面向长事务的事务性工作流系统的研究与实现

事务性工作流一直是工作流的研究热点之一，通过对saga模型和事务的状态进行分析，扩展到对工作流的状态分析，从而通过事务性工作流的状态的控制，实现事务的管理。文中提出了基于saga事务模型的一种事务性工作流引擎模型用于解决商业流程中的长事务问题。     

工作流中的长事务模型

本文首先分析了工作流长事务的特性,并针对工作流中频繁出现的长事务问题基础上提出了一种多层事务模型FLTM。该事务模型并不要求所有事务都遵循严格的ACID特性,它可以刻画从松弛到严格的各种事务要求,用户可以根据具体的应用定制事务补偿的终点和事务失败时的处理方式。本文给出了松弛的原子性、一致性和隔离性的定义,并形式地描述了FLTM事务的补偿和执行过程。     

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

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

工作流管理系统中事务设计与实现

工作流管理系统利用工作流的事务管理功能,保证这些被集成的不同的应用流程、不同的应用功能的每一次计算的正确性,进而保证全系统的正确性.本文对工作流管理系统中的事务和事务处理进行了深入的研究,提出了一组事务恢复执行模式和算法.     

面向资源的工作流事务模型

1 概述计算机辅助的工作流(workflow)可定义为发生于分布、异质系统环境下的一系列程序的调用和数据的交换。近年来出现的大批工作流管理系统(WFMS),包括我们开发的基于多Agent虚拟组织框架的工作流管理系统SaFlow,为工作流程的协商、调度、组织、控制、用户接口、监测、分布式、异质等方面提供了强大的支持;从软件工程的角度,作为工作流程     

基于Sagas模型的改进事务模型

在Sagas事务模型中,一个长事务是由一个预先定义好执行顺序的子事务集合和他们对应的补偿子事务集合组成的。子事务是按照顺序依次执行的,当其中的某个子事务出现异常时,就逆序执行已提交过的子事务对应的补偿事务来撤销他们的操作结果并退出。这样做会产生三个问题,第一是当一个不重要的子事务出现异常时,就需要撤销全部已提交的事务;第二是事务在完成补偿事务后会退出,而不是选择更有效的执行手段;第三是该模型只支持所有子事务都有相应的补偿子事务的情况。针对这三个问题,提出了相应的解决方案。     

一种乐观嵌套工作流事务模型

为解决目前工作流事务管理的不足和存在的问题,本文基于多数据版本、三阶段执行的并发控制理论提出了一种乐观嵌套工作流事务模型,该事务模型借用时间戳的概念,通过对不同事务中活动类型的分类,较好地解决了长执行事务和协同事务的可靠性和正确性问题,提高了工作流处理的效率。乐观嵌套事务模型把嵌套事务、工作流模型和并发控制协议有机地结合在一起,定义了较为完整的事务操作原语及其语义。本文还给出了乐观事务模型到工作流模型的映射,使得事务工作流执行过程中,其操作原语和乐观事务模型的操作原语是一致的,工作流活动的转移控制与乐观嵌套事务模型的子嵌套事务的生成过程及其表示方式也是一致的。     

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

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

乐观嵌套工作流事务模型的形式化描述

本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论：1）利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2）在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的。     

基于CORBA的银行代理业务系统的研究

该文在实践的基础上,针对银行代理业务的分布化和专业化的特点,提出了基于CORBA技术的银行代理业务系统平台的解决方案,并详细阐述了关键技术的原理和实现过程。     

基于WEB的比价交易代理模式的研究

文中提出了一种为了检索万维网上的信息机制并构建了一个关系数据库。解决这个问题分三步:处理了基于HTML的WEB页面的困难;从WEB页面上抽取指定的信息并整合成结构化的文档;给出了把结构化的文档转换成相关的数据表的算法。满足了用户以最小代价、最短时间买到适合自己的商品。     

协同服务中事务处理模型分析方法

提出一种基于随机Petri网的协同服务事务处理模型与分析方法,分析企业协同服务中几个最具代表性的事务处理流程。以电子商务系统中的物流系统为例,分别对加入事务处理前后的流程应用模型进行等价化简,从而得到2类流程模型,并利用随机Petri网的性能评价方法,对比分析加入事务处理前后系统业务响应时间和吞吐量。     

一种基于移动Agent的事务处理模型

本文简要分析了C／S模式下事务处理存在的不足,提出了一种基于移动Agent的事务处理模型。该模型一方面满足了事务处理的ACID即原子性、一致性、隔离性和持久性四个方面的要求;另一方面,应用移动Agent部分克服了事务对客户机、服务器及网络环境的依赖。     

事务性工作流中的长事务处理方法研究

在具有多个应用协作以及长周期事务的复杂信息环境中,针对短事务设计的事务性工作流表现出一定的局限性。在分析了现有长事务处理方法的不足后,基于事务对象层次网络的定义,该文提出了一种长事务处理的最小原子汇集法,介绍了最小原子事务汇集策略及最小原子范围的确定过程,以一个注塑模具产品开发过程的案例验证了该方法的有效性。     

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

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

基于Saga的事务模型在工作流系统中的设计与实现

对工作流管理系统中的事务和事务处理进行研究,明确工作流管理系统中事务处理需要解决的问题的重点与难点。在此基础之上,对工作流管理系统中的长事务进行拆分,提出一个具有事务支持的工作流模型和一组事务恢复执行模式。