基于Shark的流程回退機制的研究與應用.pdf

1、回退作為工作流管理系統(tǒng)的一項重要功能，它是工作流參與者對自己“待辦任務”的一種操作，即參與者主動回退任務到已經(jīng)執(zhí)行過的人工節(jié)點，并從該節(jié)點重新執(zhí)行?；赝藱C制有效地增強了工作流管理系統(tǒng)的柔性和靈活性，提高了企業(yè)業(yè)務流程的動態(tài)處理能力。但是，由于現(xiàn)代企業(yè)流程的不確定性、多變性及復雜性，對于一些特殊業(yè)務流程，回退處理時可能引發(fā)流程死鎖及數(shù)據(jù)不一致問題；同時，有些回退方法不能一次多步回退，只能回退至其直接前驅活動，或是通過逐級回退至發(fā)生錯誤的活

2、動上，這也容易造成流程的混亂和回退的繁瑣。
　　論文分析了工作流系統(tǒng)中流程回退方法的研究現(xiàn)狀，針對現(xiàn)有回退方法可能引起流程死鎖、數(shù)據(jù)不一致以及流程活動不能一次跨多步回退等現(xiàn)象，給出了流程的形式化定義，制定了回退規(guī)則，提出了一種基于多層校驗策略集的回退機制。該機制由建模策略、回退約束和回退策略集三層組成，每層自下而上順序校驗。建模策略實現(xiàn)對工作流模型合法性的校驗和回退語義的支持，回退約束對流程執(zhí)行過程中回退請求的有效性進行判斷，回退