行為約束下的業(yè)務(wù)流程查找與控制.pdf

1、信息行業(yè)正在成為一種新興的行業(yè)，在現(xiàn)實(shí)中它通過(guò)實(shí)際模擬具有很大的應(yīng)用價(jià)值，由于現(xiàn)實(shí)情況并非模擬的那么簡(jiǎn)單，并且現(xiàn)實(shí)需求的復(fù)雜性和非靜態(tài)性，以及實(shí)際操作環(huán)境的不穩(wěn)定性，簡(jiǎn)單的操作服務(wù)已經(jīng)無(wú)法滿足當(dāng)前的狀況需要，怎樣做才能滿足行為輪廓下的行為一致性，以便高效地滿足用戶的需求，實(shí)現(xiàn)網(wǎng)絡(luò)資源的應(yīng)用和價(jià)值，這對(duì)經(jīng)濟(jì)的發(fā)展具有重大的意義。通過(guò)考慮行為輪廓約束下的一致性對(duì)本文的研究具有很大的幫助。
　　當(dāng)前，關(guān)于這部分的研究大多是在靜態(tài)的情況下

2、進(jìn)行的，則對(duì)于動(dòng)態(tài)情況很少研究，使得對(duì)動(dòng)態(tài)情況無(wú)法正常分析，所以存在著很大的局限性。本文提出的方法不僅成功解決了這一問(wèn)題，而且還可以應(yīng)用在企業(yè)中。本文基于petri網(wǎng)以及行為輪廓約束下進(jìn)行研究。從通過(guò)模型的一致性分析找出目標(biāo)模型的變化域，再對(duì)找到的變化域進(jìn)行調(diào)整，達(dá)到對(duì)變化域修復(fù)的目的。并通過(guò)復(fù)雜實(shí)例進(jìn)行驗(yàn)證。本文所做的工作主要從以下三個(gè)方面的內(nèi)容進(jìn)行研究:
　　(1)因?yàn)閷?duì)業(yè)務(wù)流程的變化域分析在業(yè)務(wù)流程管理中處于核心地位。已有對(duì)

3、于變化域的研究主要是建立在靜態(tài)分析的基礎(chǔ)上進(jìn)行的，根據(jù)給定節(jié)點(diǎn)的活動(dòng)變遷判斷是否產(chǎn)生行為一致性或者是從流程模型的一致性分析角度來(lái)進(jìn)行研究，不過(guò)對(duì)于現(xiàn)實(shí)中復(fù)雜業(yè)務(wù)流程則這種方法具有一定的局限性。本文提出了基于Petri網(wǎng)行為輪廓的業(yè)務(wù)流程模型變化域的分析方法，在分析業(yè)務(wù)流程對(duì)應(yīng)活動(dòng)變遷的基礎(chǔ)上提出了尋找業(yè)務(wù)流程變化域的方法，即它主要的任務(wù)是要尋找業(yè)務(wù)流程模型中的變化域，在源模型和目標(biāo)模型之間，通過(guò)給定業(yè)務(wù)流程模型中的疑似變化點(diǎn)，通過(guò)疑似變

4、化點(diǎn)來(lái)確定模型的變化域，分析并通過(guò)優(yōu)化模型過(guò)程以確定最小的變化區(qū)域。本文在Petri網(wǎng)行為輪廓的基礎(chǔ)上對(duì)業(yè)務(wù)流程模型進(jìn)行分析，給出了一種在動(dòng)態(tài)行為的基礎(chǔ)上確定變化域的分析方法，并用理論和實(shí)例來(lái)分析表明此方法的有效性和實(shí)用性。
　　(2)業(yè)務(wù)流程的變化域修復(fù)是業(yè)務(wù)流程可信分析的關(guān)鍵，對(duì)于存在變化域的業(yè)務(wù)流程，控制變化域的產(chǎn)生及修復(fù)變化域都是比較困難的。現(xiàn)有的研究主要從分析靜態(tài)模型間的行為一致性進(jìn)行的，對(duì)動(dòng)態(tài)行為不能正確分析，所以具有

5、一定的局限性。文章中提出一種基于行為輪廓業(yè)務(wù)流程的修復(fù)方法，首先將帶有變化域的模型抽象成粗粒度的模型，對(duì)帶有變化域的模型進(jìn)行處理，然后再轉(zhuǎn)化為細(xì)粒度的模型，通過(guò)分析其行為一致性來(lái)修復(fù)模型中存在的變化域以及與活動(dòng)序列間的行為依賴關(guān)系。以便對(duì)存在的變化域進(jìn)行合適的調(diào)整，本文基于行為輪廓約束下對(duì)流程模型進(jìn)行分析以及變化域的優(yōu)化方法。該方法充分考慮了行為輪廓在模型行為一致性分析中的作用。最后，結(jié)合實(shí)例分析此方法的可信性。
　　(3)業(yè)務(wù)流