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

【發(fā)明內容】

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

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