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