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

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

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

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

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