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

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

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