%0 Journal Article
%T Application of the Situation Calculus in the Engine of Workflow
情景演算及其在工作流引擎中的应用
%A ZHANG Tao
%A LI Liang
%A HUANG Wei
%A LI lei
%A
章陶
%A 黎亮
%A 黄巍
%A 李磊
%J 计算机应用研究
%D 2005
%I
%X 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.
%K Situation Calculus
%K LR
%K Engine
%K Workflow
情景演算
%K LR
%K 引擎
%K 工作流
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=78B869C38E20B3C0&yid=2DD7160C83D0ACED&vid=BC12EA701C895178&iid=0B39A22176CE99FB&sid=4C100B7696CE9E24&eid=1B97AE5098AEB49C&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=10