情景演算及其在工作流引擎中的应用

Application of the Situation Calculus in the Engine of Workflow

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

After researching the workflow management system using situation calculus theory,expands formally the LR from state-object to state-table-set-object. And gives the deduction arithmetic and analyzes the efficiency of the arithmetic. Expresses how to apply the situation calculus into the workflow engine. Gives an application system, and analyzes the advantage of workflow engine based on situation calculus.