基于Petri網(wǎng)尋找電子商務(wù)模型變化區(qū)域的新方法
【專利摘要】一種基于Petri網(wǎng)和模塊尋找電子商務(wù)中變化區(qū)域的新方法，涉及流程模型的提取和轉(zhuǎn)化、變化區(qū)域的確定以及變化區(qū)域的優(yōu)化。在沒有目標(biāo)模型的情況下，首先提取電子商務(wù)中業(yè)務(wù)流程模型；然后，分析各模塊的Petri網(wǎng)流程模型的行為關(guān)系，以模塊間的共用的輸出點為觀測點，采用動態(tài)分析的方法，確定流程模型中可能存在變化區(qū)域的模塊即變化模塊，并通過合成操作給出流程模型的變化區(qū)域；最后采用T-不變量篩選出最優(yōu)的變化區(qū)域，從而形成了一種快速準(zhǔn)確的尋找電子商務(wù)中的變化區(qū)域。本發(fā)明提出了業(yè)務(wù)流程變化區(qū)域?qū)ふ业男路椒?，有效地解決了電子商務(wù)中流程模型的變化查找問題，避免了現(xiàn)有解決方法的不準(zhǔn)確性。
【專利說明】基于Petri網(wǎng)尋找電子商務(wù)模型變化區(qū)域的新方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明屬于電子商務(wù)監(jiān)控【技術(shù)領(lǐng)域】，涉及一種電子商務(wù)模型變化區(qū)域?qū)ふ业男路椒ǎ貏e適用于對電子商務(wù)中的業(yè)務(wù)流程進行快速的故障檢測和提取。
【背景技術(shù)】
[0002]隨著企業(yè)業(yè)務(wù)的擴展，各個企業(yè)分布在網(wǎng)絡(luò)上的資源得不到有效的利用，因此如何有效整合已有的商業(yè)資源，改善企業(yè)運營效率，成為提高綜合市場競爭力的關(guān)鍵。由于業(yè)務(wù)量和業(yè)務(wù)范圍的擴張和劇增，傳統(tǒng)的Web模式已經(jīng)難以適應(yīng)高強度、高密度、高廣度的電子商務(wù)模式。因此，實現(xiàn)資源的合理高效使用，得到了電子商務(wù)領(lǐng)域的廣泛重視。在電子商務(wù)中，不同的建模目的可以產(chǎn)生不同的業(yè)務(wù)流程模型，如電子商務(wù)的服務(wù)管理，電子商務(wù)的交易系統(tǒng)，以及電子商務(wù)的組合優(yōu)化等，在這些模型中并不是所有模型都可以滿足建模要求的，那如何保證電子商務(wù)中業(yè)務(wù)流程的準(zhǔn)確性，就需要對其進行有效的分析和實時監(jiān)測。所以，尋找流程模型的變化區(qū)域成為了電子商務(wù)的核心問題。
[0003]主要的解決流程模型變化問題的方法有:分析語言學(xué)和流程行為方面、比較流程模型之間流程一致性或相似性、建立約束模型和語言等等。這些研究中，主要是使用已確定的目標(biāo)模型與其相匹配的流程模型進行比較來尋找流程模型的變化部分。在確定流程模型變化區(qū)域過程中，主要是通過選取流程模型中固定的點作為觀測點，然后找出流程模型的變化區(qū)域或疑似變化點。這些靜態(tài)研究得到的流程模型的變化區(qū)域或疑似點，具有盲目性和不確定性。

【發(fā)明內(nèi)容】

[0004]本發(fā)明主要解決的問題是:提供一種基于Petri網(wǎng)和模塊尋找電子商務(wù)中業(yè)務(wù)流程的變化區(qū)域，并在此基礎(chǔ)上優(yōu)化變化區(qū)域，實現(xiàn)對電子商務(wù)中業(yè)務(wù)流程模型運行中出現(xiàn)的故障進行快速尋找的同時，提高了尋找變化域的準(zhǔn)確性。
[0005]為此，本發(fā)明的解決方案如下所述:
[0006]對于電子商務(wù)的業(yè)務(wù)流程模型提取和預(yù)處理，本發(fā)明采用Petri網(wǎng)和模塊語義，并結(jié)合模塊分解的方法對電子商務(wù)中的業(yè)務(wù)流程模型進行處理，轉(zhuǎn)變?yōu)榉謮K的且結(jié)構(gòu)清晰的Petri網(wǎng)流程模型。
[0007]根據(jù)所得到的分塊Petri網(wǎng)流程模型，不僅可以更加清晰的看出流程模型的結(jié)構(gòu)，還可以觀察流程模型在運行過程中的行為變化。對于確定業(yè)務(wù)流程模型的變化區(qū)域，本發(fā)明采用了模塊行為分析的方法，以模型中所有的模塊的輸出變遷為觀測點，進行動態(tài)搜索，在模塊的行為輪廓的基礎(chǔ)上分析預(yù)處理后的流程模型中模塊間的行為關(guān)系，確定流程模型中可能存在變化區(qū)域的模塊即變化模塊，并合并變化模塊得到變化區(qū)域，避免了通過建立復(fù)雜而不準(zhǔn)確的目標(biāo)模型與之比較而得到不準(zhǔn)確的變化區(qū)域。
[0008]當(dāng)變化區(qū)域確定以后，需要考慮其精確性問題。因此，對于變化區(qū)域的優(yōu)化，本發(fā)明采用了 T-不變量的篩選方法，根據(jù)計算所得的分塊Petri網(wǎng)的T-不變量以及所得的變化區(qū)域中的活動變遷，確定變化區(qū)域中的關(guān)鍵路徑，從而優(yōu)化變化區(qū)域，得到一個比較精確的業(yè)務(wù)流程變化區(qū)域。
【專利附圖】

【附圖說明】
[0009]圖1為本發(fā)明的尋找變化區(qū)域結(jié)構(gòu)圖；
[0010]圖2為本發(fā)明的業(yè)務(wù)流程模型提取和預(yù)處理流程圖；
[0011]圖3為本發(fā)明的確定變化區(qū)域流程圖；
[0012]圖4為本發(fā)明的優(yōu)化變化區(qū)域流程圖。
[0013]具有實施方式
[0014]本發(fā)明提出基于Petri網(wǎng)和模塊的一種快速定位電子商務(wù)中的變化區(qū)域的方法，并對其進行優(yōu)化以確保精確性。
[0015]下面結(jié)合附圖對本發(fā)明做進一步的說明:
[0016]電子商務(wù)中變化區(qū)域的尋找方法可分為三個部分，如圖1所示。首先，對電子商務(wù)中業(yè)務(wù)流程模型進行提取和預(yù)處理，以預(yù)設(shè)定的結(jié)果和建模需求作為標(biāo)準(zhǔn)，提取出未能滿足建模要求和達到建模目的的模型。同時，采用Petri網(wǎng)和模塊語義對提取業(yè)務(wù)流程模型進行轉(zhuǎn)化:第一步先將提取的業(yè)務(wù)流程模型通過Petri網(wǎng)語義轉(zhuǎn)換成Petri網(wǎng)流程模型；第二步，采用模塊分解技術(shù)，對已得到的Petri網(wǎng)模型進行模塊分解，最終得到分塊的Petri網(wǎng)模型，見圖2。
[0017]然后，對所得的分塊Petri網(wǎng)流程模型進行變化域搜索。以模塊的共同的輸入節(jié)點為觀測節(jié)點并以模塊行為輪廓為分析依據(jù)，進行動態(tài)搜索，分析流程模型中每個模塊的行為。若流程模型中的模塊不能滿足模塊的行為，即為變化模塊。將得到變化模塊進行合并，得到了流程模型的變化區(qū)域，見圖3。
[0018]最后，如圖4所示，以所得流程模型的變化區(qū)域內(nèi)的活動變遷為基礎(chǔ)并計算出分塊Petri網(wǎng)流程模的T-不變量，挑選出變化區(qū)域內(nèi)的關(guān)鍵路徑，最終得到精確的最優(yōu)變化區(qū)域，形成電子商務(wù)的故障檢測，實現(xiàn)對電子商務(wù)在運行中的在線檢測。
【權(quán)利要求】
1.一種尋找電子商務(wù)中業(yè)務(wù)流程變化區(qū)域的新方法，包括流程模型的提取和預(yù)處理、流程模型的變化域的確定以及變化區(qū)域的優(yōu)化方法，其特征在于:對流程模型進行提取和預(yù)處理，實現(xiàn)了對電子商務(wù)中有問題的業(yè)務(wù)流程模型的結(jié)構(gòu)分析，建立相對應(yīng)的模塊Petri網(wǎng)流程模型，得到更清晰的結(jié)構(gòu)特征；在此基礎(chǔ)上確定變化區(qū)域，并結(jié)合獨特的方法實現(xiàn)對變化區(qū)域的優(yōu)化，快速準(zhǔn)確的尋找電子商務(wù)的變化區(qū)域。
2.根據(jù)權(quán)利要求1所述的流程模型的提取和預(yù)處理，其特征在于:在Petri網(wǎng)和模塊的相關(guān)知識，將電子商務(wù)中的業(yè)務(wù)流程模型進行轉(zhuǎn)化，采用模塊分解技術(shù)對電子商務(wù)的業(yè)務(wù)流程模型進分塊，能夠使得業(yè)務(wù)流程模型的結(jié)構(gòu)更為清晰。
3.根據(jù)權(quán)利要求1所述的確定變化區(qū)域，其特征在于:建立相應(yīng)的模塊行為輪廓分析流程模型的行為關(guān)系，從動態(tài)的角度考慮觀測變遷的選擇，從而能夠快速得到流程模型的變化域。
4.根據(jù)權(quán)利要求1所述的變化域的優(yōu)化，其特征在于:采用T-不變量對變化區(qū)域中的變化路徑進行篩選，得到關(guān)鍵路徑，從而優(yōu)化變化區(qū)域，提高所得變化區(qū)域的精確性。
【文檔編號】G06Q30/00GK103578003SQ201310577576
【公開日】2014年2月12日 申請日期:2013年11月15日 優(yōu)先權(quán)日:2013年11月15日
【發(fā)明者】方賢文, 劉璐, 吳俊枝, 劉祥偉, 方新建 申請人:安徽理工大學(xué)