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

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

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

　　關鍵詞：工作流恢復網模型; 異常處理; 工作流網; 事件—條件—動作; 數據依賴

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

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

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

　　3結束語

　　本文針對工作流系統中存在的異常問題，提出了基于WF-net和ECA規則的工作流異常處理模型及恢復策略。模型結合工作流網形式化的正確性驗證和ECA規則技術成熟實現簡單的優點，實現了工作流模型與異常處理模型的無縫結合，同時保持了工作流建模時的簡單性。

　　參考文獻：

　　[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.