摘要
为了解决在流程回退操作中产生的死锁和数据不一致问题,本文在全面分析各种回退场景的基础上给出了流程的形式化定义和确保回退正确性的规则集,提出了一个获取可回退目标活动列表的算法。最后,我们设计了一个有效支持工作流运行时回退的应用模型。该模型在开源工作流引擎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.
出处
《计算机工程与科学》
CSCD
2008年第5期88-91,101,共5页
Computer Engineering & Science
关键词
工作流
回退算法
流程死锁
数据一致性
workflow
rollback algorithm
process lock
data consistency
