摘 要:以情景演算理論為基礎(chǔ)來研究工作流管理系統(tǒng),形式化地將LR的狀態(tài)對(duì)象擴(kuò)展為狀態(tài)表集合對(duì)象。給出了情景演算的歸結(jié)算法和算法分析,說明了如何將情景演算應(yīng)用到工作流引擎中,給出了實(shí)際應(yīng)用系統(tǒng),并分析了基于情景演算的工作流引擎的優(yōu)點(diǎn)。
關(guān)鍵詞:情景演算;LR;引擎;工作流
中圖法分類號(hào):TP301.6
文獻(xiàn)標(biāo)識(shí)碼:A
文章編號(hào):1001—3695(2005)02—0158—03