流恢復(fù)網(wǎng)模型范文

本站小編為你精心準(zhǔn)備了流恢復(fù)網(wǎng)模型參考范文，愿這些范文能點(diǎn)燃您思維的火花，激發(fā)您的寫作靈感。歡迎深入閱讀并收藏。

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

關(guān)鍵詞：工作流恢復(fù)網(wǎng)模型；異常處理；工作流網(wǎng)；事件—條件—?jiǎng)幼鳎粩?shù)據(jù)依賴

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

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

本文首先定義了一個(gè)基于工作流網(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é)合，同時(shí)保持了工作流建模時(shí)的簡單性。

參考文獻(xiàn)：

[1]KLEINM,DELLAROCASC.Aknowledge－basedapproachtohandlingexceptionsinworkflowsystems[J].ComputerSupportedCollaborativeWork(CSCW),2000,9(3/4):399-412.

[2]CHIUDKW,LIQ,KARLAPALEMK.Ametamodelingapproachtoworkflowmanagementsystemsupportingexceptionhandling[J].InformationSystems,1999,24(2):159-184.

[3]EDERJ,LIEBHARTW.TheworkflowactivitymodelWAMO[C]//Procofthe3rdIntConferenceonCooperativeInformationSystems(CoopIS).Austria:[s.n.],1995:87-98.

[4]KAMMERPJ,BOLCERGA,TAYLORRN,etal.Techniquesforsupportingdynamicandadaptiveworkflow[J].ComputerSupportedCooperativeWork(CSCW),2000,9(3/4):269-292.

[5]DIVITINIM,SIMONEC.Supportingdifferentdimensionsofadaptabilityinworkflowmodeling[J].ComputerSupportedCooperativeWork(CSCW),2000,9(3/4):365-397.

[6]PERRYDE,ROMANOVSKYA,TRIPATHIA.CurrenttrendsinexceptionhandlingpartI[J].IEEETransactionsonSoftwareEngineering,2000,26(9):817-819.

[7]PERRYDE,ROMANOVSKYA,TRIPATHIA.CurrenttrendsinexceptionhandlingpartⅡ[J].IEEETransactionsonSoftwareEngineering,2000,26(10):921-922.

[8]曾浩,尹建偉,陳剛,等.基于向后恢復(fù)的細(xì)粒度工作流事務(wù)管理[J].計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào),2005,17(16):1173-1178.

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

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

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

[12]AALSTWVD,HEEVKM.Businessprocessredesign:aPetri－net－basedapproach[J].ComputersinIndustry,1996,29(1-2):15-26.

[13]AALSTWVD.ThreegoodreasonsforusingaPetri－net－basedworkflowmanagementsystem[C]//ProcofInternationalWorkingConfe－renceonInformationandProcessIntegrationinEnterprises(IPIC’96).Cambridge:[s.n.],1996.

[14]袁崇義.Petri網(wǎng)原理與應(yīng)用[M].北京:電子工業(yè)出版社,2005:18-19.

[15]AALSTWVD,HEEKMV.Workflowmanagement:models,me－thods,andsystems[M].London:TheMITPress,2002:271-272.

[16]李慶忠,王海洋,姜躍平.一種改進(jìn)的主動(dòng)規(guī)則的系統(tǒng)執(zhí)行模型[J].軟件學(xué)報(bào),2002,13(1):111-117.