Application of the Situation Calculus in the Engine of Workflow
情景演算及其在工作流引擎中的应用

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.