基于Shark的流程回退機(jī)制的研究與應(yīng)用.pdf

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

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