基于合并模型的Digest尋找業(yè)務(wù)流程變化域的方法
【專利摘要】基于合并模型的Digest尋找業(yè)務(wù)流程變化域的方法，涉及大型復(fù)雜電子商務(wù)系統(tǒng)中流程模型的變化域確定問題，也適用于大型復(fù)雜業(yè)務(wù)系統(tǒng)的變化域處理。首先對電子商務(wù)中的真實案例進行分析，通過Petri網(wǎng)建立流程模型，再根據(jù)語義匹配和模式匹配得到流程模型間的復(fù)雜匹配關(guān)系。然后對模型進行標(biāo)準(zhǔn)化，通過模型標(biāo)準(zhǔn)化解決了復(fù)雜匹配關(guān)系的模型合并與兼容性判斷的問題，再根據(jù)匹配關(guān)系合并標(biāo)準(zhǔn)化后的模型，提取合并模型的Digest得到模型交互的公共部分，最后通過分析Digest與標(biāo)準(zhǔn)化模型行為輪廓關(guān)系的差異在Digest中找出變化域，再利用映射函數(shù)將Digest中的變化域分別映射到原模型中，從而得到原模型的變化域。
【專利說明】基于合并模型的Digest尋找業(yè)務(wù)流程變化域的方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及多方交易的復(fù)雜電子商務(wù)流程模型的變化域確定的問題，它特別適用于確定大型電子商務(wù)系統(tǒng)中具有復(fù)雜對應(yīng)關(guān)系的交互模型的變化域，屬于電子商務(wù)一致性規(guī)范化領(lǐng)域。
【背景技術(shù)】
[0002]隨著電子商務(wù)技術(shù)的不斷發(fā)展，無論是企業(yè)的采購與銷售模式，抑或是個人的購物方式都隨之改變。日新月異的商業(yè)模式需要強大的技術(shù)力量作為支撐才能保證電子商務(wù)行業(yè)的不斷向前。為規(guī)范電子商務(wù)的業(yè)務(wù)流程，需要對其進行建模分析。通過對多方交易的電子商務(wù)流程進行建模，分析交易過程中可能出現(xiàn)的漏洞。由于交互行為多樣性，盡管單個流程模型本身沒有問題，但當(dāng)多個流程模型進行交互時卻產(chǎn)生了不可預(yù)期的變化。目前對變化域的研究普遍先對參與交互的流程模型逐個進行分析，再分別找出每個流程模型的變化域。但如果要處理多方交易的大型電子商務(wù)系統(tǒng)中的流程模型交互問題，采用以往的方法會導(dǎo)致工作量龐大且無法保證分析所得結(jié)果的準(zhǔn)確性。
[0003]基于不同環(huán)境的特定需求，業(yè)務(wù)流程管理研究的關(guān)注點也有所不同。因此所建立的業(yè)務(wù)流程模型的抽象級別也有所不同，從而導(dǎo)致交互模型中的活動并不是1:1的簡單對應(yīng)而是1:n或n:m的復(fù)雜對應(yīng)。以往方法在尋找變化域時是以模型間的活動是是簡單對應(yīng)關(guān)系為前提，無法解決具有復(fù)雜對應(yīng)關(guān)系的模型交互變化域的尋找問題。
【發(fā)明內(nèi)容】
[0004]本發(fā)明為了解決在電子商務(wù)案例中出現(xiàn)的以下技術(shù)難題提出了一套基于合并模型的Digest尋找業(yè)務(wù)流程變化域且適用于具有復(fù)雜對應(yīng)關(guān)系的交互模型的新方法:(1)由于建立業(yè)務(wù)流程模型的建模需求和抽象級別的不同所導(dǎo)致的模型交互出現(xiàn)不兼容的問題；
(2)現(xiàn)有方法無法對具有復(fù)雜對應(yīng)關(guān)系的模型間一致性和兼容性進行判斷；(3)由于實際模型復(fù)雜性和冗余性導(dǎo)致對模型系統(tǒng)進行全局分析工作量大的問題。
[0005]本發(fā)明采用抽象的手段對具有復(fù)雜對應(yīng)關(guān)系的模型進行標(biāo)準(zhǔn)化，這解決了原有辦法無法處理的復(fù)雜對應(yīng)問題，使該方法適用于更普遍的情況。為解決之前方法所存在的工作量大的問題，本發(fā)明對經(jīng)過標(biāo)準(zhǔn)化后的模型進行合并，然后再提取合并模型的Digest。Digest是模型集合中重疊的部分，也就是模型交互的地方。通過提取模型公共部分，保留它們公共的行為，把各自內(nèi)部的行為刪除，得到模型的Digest。通過分析模型的Digest與原模型的行為輪廓間的差異就能夠確定原模型交互發(fā)生變化的區(qū)域。最后根據(jù)變化域的行為語義分析了出現(xiàn)模型交互出現(xiàn)不兼容的原因。
[0006]本發(fā)明的優(yōu)點是:通過模型標(biāo)準(zhǔn)化解決了具有復(fù)雜匹配關(guān)系的交互模型的合并與兼容性問題，并且基于模型Digest尋找變化域，解決了對大型模型間交互尋找其變化域工作量巨大的問題?！緦＠綀D】
【附圖說明】
[0007]圖1為本發(fā)明的尋找變化域結(jié)構(gòu)圖；
[0008]圖2為本發(fā)明的模型標(biāo)準(zhǔn)化流程圖；
[0009]圖3為本發(fā)明的模型合并流程圖
[0010]圖4為本發(fā)明的基于Digest尋找變化域流程圖。
[0011]具有實施方式
[0012]本發(fā)明提出了一套基于合并模型的Digest尋找業(yè)務(wù)流程變化域的方法，且該方法適用于具有復(fù)雜對應(yīng)關(guān)系的交互模型。
[0013]下面結(jié)合附圖對本發(fā)明做進一步的說明:
[0014]圖1為本發(fā)明的尋找變化域具體實施的流程結(jié)構(gòu)圖。首先對電子商務(wù)中的真實案例進行分析，通過Petri網(wǎng)建立流程模型，再根據(jù)語義匹配和模式匹配得到流程模型間的復(fù)雜匹配關(guān)系。然后對模型進行標(biāo)準(zhǔn)化，再根據(jù)匹配關(guān)系合并標(biāo)準(zhǔn)化后的模型，提取合并模型的Digest得到交互模型的簡易版本，通過分析模型Digest與標(biāo)準(zhǔn)化模型的行為輪廓間的差異先在Digest中找出變化域，再利用映射函數(shù)將Digest中的變化域分別映射到原模型中，從得到原模型的變化域。
[0015]圖2是對所建立的Petri網(wǎng)模型進行標(biāo)準(zhǔn)化的過程:根據(jù)模型間的復(fù)雜匹配關(guān)系確定匹配變遷組；分析組內(nèi)變遷的行為輪廓關(guān)系判斷匹配變遷組屬于S (選擇)、L (循環(huán))、P (順序)等三種分支結(jié)構(gòu)類型中的哪種；根據(jù)匹配變遷組確定最大匹配域范圍；保持邊界庫所不變，來達到結(jié)構(gòu)不變性的目的；最后將最大匹配域進行抽象得到一個標(biāo)準(zhǔn)化模型。
[0016]圖3是模型合并流程圖:將標(biāo)準(zhǔn)化后的模型和模型間的匹配關(guān)系作為輸入；首先，將兩個模型的初始狀態(tài)合并，若遇到不屬于匹配域內(nèi)的庫所或變遷時，則建立一條帶模型標(biāo)識的分支來保留原模型內(nèi)部的行為，若庫所或變遷屬于匹配域，則將原模型的匹配域用同一個新的變遷代替，且原匹配域與外部元素的流關(guān)系參照原模型的保持不變，這樣既達到了保持原模型行為的不變性又得到了模型交互的一個精煉版本，保證了變化域分析的正確性和簡易性。
[0017]圖4是基于Digest尋找變化域的流程圖:首先計算模型Digest的行為輪廓及標(biāo)準(zhǔn)化模型的行為輪廓，將兩者的相交變遷的行為輪廓關(guān)系抽取出來進行比較，如果兩者不一致則在Digest上進行標(biāo)注該變遷，直至將所有交集部分內(nèi)的變遷比較完畢，這樣就可初步在模型Digest中確定變化域的范圍。然后，利用映射函數(shù)X根據(jù)匹配關(guān)系M將Digest中的疑似變化域分別投影到原模型上，這樣就可以在原模型中找出變化域。
【權(quán)利要求】
1.基于合并模型的Digest尋找業(yè)務(wù)流程變化域的方法，該方法包括模型標(biāo)準(zhǔn)化、模型合并與Digest提取以及基于Digest尋找變化域。其特征在于:通過模型標(biāo)準(zhǔn)化將模型間原來的復(fù)雜匹配關(guān)系簡單化且保持原模型的行為不變；通過模型合并將模型間的交互行為以合并的形式表現(xiàn)出來，這樣可以清楚的區(qū)分模型交互的內(nèi)部行為和外部行為；基于Digest尋找變化域，將變化域的尋找從原有的大范圍縮小到模型Digest的小范圍上，簡化了尋找變化域的復(fù)雜度和工作量。
2.根據(jù)權(quán)利要求1所述的模型合并，其特征在于:模型合并采用有帶模型標(biāo)識的選擇分支結(jié)構(gòu)通過合并和分離的手段保留原模型的所有信息，得到模型交互的一個精煉版本，這樣保證了變化域分析的正確性和簡易性。
3.根據(jù)權(quán)利要求1所述的基于Digest尋找變化域，其特征在于:不去直接對模型進行變化域分析而是通過提取模型公共部分，保留它們公共的行為，把各自內(nèi)部的行為刪除，得到模型Digest。然后將Digest和標(biāo)準(zhǔn)化模型中的相交變遷的行為輪廓關(guān)系抽取出來進行比較得到Digest中的變化域，再將其映射到原模型中從而得出原模型的變化域，該方法對處理大型復(fù)雜系統(tǒng)的變化域?qū)ふ覇栴}有很好的適用性。
【文檔編號】G06Q30/00GK103870968SQ201410106465
【公開日】2014年6月18日 申請日期:2014年3月20日 優(yōu)先權(quán)日:2014年3月20日
【發(fā)明者】方賢文, 歐陽虹, 方新建, 劉祥偉 申請人:安徽理工大學(xué)