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

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

工作流中的长事务模型

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

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

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

工作流中的事务问题的研究和设计

本文描述了基于补偿事务方法的一个工作流系统中解决事务问题的框架和运行环境,它可以使工作流内部相关的任务集合能可靠地执行和被监控。在这个框架下,工作流系统提供了基本的,可行的事务能力,能保证工作流中数据的一致性。该系统是一个开放的,通用的系统:它的设计是基于CORBA体系结构的分布式系统,系统利用了中间件技术来为长期运行的分布式应用提供了健壮的执行环境。     

一种支持工程设计事务的乐观并发控制方法

传统乐观并发控制方法对工程设计事务支持较弱。该文以嵌套事务模型为基础并结合检入＝检出机制,提出一种改进的乐观并发控制方法,能够较好地解决传统乐观并发控制方法在工程设计务应用上存在的问题并提高了事务的并发度。     

工作流中的事务问题的研究和设计

本文描述了基于补偿事务方法的一个工作流系统中解决事务问题的框架和运行环境,它可以使工作流内部相关的任务集合能可靠地执行和被监控.在这个框架下,工作流系统提供了基本的,可行的事务能力,能保证工作流中数据的一致性.该系统是一个开放的,通用的系统:它的设计是基于CORBA体系结构的分布式系统,系统利用了中间件技术来为长期运行的分布式应用提供了健壮的执行环境.     

事务工作流模型中恢复策略的研究

阐述工作流中事务的起源和发展,针对目前工作流模型对事务处理方面的不足,提出一种具有事务支持的工作流过程元模型.该模型不仅支持过程的层次结构,并且引入隔离域及错误恢复属性概念,从语义的角度进行了扩展.同时,分析了事务工作流中并发控制机制和各种调度算法,重点研究并提出了事务工作流的错误恢复策略和错误恢复算法.最后,对算法进行了实例分析,验证了该算法是可行和实用的.     

基于过程模型的动态工作流的研究

为了使工作流系统在执行过程中支持动态可变性,分析了工作流过程定义阶段及流程执行阶段的动态性特征,提出了基于过程模型的动态工作流,并在动态工作流元模型中定义相应的操作原语和操作规则,采用动态建模的方法实现了工作流模型的动态演变.     

混合的实时嵌套事务并发控制协议

嵌套事务作为扩展事务模型的一种,提供了事务内部的并行性和更好的失败恢复选择,具有较为广泛的应用,然而却给事务并发控制带来了更高的复杂性,尤其在实时数据库中事务具有时间限制.针对实时嵌套事务模型,提出了一种混合并发控制协议,对同一事务树内的子事务采用锁协议,对不同事务树之间的事务采用基于动态调整串行化顺序的乐观并发控制协议,提高了事务的成功率,最后证明了协议的正确性.     

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

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

基于Web服务的工作流事务处理研究

工作流技术在实现业务流程自动化和企业应用集成等方面有着广泛的应用.基于Web服务的工作流管理系统运行在异构、自治、分布的复杂环境中,其自身的正确性和可靠性成为整个应用软件系统成败的一个关键因素.在工作流管理系统中对事务处理提供支持就是保证系统正确性和可靠性的一个重要方法,文章提出了具有良好事务处理能力的工作流事务原型系统WTBWS.     

扩展的信牌驱动模型中配对结构之研究

在分层的工作流模型研究的基础上，指出了WPDL中AND-JOIN的语义问题，并在扩展的信牌驱动模型层，对配对结构进行了系统、深入的研究．形式地定义了最宽泛的配对概念和严格的正则配对的概念，分析了它们各自的优缺点．然后定义了一个既有严格语义、性能可以确定，但要求相对宽泛、相对比较实用的扩展正则配对的概念．利用此概念，严格地定义了扩展的信牌驱动模型．     

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

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

工作流技术综述

工作流技术是进入90年代以后计算机应用领域的一个新的研究热点.对工作流技术进行深入的研究对于提高我国企业的信息化程度、运行效率以及竞争能力都有着重要的意义.该文首先介绍了工作流技术的起源与发展;然后对工作流的研究现状进行综述,主要包括工作流定义、工作流模型、工作流实现方案以及工作流事务管理这4个方面;同时分析了目前工作流技术中所存在的不足以及造成这些不足的根本原因;最后指出了工作流技术的未来发展趋势.     

事务处理技术研究综述

事务处理技术是保证信息一致性和可靠性的关键技术．首先阐述了事务处理技术的起源与发展,总结了并发与恢复两个核心技术的研究现状,探讨了平坦事务模型的各种表现形式,接着研究了各种扩展事务模型和事务工作流,概括了多库、面向对象数据库、实时数据库和移动数据库等现代数据库中的事务处理技术,分析了相关研究的进展,最后结合已有的研究成果,展望了其未来研究方向及面临的挑战．     

一种提高系统柔性的工作流模型

工作流技术是实现过程集成的有效途径之一，其研究和应用日益受到重视。工作流模型是工作流技术的重要组成部分，本文介绍了一种基于活动网络的柔性工作流模型，从模型的角度描述了组成工作流的基本元素类型及图形表示，讨论了此工作流模型的形式定义，并给出了一个工作流模型的例子。     

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

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

信牌驱动的多Agent流程协调及异常处理研究

信牌是工作流活动协调的工具,但对参与者的协调分析不足。另一方面,agent具有自主、智能的特点,与流程的参与者类似。在提出信牌驱动的多agent流程模型的基础上,对多agent流程模型中的异常状况进行讨论。运用流程中的知识结合异常案例的相似匹配算法,并对信牌进行进一步扩展,提出一种基于知识流的半主动式流程异常处理机制,为流程中的异常提供了解决方案。