基于Petri網(wǎng)行為緊密度的業(yè)務(wù)流程配置優(yōu)化分析.pdf

1、如今，用戶繁多的變化需求以及不斷龐大的系統(tǒng)規(guī)模使得企業(yè)在解決流程問題時越發(fā)艱難。在這樣的環(huán)境下，出現(xiàn)的各種各樣的問題使得設(shè)計業(yè)務(wù)流程變成一個耗時且低效的過程。因此，業(yè)務(wù)流程管理作為一套新的管理模式已經(jīng)被普遍地應(yīng)用到企業(yè)各個環(huán)節(jié)的運作中。業(yè)務(wù)流程管理包括設(shè)計和實施流程，建立和分析模型，執(zhí)行程序等一系列技術(shù)和方法。
　　數(shù)據(jù)流和控制流是業(yè)務(wù)流程兩個主要的組成部分，且兩者對模型的結(jié)構(gòu)和行為有著重要的約束關(guān)系。在設(shè)計模型過程中，出現(xiàn)的各種

2、各樣的問題使得設(shè)計出來的業(yè)務(wù)流程模型不一定能滿足一致性以及合理性的要求。所以，我們亟待解決的問題就是檢測業(yè)務(wù)流程模型的一致性。針對這個問題，現(xiàn)有的一致性檢查方法重點還是關(guān)注控制流，即使考慮了其他觀點，控制流也是首要考慮的，對數(shù)據(jù)的分析是忽略的。但對于同一個模型而言，只考慮控制流時是一致的，而考慮數(shù)據(jù)的時候可能會導(dǎo)致不一致。因此，在實際中，從控制流和數(shù)據(jù)流兩方面建立業(yè)務(wù)流程模型具有很強的實用性，對所建的模型的合理性驗證也需要從這兩方面考慮

3、。本文將二者融合，在行為輪廓的理論以及性質(zhì)的基礎(chǔ)上，結(jié)合緊密度的相關(guān)知識，對業(yè)務(wù)流程模型進(jìn)行一致性分析。
　　用配置的方法對流程模型建模能夠?qū)崿F(xiàn)重復(fù)使用設(shè)計模型的目的?？膳渲玫臉I(yè)務(wù)流程提供了一種根據(jù)特定需求模擬配置的參考模型中的可變性的方法。其能夠根據(jù)用戶特殊的或不同的要求對活動進(jìn)行不同的配置，從而達(dá)到優(yōu)化以及簡化流程設(shè)計的目的。本文則是根據(jù)配置變遷的特性滿足了配置優(yōu)化分析的要求。已有的研究很少考慮配置信息作為業(yè)務(wù)流程的行為限制性

4、約束關(guān)系。本文利用部分日志建立源模型，計算剩余日志與源模型的緊密度，并引入配置變遷對根據(jù)部分日志建立的業(yè)務(wù)流程模型進(jìn)行優(yōu)化分析。主要研究內(nèi)容如下所述:
　　(1)針對數(shù)據(jù)信息約束下的業(yè)務(wù)流程Petri網(wǎng)模型的一致性分析問題，本文提出了利用緊密度的相關(guān)知識的分析方法。在業(yè)務(wù)流程運行過程中，數(shù)據(jù)流會隨著變遷發(fā)生的變化而產(chǎn)生相應(yīng)的變化，這對分析運行過程和執(zhí)行結(jié)果添加了多樣化和不確定性。因此，對包含數(shù)據(jù)信息約束下的流程模型分析變得極其重要

5、。本文利用行為輪廓的理論基礎(chǔ)知識，結(jié)合酒店預(yù)訂系統(tǒng)流程的實例，把數(shù)據(jù)流Petri網(wǎng)和控制流Petri網(wǎng)結(jié)合起來建立一個融合網(wǎng)，利用緊密度的知識來度量一致性度。
　　(2)本文利用行為緊密度和引入配置變遷提出了一種優(yōu)化分析方法。首先根據(jù)給定事件日志中實例數(shù)較高的日志序列建立源模型，在合理性較高的情況下，計算源模型與剩余日志的行為緊密度，然后利用緊密度大的日志對源模型進(jìn)行優(yōu)化分析，最后引進(jìn)了配置變遷進(jìn)一步優(yōu)化了業(yè)務(wù)流程模型。該方法將配