中文核心期刊目錄投稿研究基于WF-net的工作流恢復(fù)

　　本篇文章是由《計算機(jī)教育》發(fā)表的一篇計算機(jī)論文，雜志是由國家教育部主管，清華大學(xué)主辦，面向國內(nèi)外發(fā)行的直接面向中高端計算機(jī)教育事業(yè)的國家級期刊。被教育部高校計算機(jī)教學(xué)指導(dǎo)委員會、教育部高等學(xué)校文科計算機(jī)基礎(chǔ)教學(xué)指導(dǎo)委員會、全國高校計算機(jī)教育研究會、全國高校計算機(jī)基礎(chǔ)教育研究會、中國計算機(jī)學(xué)會、中國計算機(jī)用戶協(xié)會等指定為特別推薦刊物。

　　摘要：針對工作流系統(tǒng)中存在的異常問題，提出了一個基于WF-net和ECA規(guī)則的工作流恢復(fù)網(wǎng)模型，給出了模型元素與ECA規(guī)則的映射關(guān)系。模型在設(shè)計時采用WF-net結(jié)構(gòu)，運(yùn)行時通過預(yù)定義的操作函數(shù)動態(tài)調(diào)整工作流結(jié)構(gòu)。采用基于任務(wù)的恢復(fù)策略，利用ECA規(guī)則自動處理可預(yù)測異常;考慮任務(wù)間的數(shù)據(jù)依賴，采用人工恢復(fù)策略處理不可預(yù)測異常。

　　關(guān)鍵詞：工作流恢復(fù)網(wǎng)模型; 異常處理; 工作流網(wǎng); 事件—條件—動作; 數(shù)據(jù)依賴

　　在工作流系統(tǒng)中，出現(xiàn)異常是不可避免的。按照Mark Klein等人的定義，工作流異常是指對任何原協(xié)同處理過程的偏移，包括活動執(zhí)行時遇到的錯誤，對活動和資源的變化缺少支持等[1]。工作流異常可以根據(jù)異常的激發(fā)源區(qū)分為外部異常和工作流異常[2];根據(jù)異常的可預(yù)測性區(qū)分為可預(yù)測異常和不可預(yù)測異常[3]等。

　　為了建立一個正確強(qiáng)健的工作流模型，不僅要求系統(tǒng)在正常情況下能順利運(yùn)行，更需要系統(tǒng)對運(yùn)行時出現(xiàn)的異常能夠進(jìn)行有效處理，以提高整個工作流系統(tǒng)的柔性。因此工作流異常處理是工作流系統(tǒng)設(shè)計和工作流執(zhí)行中要解決的關(guān)鍵問題之一。文獻(xiàn)[4,5]從提高工作流模型適應(yīng)性角度提出了工作流模型在執(zhí)行過程中的動態(tài)修改策略以處理異常;文獻(xiàn)[6,7]也為工作流異常處理提供了更多的參考手段。近年來國內(nèi)學(xué)者就此進(jìn)行了初步研究，但主要集中在分析描述異常處理的具體方法策略上[8,9]。雖然文獻(xiàn)[10,11]中分別提出了基于事務(wù)的工作流異常處理模型和基于對象的工作流模型并給出了異常處理策略，但由于異常處理模型與工作流模型分離，在實(shí)現(xiàn)異常處理的同時卻增加了兩者整合的難度，在實(shí)踐上帶來了很大局限性。

　　本文首先定義了一個基于工作流網(wǎng)(WF-net)和ECA規(guī)則的工作流恢復(fù)網(wǎng)模型。它不僅使得WF-net形式化的正確性驗(yàn)證[12,13]和ECA規(guī)則的技術(shù)成熟實(shí)現(xiàn)簡單，形成優(yōu)勢互補(bǔ)，而且實(shí)現(xiàn)了工作流模型與異常處理模型的無縫結(jié)合。在此模型的基礎(chǔ)上主要對可預(yù)測和不可預(yù)測異常處理進(jìn)行討論，并給出了基于任務(wù)的恢復(fù)策略及實(shí)例。

　　3結(jié)束語

　　本文針對工作流系統(tǒng)中存在的異常問題，提出了基于WF-net和ECA規(guī)則的工作流異常處理模型及恢復(fù)策略。模型結(jié)合工作流網(wǎng)形式化的正確性驗(yàn)證和ECA規(guī)則技術(shù)成熟實(shí)現(xiàn)簡單的優(yōu)點(diǎn)，實(shí)現(xiàn)了工作流模型與異常處理模型的無縫結(jié)合，同時保持了工作流建模時的簡單性。

　　參考文獻(xiàn)：

　　[1]KLEIN M, DELLAROCAS C. A knowledge-based approach to handling exceptions in workflow systems [J].Computer Supported Collaborative Work(CSCW), 2000,9(3/4):399-412.

　　[2] CHIU D K W,LI Q,KARLAPALEM K. A meta modeling approach to workflow management system supporting exception handling[J].Information Systems,1999,24(2):159-184.

　　[3]EDER J, LIEBHART W. The workflow activity model WAMO[C]//Proc of the 3rd IntConference on Cooperative Information Systems (CoopIS). Austria:[s.n.],1995:87-98.

　　[4]KAMMER P J, BOLCER G A, TAYLOR R N, et al. Techniques for supporting dynamic and adaptive workflow[J].Computer Supported Cooperative Work(CSCW), 2000,9(3/4):269-292.