基于合并模型的Digest尋找業(yè)務流程變化域的方法
【專利摘要】基于合并模型的Digest尋找業(yè)務流程變化域的方法，涉及大型復雜電子商務系統(tǒng)中流程模型的變化域確定問題，也適用于大型復雜業(yè)務系統(tǒng)的變化域處理。首先對電子商務中的真實案例進行分析，通過Petri網建立流程模型，再根據語義匹配和模式匹配得到流程模型間的復雜匹配關系。然后對模型進行標準化，通過模型標準化解決了復雜匹配關系的模型合并與兼容性判斷的問題，再根據匹配關系合并標準化后的模型，提取合并模型的Digest得到模型交互的公共部分，最后通過分析Digest與標準化模型行為輪廓關系的差異在Digest中找出變化域，再利用映射函數(shù)將Digest中的變化域分別映射到原模型中，從而得到原模型的變化域。
【專利說明】基于合并模型的Digest尋找業(yè)務流程變化域的方法
【技術領域】
[0001]本發(fā)明涉及多方交易的復雜電子商務流程模型的變化域確定的問題，它特別適用于確定大型電子商務系統(tǒng)中具有復雜對應關系的交互模型的變化域，屬于電子商務一致性規(guī)范化領域。
【背景技術】
[0002]隨著電子商務技術的不斷發(fā)展，無論是企業(yè)的采購與銷售模式，抑或是個人的購物方式都隨之改變。日新月異的商業(yè)模式需要強大的技術力量作為支撐才能保證電子商務行業(yè)的不斷向前。為規(guī)范電子商務的業(yè)務流程，需要對其進行建模分析。通過對多方交易的電子商務流程進行建模，分析交易過程中可能出現(xiàn)的漏洞。由于交互行為多樣性，盡管單個流程模型本身沒有問題，但當多個流程模型進行交互時卻產生了不可預期的變化。目前對變化域的研究普遍先對參與交互的流程模型逐個進行分析，再分別找出每個流程模型的變化域。但如果要處理多方交易的大型電子商務系統(tǒng)中的流程模型交互問題，采用以往的方法會導致工作量龐大且無法保證分析所得結果的準確性。
[0003]基于不同環(huán)境的特定需求，業(yè)務流程管理研究的關注點也有所不同。因此所建立的業(yè)務流程模型的抽象級別也有所不同，從而導致交互模型中的活動并不是1:1的簡單對應而是1:n或n:m的復雜對應。以往方法在尋找變化域時是以模型間的活動是是簡單對應關系為前提，無法解決具有復雜對應關系的模型交互變化域的尋找問題。

【發(fā)明內容】

[0004]本發(fā)明為了解決在電子商務案例中出現(xiàn)的以下技術難題提出了一套基于合并模型的Digest尋找業(yè)務流程變化域且適用于具有復雜對應關系的交互模型的新方法:(1)由于建立業(yè)務流程模型的建模需求和抽象級別的不同所導致的模型交互出現(xiàn)不兼容的問題；
(2)現(xiàn)有方法無法對具有復雜對應關系的模型間一致性和兼容性進行判斷；(3)由于實際模型復雜性和冗余性導致對模型系統(tǒng)進行全局分析工作量大的問題。
[0005]本發(fā)明采用抽象的手段對具有復雜對應關系的模型進行標準化，這解決了原有辦法無法處理的復雜對應問題，使該方法適用于更普遍的情況。為解決之前方法所存在的工作量大的問題，本發(fā)明對經過標準化后的模型進行合并，然后再提取合并模型的Digest。Digest是模型集合中重疊的部分，也就是模型交互的地方。通過提取模型公共部分，保留它們公共的行為，把各自內部的行為刪除，得到模型的Digest。通過分析模型的Digest與原模型的行為輪廓間的差異就能夠確定原模型交互發(fā)生變化的區(qū)域。最后根據變化域的行為語義分析了出現(xiàn)模型交互出現(xiàn)不兼容的原因。
[0006]本發(fā)明的優(yōu)點是:通過模型標準化解決了具有復雜匹配關系的交互模型的合并與兼容性問題，并且基于模型Digest尋找變化域，解決了對大型模型間交互尋找其變化域工作量巨大的問題?！緦＠綀D】

【附圖說明】
[0007]圖1為本發(fā)明的尋找變化域結構圖；
[0008]圖2為本發(fā)明的模型標準化流程圖；
[0009]圖3為本發(fā)明的模型合并流程圖
[0010]圖4為本發(fā)明的基于Digest尋找變化域流程圖。
[0011]具有實施方式
[0012]本發(fā)明提出了一套基于合并模型的Digest尋找業(yè)務流程變化域的方法，且該方法適用于具有復雜對應關系的交互模型。
[0013]下面結合附圖對本發(fā)明做進一步的說明:
[0014]圖1為本發(fā)明的尋找變化域具體實施的流程結構圖。首先對電子商務中的真實案例進行分析，通過Petri網建立流程模型，再根據語義匹配和模式匹配得到流程模型間的復雜匹配關系。然后對模型進行標準化，再根據匹配關系合并標準化后的模型，提取合并模型的Digest得到交互模型的簡易版本，通過分析模型Digest與標準化模型的行為輪廓間的差異先在Digest中找出變化域，再利用映射函數(shù)將Digest中的變化域分別映射到原模型中，從得到原模型的變化域。
[0015]圖2是對所建立的Petri網模型進行標準化的過程:根據模型間的復雜匹配關系確定匹配變遷組；分析組內變遷的行為輪廓關系判斷匹配變遷組屬于S (選擇)、L (循環(huán))、P (順序)等三種分支結構類型中的哪種；根據匹配變遷組確定最大匹配域范圍；保持邊界庫所不變，來達到結構不變性的目的；最后將最大匹配域進行抽象得到一個標準化模型。
[0016]圖3是模型合并流程圖:將標準化后的模型和模型間的匹配關系作為輸入；首先，將兩個模型的初始狀態(tài)合并，若遇到不屬于匹配域內的庫所或變遷時，則建立一條帶模型標識的分支來保留原模型內部的行為，若庫所或變遷屬于匹配域，則將原模型的匹配域用同一個新的變遷代替，且原匹配域與外部元素的流關系參照原模型的保持不變，這樣既達到了保持原模型行為的不變性又得到了模型交互的一個精煉版本，保證了變化域分析的正確性和簡易性。
[0017]圖4是基于Digest尋找變化域的流程圖:首先計算模型Digest的行為輪廓及標準化模型的行為輪廓，將兩者的相交變遷的行為輪廓關系抽取出來進行比較，如果兩者不一致則在Digest上進行標注該變遷，直至將所有交集部分內的變遷比較完畢，這樣就可初步在模型Digest中確定變化域的范圍。然后，利用映射函數(shù)X根據匹配關系M將Digest中的疑似變化域分別投影到原模型上，這樣就可以在原模型中找出變化域。
【權利要求】
1.基于合并模型的Digest尋找業(yè)務流程變化域的方法，該方法包括模型標準化、模型合并與Digest提取以及基于Digest尋找變化域。其特征在于:通過模型標準化將模型間原來的復雜匹配關系簡單化且保持原模型的行為不變；通過模型合并將模型間的交互行為以合并的形式表現(xiàn)出來，這樣可以清楚的區(qū)分模型交互的內部行為和外部行為；基于Digest尋找變化域，將變化域的尋找從原有的大范圍縮小到模型Digest的小范圍上，簡化了尋找變化域的復雜度和工作量。
2.根據權利要求1所述的模型合并，其特征在于:模型合并采用有帶模型標識的選擇分支結構通過合并和分離的手段保留原模型的所有信息，得到模型交互的一個精煉版本，這樣保證了變化域分析的正確性和簡易性。
3.根據權利要求1所述的基于Digest尋找變化域，其特征在于:不去直接對模型進行變化域分析而是通過提取模型公共部分，保留它們公共的行為，把各自內部的行為刪除，得到模型Digest。然后將Digest和標準化模型中的相交變遷的行為輪廓關系抽取出來進行比較得到Digest中的變化域，再將其映射到原模型中從而得出原模型的變化域，該方法對處理大型復雜系統(tǒng)的變化域尋找問題有很好的適用性。
【文檔編號】G06Q30/00GK103870968SQ201410106465
【公開日】2014年6月18日 申請日期:2014年3月20日 優(yōu)先權日:2014年3月20日
【發(fā)明者】方賢文, 歐陽虹, 方新建, 劉祥偉 申請人:安徽理工大學