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

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

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

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

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

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