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

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

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

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

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

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