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

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

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

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

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

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