基于Petri網(wǎng)行為包含的業(yè)務流程變化域傳播分析.pdf

1、業(yè)務流程模型變化域分析是業(yè)務流程管理的重要內(nèi)容，目的是為了靈活地適應變化的商務需求。由于用戶對計算機這一系統(tǒng)的需求越來越高，建模者需要面對各方面的變化域（安全）問題。傳統(tǒng)的計算機系統(tǒng)已經(jīng)無法滿足日益增長的復雜多變的運行環(huán)境。隨著科技的進步，現(xiàn)代計算機系統(tǒng)開放性也越來越強，使得某些業(yè)務流程模型變得脆弱，很容易受到攻擊。因此，分析業(yè)務流程模型的脆弱性即變化域對于研究系統(tǒng)的可靠性具有重要的意義。
　　目前，對于業(yè)務流程模型的研究主要集中

2、在業(yè)務流程模型的一致性和變化域上。而且，已有的方法對模型進行變化域分析是從整個系統(tǒng)上去考察的，計算量和復雜度很難讓人滿意;在分析模型的一致性方面主要是從單個變遷的角度去考慮，對于研究整個模型而言也具有一定的局限性;對于模型的相似性分析也很少從行為和結構的角度共同去考察;對于變化域的傳播問題更沒有從行為包含和繼承的角度去分析。
　　本文以Petri網(wǎng)原理和行為輪廓的相關理論以及行為包含為基礎，考慮在有源模型和目標模型的條件下，對業(yè)務

3、流程模型進行相似性、一致性及變化域分析。主要研究內(nèi)容如下所述:
　　(1)針對業(yè)務流程模型的一致性檢測問題，提出來一種從單個變遷和模塊的角度去考察行為和結構的一致性。經(jīng)過對業(yè)務流程模型的行為和結構方面的考察，計算出了單個變遷和模塊的一致性度，實驗結果表明基于模塊來分析源模型和目標模型是不一致的，進而得出目標模型中存在可疑模塊，并基于Petri網(wǎng)的弱行為輪廓確定了目標模型最終的變化域。該方法從多個角度對模型予以分析，克服了已有方法的

4、單一性。
　　(2)針對業(yè)務流程系統(tǒng)的變化域問題，提出了基于Petri網(wǎng)動態(tài)切片的分析方法。首先對比分析源模型和目標模型的流程結構圖得到目標模型的一個可疑區(qū)域，然后用行為輪廓的思想找出目標模型可疑區(qū)域中的變化域，最后通過采取Petri網(wǎng)動態(tài)切片技術得出目標模型的最小變化域。該方法的優(yōu)點是通過查找可疑區(qū)域來確定模型的變化域，降低了分析業(yè)務流程模型系統(tǒng)的復雜度。
　　(3)針對業(yè)務流程系統(tǒng)的相似性問題，在已有理論的基礎上提出了行

5、為相似性度和結構相似性度，依據(jù)前集變遷的占有率、行為輪廓及擬行為輪廓的相關理論，考慮了源模型和目標模型間的行為相似性度和結構相似性度，并依據(jù)已有的理論來分析目標模型的變化域。該方法的優(yōu)點是從行為和結構兩個角度共同考察模型間的相似程度，避免了已有方法的獨立性和單一性。
　　(4)針對業(yè)務流程系統(tǒng)的變化域傳播問題，基于源模型和目標模型之間存在著跡等價和行為包含關系，通過給定源模型的變化域，提出了基于行為繼承的變化域傳播分析方法來尋找目