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

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