事务工作流的建模和分析

事务工作流由若干个事务组成 ,其执行满足松弛原子性 .只有良构的事务工作流才能保证所有执行均满足松弛原子性 .事务具有不同的可补偿特性和可重复特性 ,在包含多种控制结构的复杂事务工作流中 ,事务之间组合失配问题可能造成事务工作流的非良构性 .该文给出了事务工作流模型及良构性的形式化定义 ,提出了一个良构性判断定理 ,通过一种构造性的方法来有效地验证事务工作流的良构性 ,还设计了事务工作流的描述语言ISWDL并实现了良构性验证器 .

一种层次式的事务工作流失效恢复算法

部分补偿和完全补偿是事务工作流失效恢复的传统补偿方法 ,对于长期运行且结构复杂的事务工作流 ,失效时需要补偿至静态定义的某一活动甚至起始活动 ,因此代价较大 .给出了事务工作流的概念模型 ,提出了一种层次式的失效恢复算法 .与传统方法相比 ,允许事务性或者非事务性子过程同时存在 ;将工作流看作由嵌套结构的子过程组成 ,而不是一个平坦流图 ;基于执行历史而不是工作流定义进行补偿 ,可简化循环结构的恢复 .该算法针对活动的恢复策略进行层次式的向上规约处理 ,动态确定补偿终止点 ,可有效减小补偿域 .证明了算法的正确性 ,性能分析表明其性能通常优于非层次的失效恢复算法 ,讨论了算法的实现 .

基于混合粒度冲突检测的事务工作流调度算法

事务工作流由若干个平面事务组成,其执行满足松弛原子性.由于组成事务工作流的平面事务具有不同的完成特性,为了防止不可串行化的执行,现有的调度算法通常只允许一个活动工作流执行不可补偿事务,这大大限制了并发度.定义了基于事务类型和事务实例两种粒度的冲突关系,并提出了一种基于这两种粒度冲突检测的调度算法,保证了并发事务工作流的可串行化和可恢复执行.该算法从两个方面提高了并发度:一方面通过事务实例之间(细粒度)的冲突检测减少了工作流冲突的概率;另一方面通过事务类型之间(粗粒度)的冲突预测,允许多个将来不冲突的工作流执行不可补偿事务.

基于家态的多事务工作流完整性分析

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.基于工作流的Petri网结构化建模方法,研究了同一品质多事务工作流的Petri网模型,分析了模型处理多种事务的能力,对以往研究中的不足和错误进行了补充和更正,给出了基于家态的模型结构完整性验证的一个充要条件.所得结果为工作流模型分析和验证提供了理论基础和依据,对于分析工作流系统处理事务的能力,提高事务处理效率有重要意义.

基于隔离域的事务工作流并发控制

事务工作流系统中存在多个流程的多个实例同时并发执行的情况,所以多个活动同时访问共享资源时出现访问冲突。为保证流程的正确执行和提高活动的并发度,基于事务的隔离性特征,提出了隔离域的概念和相关属性,并在建模阶段采用业务流程和事务需求分开定制的方式,通过设置隔离域的隔离属性来控制各流程实例并发活动的执行,并且给出了基于隔离域的并发控制算法,从而有效地提高了流程和活动的并发度,并避免丢失修改等现象的发生。

基于事务工作流的并行测试程序运行管理机制

并行自动测试系统中,并行测试程序的运行管理是系统设计中的关键问题。由于该类系统的强异构性特征和特殊的运行监管要求,常规的基于多计算机系统的任务管理机制不适于并行自动测试系统。以事务工作流描述并行测试任务运行管理模型,在此基础上,提出了基于事务工作流的并行测试任务运行管理机制,最后,给出了运行管理调度的算法实现思路。

一种基于QoS的事务工作流并发调度算法

并发冲突引起的连锁夭折会降低系统性能,提出了一种基于QoS的事务工作流调度算法,该算法适应异构环境需求,支持基于QoS的延迟调度优化策略和SAFE集合扩充优化策略,可根据QoS参数调整相应的调度决策,在保证分布异构环境中复杂事务工作流并发正确性的同时减少连锁夭折.证明了算法不会引起循环等待和饿死现象,可保证调度的可串行性和可恢复性,性能模拟表明该算法适用于长期运行的事务工作流的并发调度,可有效减少连锁夭折,从而减少由此带来的性能损失.

ITWM事务工作流模型研究

事务工作流是把数据库中的事务概念引入到工作流领域,在最近的工作中Derks[1]给出新的事务工作流模型,实现了工作流的过程定义与工作流的事务模型定义相分离,然而实际情况下不同的task具有不同的执行特性,所以Dersk模型中由多个task组成的原子域不能保证是良构的.事务模型解决了这个问题,并在新的模型的基础上提出了良构性的判定方法,并对判定方法做了形式化的描述.

事务工作流WfSaga及其建模工具

以扩展事务模型Saga和Flexible为基础,引入可替换事务和平凡事务等事务种类,借用传统事务恢复机制“保存点”的思想,提出了支持分布式工作流应用的可靠事务工作流模型WfSaga,以Java图形操作为基础,设计了图形化建模工具并用基于XML的过程定义语言对模型进行了描述,最后对模型的正确性验证进行了讨论。

一种基于约束的事务工作流并发控制方法

在辽河流域水环境管理中,许多业务流程操作都满足事务的特性。传统工作流系统中并发控制的实现主要是依据对共享数据项的存取控制,当用来处理事务工作流时会影响系统的效率,因为有的业务流程可能持续的时间比较长,这样它对共享数据项的占有时间就会很长而导致其他流程不能继续流转。为解决这一问题,借助类似于处理器中指令流水的思想研究了一种事务工作流的并发控制方法,并在此基础上建立了总体设计模型,借助并发控制器和任务管理器来高效调度工作流。在保证工作流执行正确的前提下,引入约束的概念来实现事务工作流的并发控制,从而提高系统的性能和效率。

基于Saga模型的事务工作流实现机制

基于Saga的事务工作流实现机制结合了扩展事务模型和Saga事务模型的特点。当任务执行出现异常时,需清除已执行任务产生的影响后才能终止任务的执行,其前向恢复通过异常控制机制实现,后向恢复则通过事务补偿实现。在事务全部处于初始化状态时启动工作流流程,每个活动被依次选择执行并返回其代码,若全部成功执行则结束,若执行发生异常则后向恢复模块有效,进入事务控制模式。并构造了采用该事务工作流实现机制的工作流引擎。

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

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

一种基于语义控制的长事务工作流模型

在工作流系统中,长事务普遍存在,现有借鉴数据库事务处理方法的事务模型在对工作流长事务进行处理时存在着一定的局限性。为了解决工作流中长事务的共享资源访问控制和冲突解决效率等问题,在新模型中引入了语义控制协议,强调人的参与在事务处理中的重要性,并结合一致性状态和日志,能够有效的提高解决冲突的灵活性和效率、缩小事务规模和降低事务回滚的代价。

工作流事务性研究综述

阐述了工作流中事务性的起源和发展,讨论了事务工作流在建模阶段将业务模型与事务性相结合所采用的主要方法,总结了事务工作流中并发控制机制和采用的各种调度算法,研究了事务工作流的错误恢复机制,概括了广泛应用的补偿机制的研究现状,论述了面向Web服务工作流事务性的特点及相关研究,并展望工作流事务性未来的研究方向。

基于依赖关系的事务工作流模型研究

事务工作流是把数据库中的事务概念引入到工作流领域。典型的事务工作流由于采用向前回滚或者向后回滚的方式来保证原子性,所以对任务的事务特性和执行顺序要求过于严格,并不能很好地定义实际应用中用户对事务的各种需求。为了提高事务工作流的扩展性,提出了基于依赖关系进行事务工作流建模的方法,并从任务的状态出发,总结了任务之间执行顺序的依赖关系,根据依赖关系的不同类型和依赖的特性给出了调度算法。

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

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

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

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

工作流事务的形式化描述和实现

工作流事务是工作流技术本身亟待解决的难题之一,现有的众多工作流事务模型大多使用操作性的非形式化方式描述工作流的复杂语义,极大地限制了它们在复杂场景中的可用性,为此将事务的形式化描述和工作流的实际应用联系起来,提出了一种在工作流环境下管理长事务的方法.这种方法建立在事务补偿的基础上,通过允许过程出现环结构来处理任意过程结构,并通过引入一致点实现过程的部分补偿.形式化的事务模型描述以及基于集合论和图论表示的事务管理算法为工作流系统提供了清晰无歧义的事务语义.

工作流事务原子性研究

传统的工作流管理系统事务处理能力不足,使得系统在失败时不能尽快恢复流程的执行。实现事务工作流原型系统,通过扩充建模功能,在建模阶段指定失败处理模式,当任务执行失败时,系统自动调用事务处理算法保证工作流事务的放松的原子性及数据的一致性和正确性,减少人工参与决策的工作。实验表明,引入了事务处理功能的工作流系统具有任务执行失败后快速恢复的能力。

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

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