基于ＷＦ－ｎｅｔ的工作流恢復網模型的研究

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

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

中圖分類號：TP311文獻標志碼：A

文章編號：1001-3695(2007)12-0068-04

在工作流系統中，出現異常是不可避免的。按照Mark Klein等人的定義，工作流異常是指對任何原協同處理過程的偏移，包括活動執行時遇到的錯誤，對活動和資源的變化缺少支持等^[1]。工作流異?？梢愿鶕惓５募ぐl源區分為外部異常和工作流異常^[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.

[5]DIVITINI M， SIMONE C. Supporting different dimensions of adaptability in workflow modeling[J].Computer Supported Cooperative Work(CSCW)，2000，9(3/4): 365-397.

[6]PERRY D E， ROMANOVSKY A， TRIPATHI A. Current trends in exception handling part I[J].IEEE Transactions on Software Engineering，2000，26(9): 817-819.

[7]PERRY D E， ROMANOVSKY A， TRIPATHI A. Current trends in exception handling part Ⅱ[J].IEEE Transactions on Software Engineering，2000，26(10): 921-922.

[8]曾浩，尹建偉，陳剛，等. 基于向后恢復的細粒度工作流事務管理[J].計算機輔助設計與圖形學學報，2005，17(16):1173-1178.

[9]孫志瑞，史美林. 工作流異常處理的形式描述[J].計算機研究與發展，2003，140(13):393-397.

[10]朱錦泉， 苑森淼. 基于事務的工作流異常處理模型及方法[J]. 吉林大學學報:工學版， 2003，33(3):46-50.

[11]高軍， 王海洋. 基于對象模型工作流的失敗處理與失敗恢復[J]. 軟件學報，2001，12(5):776-782.

[12]AALST W V D， HEE V K M. Business process redesign: a Petri－net－based approach[J].Computers in Industry，1996，29(1-2):15-26.

[13]AALST W V D. Three good reasons for using a Petri－net－based workflow management system[C]//Proc of International Working Confe－rence on Information and Process Integration in Enterprises (IPIC’96). Cambridge:[s.n.]， 1996.

[14]袁崇義.Petri網原理與應用[M].北京:電子工業出版社，2005:18-19.

[15]AALST W V D，HEE K M V.Workflow management:models，me－thods，and systems[M].London: The MIT Press， 2002:271-272.

[16]李慶忠， 王海洋， 姜躍平. 一種改進的主動規則的系統執行模型[J].軟件學報， 2002，13(1):111-117.

“本文中所涉及到的圖表、注解、公式等內容請以PDF格式閱讀原文”