以情景演算理论为基础来研究工作流管理系统，形式化地将LR的状态对象扩展为状态表集合对象。给出了情景演算的归结算法和算法分析，说明了如何将情景演算应用到工作流引擎中，给出了实际应用系统，并分析了基于情景演算的工作流引擎的优点。