工作流模型驗證與數(shù)據(jù)訪問沖突分析方法研究.pdf

1、工作流技術(shù)是重要的協(xié)同應(yīng)用支撐技術(shù)之一，它通過對業(yè)務(wù)過程進(jìn)行建模、執(zhí)行和管理來完成業(yè)務(wù)目標(biāo)。工作流模型建立起來之后，模型正確性驗證和工作流執(zhí)行時的并發(fā)控制成為需要解決的問題。本文的模型驗證由語法分析和結(jié)構(gòu)驗證組成，采用了一種基于有向圖的歸約法的工作流模型結(jié)構(gòu)沖突分析方法，結(jié)合數(shù)據(jù)流分析方法，探討了工作流模型的正確性驗證問題，并且開發(fā)了一個工作流模型驗證工具。此外，當(dāng)多個工作流實例并發(fā)執(zhí)行時，這些實例之間的某些任務(wù)可能通過共享數(shù)據(jù)對象而存

2、在約束關(guān)系，這將引發(fā)嚴(yán)重的數(shù)據(jù)訪問不一致問題。本文擴(kuò)展了結(jié)構(gòu)化工作流定義語言SWDL，在此基礎(chǔ)上，采用集合約束系統(tǒng)對工作流內(nèi)部以及實例之間所有可能引起沖突的任務(wù)進(jìn)行分析，生成數(shù)據(jù)資源的任務(wù)沖突集，在此基礎(chǔ)上劃分出任務(wù)調(diào)度具有互斥性質(zhì)的關(guān)聯(lián)任務(wù)子集，并且引入動態(tài)任務(wù)約束，以保證各實例中可能引發(fā)數(shù)據(jù)沖突的任務(wù)子集運(yùn)行時的臨時事務(wù)性。本文提出的調(diào)度算法在保證工作流實例運(yùn)行正確性的同時，提供了一種多實例間靈活的、盡可能多的任務(wù)并發(fā)調(diào)度方法，實驗