一种工作流运行时流程回退方法的研究与实现  

Research and Realization of Process Rollback in Workflow Run-Time

作　　者：张慧[1] 李建华[1] 许甸[1] 徐海军[1] 

机构地区：[1]中南大学信息科学与工程学院,湖南长沙410075

出　　处：《计算机工程与科学》2008年第5期88-91,101,共5页Computer Engineering & Science

摘　　要：为了解决在流程回退操作中产生的死锁和数据不一致问题,本文在全面分析各种回退场景的基础上给出了流程的形式化定义和确保回退正确性的规则集,提出了一个获取可回退目标活动列表的算法。最后,我们设计了一个有效支持工作流运行时回退的应用模型。该模型在开源工作流引擎Shark中得到了实现,并对流程可能出现的回退场景进行了验证。实验的结果和分析的结果一致。In order to solve the problem of process locking and data inconsistency in process rollback, a tormal defiition of process and the rollback rules are presented on the basis of analysing all scenarios, and a rollback algorithm of obtaining the list of all destinations is given. Finally, an efficient rollback model is designed. The model is implemented based on an open source workflow engine named Enhydra Shark, and is tested at all possible process scenarios. The experimental results are the same as those from the analysis.

关 键 词：工作流 回退算法 流程死锁 数据一致性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]