流恢復(fù)網(wǎng)模型范文
本站小編為你精心準(zhǔn)備了流恢復(fù)網(wǎng)模型參考范文，愿這些范文能點(diǎn)燃您思維的火花，激發(fā)您的寫(xiě)作靈感。歡迎深入閱讀并收藏。
摘要：針對(duì)工作流系統(tǒng)中存在的異常問(wèn)題，提出了一個(gè)基于WF－net和ECA規(guī)則的工作流恢復(fù)網(wǎng)模型，給出了模型元素與ECA規(guī)則的映射關(guān)系。模型在設(shè)計(jì)時(shí)采用WF－net結(jié)構(gòu)，運(yùn)行時(shí)通過(guò)預(yù)定義的操作函數(shù)動(dòng)態(tài)調(diào)整工作流結(jié)構(gòu)。采用基于任務(wù)的恢復(fù)策略，利用ECA規(guī)則自動(dòng)處理可預(yù)測(cè)異常；考慮任務(wù)間的數(shù)據(jù)依賴(lài)，采用人工恢復(fù)策略處理不可預(yù)測(cè)異常。
關(guān)鍵詞：工作流恢復(fù)網(wǎng)模型；異常處理；工作流網(wǎng)；事件—條件—?jiǎng)幼鳎粩?shù)據(jù)依賴(lài)
在工作流系統(tǒng)中，出現(xiàn)異常是不可避免的。按照MarkKlein等人的定義，工作流異常是指對(duì)任何原協(xié)同處理過(guò)程的偏移，包括活動(dòng)執(zhí)行時(shí)遇到的錯(cuò)誤，對(duì)活動(dòng)和資源的變化缺少支持等[1]。工作流異常可以根據(jù)異常的激發(fā)源區(qū)分為外部異常和工作流異常[2]；根據(jù)異常的可預(yù)測(cè)性區(qū)分為可預(yù)測(cè)異常和不可預(yù)測(cè)異常[3]等。
為了建立一個(gè)正確強(qiáng)健的工作流模型，不僅要求系統(tǒng)在正常情況下能順利運(yùn)行，更需要系統(tǒng)對(duì)運(yùn)行時(shí)出現(xiàn)的異常能夠進(jìn)行有效處理，以提高整個(gè)工作流系統(tǒng)的柔性。因此工作流異常處理是工作流系統(tǒng)設(shè)計(jì)和工作流執(zhí)行中要解決的關(guān)鍵問(wèn)題之一。文獻(xiàn)[4,5]從提高工作流模型適應(yīng)性角度提出了工作流模型在執(zhí)行過(guò)程中的動(dòng)態(tài)修改策略以處理異常；文獻(xiàn)[6,7]也為工作流異常處理提供了更多的參考手段。近年來(lái)國(guó)內(nèi)學(xué)者就此進(jìn)行了初步研究，但主要集中在分析描述異常處理的具體方法策略上[8,9]。雖然文獻(xiàn)[10,11]中分別提出了基于事務(wù)的工作流異常處理模型和基于對(duì)象的工作流模型并給出了異常處理策略，但由于異常處理模型與工作流模型分離，在實(shí)現(xiàn)異常處理的同時(shí)卻增加了兩者整合的難度，在實(shí)踐上帶來(lái)了很大局限性。
本文首先定義了一個(gè)基于工作流網(wǎng)(WF－net)和ECA規(guī)則的工作流恢復(fù)網(wǎng)模型。它不僅使得WF－net形式化的正確性驗(yàn)證[12,13]和ECA規(guī)則的技術(shù)成熟實(shí)現(xiàn)簡(jiǎn)單，形成優(yōu)勢(shì)互補(bǔ)，而且實(shí)現(xiàn)了工作流模型與異常處理模型的無(wú)縫結(jié)合。在此模型的基礎(chǔ)上主要對(duì)可預(yù)測(cè)和不可預(yù)測(cè)異常處理進(jìn)行討論，并給出了基于任務(wù)的恢復(fù)策略及實(shí)例。
3結(jié)束語(yǔ)
本文針對(duì)工作流系統(tǒng)中存在的異常問(wèn)題，提出了基于WF－net和ECA規(guī)則的工作流異常處理模型及恢復(fù)策略。模型結(jié)合工作流網(wǎng)形式化的正確性驗(yàn)證和ECA規(guī)則技術(shù)成熟實(shí)現(xiàn)簡(jiǎn)單的優(yōu)點(diǎn)，實(shí)現(xiàn)了工作流模型與異常處理模型的無(wú)縫結(jié)合，同時(shí)保持了工作流建模時(shí)的簡(jiǎn)單性。
參考文獻(xiàn)：
[1]KLEINM,DELLAROCASC.Aknowledge－basedapproachtohandlingexceptionsinworkflowsystems[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]高軍,王海洋.基于對(duì)象模型工作流的失敗處理與失敗恢復(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.