• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2008, Vol. 30 ›› Issue (5): 88-91.

• 论文 • 上一篇    下一篇

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

张慧 李建华 许甸 徐海军   

  • 出版日期:2008-05-01 发布日期:2010-05-19

  • Online:2008-05-01 Published:2010-05-19

摘要:

为了解决在流程回退操作中产生的死锁和数据不一致问题,本文在全面分析各种回退场景的基础上给出了流程的形式化定义和确保回退正确性的规则集,提出了一个获取可回退目标活动列表的算法。最后,我们设计了一个有效支持工作流运行时回退的应用模型。该模型在开源工作流引擎Shark中得到了实现,并对流程可能出现的回退场景进行了验证 。实验的结果和分析的结果一致。

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

Abstract:

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 ro llback model is designed. The model is implemented based on an open source workflow engine named Enhydra Shark, and is tested at all possible process sc enarios. The experimental results are the same as those from the analysis.

Key words: workflow, rollback algorithm, process lock, data consistency