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

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

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

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

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

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

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

　　3結束語

　　本文針對工作流系統(tǒng)中存在的異常問題，提出了基于WF-net和ECA規(guī)則的工作流異常處理模型及恢復策略。模型結合工作流網(wǎng)形式化的正確性驗證和ECA規(guī)則技術成熟實現(xiàn)簡單的優(yōu)點，實現(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.