基于Petri網(wǎng)的業(yè)務(wù)流程模型一致性分析.pdf

1、業(yè)務(wù)流程模型一致性分析是業(yè)務(wù)流程管理和可信性研究的核心內(nèi)容。由于用戶對計算機(jī)系統(tǒng)的要求越來越高，建模者需要不斷地面對各種安全問題。傳統(tǒng)的計算機(jī)系統(tǒng)已經(jīng)無法滿足復(fù)雜多變的運行環(huán)境。而且，現(xiàn)代的計算機(jī)系統(tǒng)具有開放性，使得業(yè)務(wù)流程模型變得脆弱。因此，分析業(yè)務(wù)流程模型的一致性對保證系統(tǒng)的可信性具有重要意義。
　　目前，對于業(yè)務(wù)流程模型的一致性研究主要集中在兩大方面即控制流一致性分析和數(shù)據(jù)流一致性分析。已有的方法對控制流一致性的分析大部分是

2、從目標(biāo)模型行為一致性方面進(jìn)行研究，而對數(shù)據(jù)流一致性的分析僅僅局限于數(shù)據(jù)形式，幾乎沒有給出直觀的模型。在流程模型出現(xiàn)行為變化導(dǎo)致不一致時，很少考慮數(shù)據(jù)變化對一致性的影響。本文在Petri網(wǎng)和行為輪廓的理論及其性質(zhì)的基礎(chǔ)上，考慮在沒有目標(biāo)模型和數(shù)據(jù)出現(xiàn)變化的情況下，業(yè)務(wù)流程模型的一致性分析和非一致時變化域的分析。主要研究內(nèi)容如下所述:
　　(1)針對業(yè)務(wù)流程模型一致性分析過程中沒有目標(biāo)模型的情況，提出了一種基于Petri網(wǎng)和模塊業(yè)務(wù)流

3、程模型變化域分析的方法，對業(yè)務(wù)流程模型進(jìn)行模塊分解，研究模塊的行為輪廓，并在分析業(yè)務(wù)流程模型的變化域的過程中，將用于觀測的變化點進(jìn)行動態(tài)搜索，該方法了避免了已有方法的盲目性和不準(zhǔn)確性。
　　(2)針對業(yè)務(wù)流程模型運行中數(shù)據(jù)變化的情況，提出了一種基于行為Petri網(wǎng)的業(yè)務(wù)流程模型一致性分析方法，從伙伴流程的角度刻畫了控制流和數(shù)據(jù)流模型的定義，區(qū)分控制流和數(shù)據(jù)流的差異性。在行為輪廓的基礎(chǔ)上，量化流程模型的行為關(guān)系，利用控制流和數(shù)據(jù)流的