• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    基于Petri網(wǎng)的并發(fā)事件流程模型修復(fù)分析 *

    2021-10-26 01:17:24楊慧慧方賢文邵叱風(fēng)
    關(guān)鍵詞:結(jié)構(gòu)活動(dòng)方法

    楊慧慧,方賢文,邵叱風(fēng)

    (安徽理工大學(xué)數(shù)學(xué)與大數(shù)據(jù)學(xué)院,安徽 淮南 232001)

    1 引言

    流程挖掘是工作流建模中最有用的工具,它可以從事件日志中獲取客觀的、有價(jià)值的信息,建立流程模型[1]。流程挖掘主要包括3種類型:流程發(fā)現(xiàn)、一致性檢查和流程增強(qiáng)。但是,通過流程發(fā)現(xiàn)得到的模型有時(shí)會(huì)出現(xiàn)與原始模型沒有任何相似之處的情況,這樣會(huì)丟失原始模型的使用價(jià)值,因此為了避免這種損失,許多學(xué)者對(duì)模型修復(fù)的研究越來越關(guān)注。

    模型修復(fù)與流程挖掘的3大類型是不同的。流程發(fā)現(xiàn)主要是從工作流日志中發(fā)現(xiàn)并提取流程模型,允許用戶構(gòu)建表示記錄在日志中的流程行為的流程模型[2]。例如,文獻(xiàn)[3]探討了一類基于業(yè)務(wù)流程執(zhí)行事件的在線流的流程發(fā)現(xiàn)。還有一些研究側(cè)重于評(píng)估所發(fā)現(xiàn)的流程模型,文獻(xiàn)[4]提出了一種新的方法來評(píng)估人為產(chǎn)生的負(fù)面事件的流程模型,這種方法允許為發(fā)現(xiàn)的流程模型定義行為度量。對(duì)于一致性檢查,其目的是評(píng)估記錄在事件日志中的流程模型和事件數(shù)據(jù)是否一致[5]。文獻(xiàn)[6]利用用于交互式流程發(fā)現(xiàn)的底層技術(shù)提出了一個(gè)框架(及其應(yīng)用)來快速計(jì)算一致性,以便增量地更新一致性結(jié)果。對(duì)于流程增強(qiáng),文獻(xiàn)[7]提供了流程增強(qiáng)的概述,描述了流程增強(qiáng)在各種工業(yè)中的應(yīng)用以及在選擇增強(qiáng)方法時(shí)考慮增強(qiáng)流程的目標(biāo)和約束的重要性,相關(guān)的增強(qiáng)方法有分解模型修復(fù)[8]、使用角色信息來增強(qiáng)業(yè)務(wù)流程模型[9]等。而模型修復(fù)主要針對(duì)事件日志與原始模型不符合的部分進(jìn)行修復(fù),最大程度地與原始模型保持相似。文獻(xiàn)[10,11]均研究了修復(fù)流程模型的問題,后者提出通過事件日志的觸發(fā)序列,可以從刪除行為、添加行為和更改行為3個(gè)方面對(duì)流程模型進(jìn)行修復(fù),修復(fù)后的流程模型均可以重放日志,并且與原始模型盡可能相似。因此,模型修復(fù)的方法既保留了原始模型的價(jià)值,又順應(yīng)了現(xiàn)實(shí)的流程執(zhí)行,具有一定的研究?jī)r(jià)值。

    本文余下部分的結(jié)構(gòu)為:第2節(jié)介紹與本文相關(guān)的基本概念;第3節(jié)提出新的修復(fù)方法來解決本文所針對(duì)的問題;第4節(jié)用實(shí)例分析本文所提方法的可行性;第5節(jié)總結(jié)全文并對(duì)未來工作做出展望。

    2 基本概念

    定義1(Petri網(wǎng))[12]滿足下列條件的三元組N=(P,T,F)稱作一個(gè)Petri網(wǎng):

    (1)P∪T≠?;

    (2)P∩T=?;

    (3)F?(P×T)∪(T×P);

    (4)dom(F)∪cod(F)=P∪T。

    其中,P和T是2個(gè)不相交的集合,它們是Petri網(wǎng)N的基本元素集,P中的元素稱為P-元或庫(kù)所,也稱為位置,T中的元素稱為T-元或變遷,F(xiàn)是Petri網(wǎng)N的流關(guān)系。dom(F)={x∈P∪T|?y∈P∪T:(x,y)∈F},cod(F)={x∈P∪T|?y∈P∪T:(y,x)∈F}。dom(F)表示F的定義域,Petri網(wǎng)N的流關(guān)系中2個(gè)相鄰節(jié)點(diǎn)x與y之間為因果關(guān)系,dom(F)為所有滿足條件的x的集合;而cod(F)表示F的值域,是2個(gè)相鄰節(jié)點(diǎn)x與y之間滿足cod(F)的條件的所有x的集合。

    定義2(跡,事件日志)[13]設(shè)Φ是一組活動(dòng)名稱的集合,Φ*是活動(dòng)發(fā)生序列的一個(gè)集合,若α∈Φ*是一個(gè)活動(dòng)序列,則稱α是一條跡。若L∈B(Φ*)是跡的有限非空的多重集,則稱L是一個(gè)事件日志。

    定義3(對(duì)齊)[13]設(shè)N=(P,T,F,α,m0,mf)是一個(gè)Petri網(wǎng),其m0為初始標(biāo)識(shí),mf為終止標(biāo)識(shí)。設(shè)α=a1a2…aθ是一條跡,其中θ表示活動(dòng)序列中觸發(fā)的活動(dòng)事件的個(gè)數(shù),α到Petri網(wǎng)流程模型N之間的對(duì)齊γ=(a1,t1)(a2,t2)…(az,tz)(其中(az,tz)表示對(duì)齊中第z組移動(dòng)對(duì))是滿足下列條件的移動(dòng)序列:

    (1)對(duì)齊γ的第1行(a1,a2,…,az)是事件日志中的一條跡;

    (2)對(duì)齊γ的第2行(t1,t2,…,tz)是Petri網(wǎng)流程模型N中的一組變遷發(fā)生序列;

    (3)對(duì)于所有的i=1,2,…,z,如果ti≠?,α(ti)≠τ,且ai≠?,那么α(ti)=ai。

    這里的移動(dòng)對(duì)滿足以下條件:

    (1)如果ai=?∧ti≠?,則稱為模型移動(dòng);

    (2)如果ai≠?∧ti=?,則稱為日志移動(dòng);

    (3)如果ai≠?∧ti≠?,則稱為同步移動(dòng)。

    定義4(狀態(tài)集)[14]設(shè)Ns=(S,SI,SF,Φ,T)是一個(gè)Petri網(wǎng)流程模型N的一個(gè)狀態(tài)集,其中:

    (1)S是模型中的狀態(tài),SI?S是初始狀態(tài),SF?S是終止?fàn)顟B(tài);

    (2)Φ是一組活動(dòng)集;

    (3)T?S×Φ×S。

    例如,若(s1,act,s2)∈T,則說明狀態(tài)s1通過變遷act可以轉(zhuǎn)變?yōu)闋顟B(tài)s2。

    3 基于并發(fā)事件的模型修復(fù)

    3.1 最優(yōu)對(duì)齊以及問題的提出

    對(duì)于給定的跡和Petri網(wǎng)流程模型N,可能會(huì)存在多個(gè)不同的對(duì)齊,為了方便比較不同對(duì)齊與流程模型之間偏差的大小,本文分別賦予同步移動(dòng)、日志移動(dòng)和模型移動(dòng)的成本函數(shù)值為0,1,1,特別地,(?,τ)的成本函數(shù)值為0。因此,一個(gè)跡對(duì)齊γ的成本c(γ)為γ中所有移動(dòng)的成本函數(shù)值的和。c(γ)越小則偏差越小,因此本文將考慮最優(yōu)對(duì)齊。

    定義5(最優(yōu)對(duì)齊)[15]給定一條跡α和Petri網(wǎng)流程模型N,對(duì)于α和N之間所有的對(duì)齊χ,?γ∈χ,對(duì)?γ′∈χ,都有c(γ)≤c(γ′),則稱γ是α和N之間的最優(yōu)對(duì)齊。

    例如,考慮本文第4節(jié)給出的跡α1,可以看出α1與事故保險(xiǎn)理賠流程模型N之間存在3種不同的對(duì)齊,即γ(α 1)、γ′(α 1)和γ″(α 1),如式(1)所示,由于2=c(γ(α 1))

    本文第4節(jié)給出了3個(gè)事件日志,共有12條跡,其中α1,α6,α7,α11,α12這5條跡與事故保險(xiǎn)理賠流程模型存在偏差,但是觀察發(fā)現(xiàn)這5條跡在現(xiàn)實(shí)生活中皆是合理的。交通事故涉及到的糾紛比較復(fù)雜,若當(dāng)事人直接選擇走司法程序則會(huì)出現(xiàn)α1的情形,由司法程序進(jìn)行裁決,并對(duì)相關(guān)損失作出估價(jià);通常需要走司法程序的時(shí)候都會(huì)開具相關(guān)證明,在辦理理賠手續(xù)的過程需要用到這些證明,即α6和α7;當(dāng)事故較小時(shí)也可以不進(jìn)行現(xiàn)場(chǎng)勘查,若在允許理賠情況下,當(dāng)事人對(duì)理賠金額存在異議,則保險(xiǎn)公司便不執(zhí)行匯款,等待異議解除后確定了最終金額再進(jìn)行匯款,即α11和α12。然而這幾條合理有效的跡并不能完全在流程模型N中重放,說明理賠系統(tǒng)目前不夠完善,應(yīng)該進(jìn)一步修復(fù)模型,使得模型能更好地反映出各個(gè)事件日志。

    3.2 重構(gòu)子流程修復(fù)模型

    目前,已有的經(jīng)典修復(fù)方法允許簡(jiǎn)單的插入和跳過活動(dòng),在γ(α1)中有2個(gè)模型移動(dòng),即(?,h),(?,j)?;顒?dòng)事件h和j不能在跡中觀察到但在模型中卻存在,這種情況下允許插入隱變遷跳過相應(yīng)行為活動(dòng)來進(jìn)行模型修復(fù),如圖1所示。

    Figure 1 Model repair diagram of the insertion of implicit transitions圖1 插入隱變遷的模型修復(fù)圖

    圖1中變量與本文第4節(jié)一致,其中p9~p12表示庫(kù)所的序號(hào),t7~t10表示變遷的序號(hào),g表示輕微事故,損失較小,h表示重大事故,損失較大,i表示進(jìn)入司法程序,j表示事故現(xiàn)場(chǎng)勘查檢驗(yàn)。對(duì)于跡α11和α12與流程模型N之間的最優(yōu)對(duì)齊γ(α11)和γ(α12)如式(2)所示,都包含了2個(gè)連續(xù)的日志移動(dòng)(s,?)和(u,?),只是順序不同,對(duì)于這種情況,可以根據(jù)文獻(xiàn)[13]中基于子流程的修復(fù)算法進(jìn)行模型修復(fù),如圖2所示。

    γ(α1):=abedcf?i?kmlnqrabedcfhijkmlnqrt1t2t5t4t3t6t8t9t10t11t13t12t14t17t18,

    γ'(α1):=abedcfi??kmlnqrabedcf?gjkmlnqrt1t2t5t4t3t6t7t10t11t13t12t14t17t18,

    γ″(α1):=abedcfi???kmlnqrabedcf?hijkmlnqrt1t2t5t4t3t6t8t9t10t11t13t12t14t17t18

    (1)

    γ(α12):=abdcefhijkmlnousprabdcefhijkmlno??prt1t2t4t3t5t6t8t9t10t11t13t12t14t15t16t18,

    (2)

    Figure 2 Model repair partial display diagram based on subprocess圖2 基于子流程的模型修復(fù)部分顯示圖

    圖2中變量與本文第4節(jié)一致,其中p11~p24表示庫(kù)所的序號(hào),t10~t20表示變遷的序號(hào)。根據(jù)上述模型修復(fù)方法,修復(fù)日志移動(dòng)需要插入相應(yīng)的活動(dòng),那么就有可能發(fā)生具有相同行為的同一個(gè)活動(dòng)在模型中不同位置重復(fù)出現(xiàn),分別多次構(gòu)成自循環(huán)的情況,增加了很多不必要的循環(huán)行為。例如,式(3)所示的最優(yōu)對(duì)齊γ(α6)和γ(α7)中都含有日志移動(dòng)(v,?),顯然,若在模型中插入2次相同的活動(dòng)v會(huì)構(gòu)成兩個(gè)自循環(huán)結(jié)構(gòu),如圖3所示,模型允許出現(xiàn)活動(dòng)v多次循環(huán)的行為:(…,j,v,v,k,l,m,n,…),(…,j,v,v,v,k,l,m,n,…),(…,j,v,k,v,v,l,m,n,…),(…,j,k,v,v,v,l,m,n,…),…,而日志中并未出現(xiàn)任何循環(huán)行為。

    Figure 3 Schematic diagram of unnecessary cyclic behavior圖3 不必要的循環(huán)行為示意圖

    因此,本文針對(duì)類似于γ(α6)和γ(α7)包含的這類對(duì)齊提出一種新的修復(fù)方法,即先將相關(guān)活動(dòng)的所有流關(guān)系斷開,然后重新構(gòu)造一個(gè)并發(fā)結(jié)構(gòu)的子流程,最后將重構(gòu)的子流程連接到流程模型中以達(dá)到修復(fù)效果。

    這種修復(fù)方法適合修復(fù)并發(fā)事件,因此本文研究的并發(fā)事件符合下列2個(gè)條件:

    (1)w(w≥2)個(gè)對(duì)齊中皆含有相同活動(dòng)事件的日志移動(dòng),且原流程模型中不包含此活動(dòng)事件。

    (2)若將此日志移動(dòng)的活動(dòng)事件與相鄰?fù)揭苿?dòng)的活動(dòng)事件視為一組并發(fā)事件ξ2,且ξ2↑∈βi-1,ξ2∈βi,ξ2↓∈βi+1,其中βi-1,βi,βi+1分別屬于塊結(jié)構(gòu)工作流網(wǎng)[16]中的一個(gè)結(jié)構(gòu),則有βi-1,βi,βi+1為順序關(guān)系,且在w(w≥2)個(gè)對(duì)齊中均成立。其中,ξ2↑和ξ2↓分別表示對(duì)應(yīng)跡中ξ2的前一個(gè)活動(dòng)事件和后一個(gè)活動(dòng)事件。

    為了篩選符合條件的并發(fā)事件,需要考慮流程模型的順序結(jié)構(gòu),因此用塊結(jié)構(gòu)工作流網(wǎng)[16]來展示更為直觀,如圖5所示。下面將給出詳細(xì)的篩選算法。

    算法1篩選符合條件的并發(fā)事件

    輸入:所有最優(yōu)對(duì)齊γ,流程模型N。

    輸出:所有符合條件的并發(fā)事件ξ。

    步驟2將η1中的對(duì)齊進(jìn)行分組,包含相同日志移動(dòng)的對(duì)齊分為一組,然后將單獨(dú)成組的對(duì)齊刪除,設(shè)分組完成后形成λ組,即G1,G2,…,Gλ(λ≥1)。

    γ(α6):=abdcefhijkvlmnoprabdcefhijk?lmnoprt1t2t4t3t5t6t8t9t10t11t12t13t14t15t16t18,

    γ(α7):=abdecfhijvklmnoprabdecfhij?klmnoprt1t2t4t5t3t6t8t9t10t11t12t13t14t15t16t18

    (3)

    步驟3采用流程樹語言對(duì)流程模型進(jìn)行描述,列出構(gòu)成順序結(jié)構(gòu)的各個(gè)分支β1,…,βk*,然后執(zhí)行步驟4對(duì)G1,G2,…,Gλ(λ≥1)分別進(jìn)行組內(nèi)篩選。

    步驟4觀察組內(nèi)各個(gè)對(duì)齊,保留日志移動(dòng)(包含連續(xù)日志移動(dòng))前后均為同步移動(dòng)的對(duì)齊,其余情況的對(duì)齊刪除。若|Gi|<2,則刪除第i組,否則執(zhí)行步驟5。

    步驟5在Gi中的各個(gè)對(duì)齊內(nèi),設(shè)日志移動(dòng)的活動(dòng)事件為α,若均滿足α↑∈βi,α↓∈βi+1,1≤i≤k-1,則刪除Gi,然后對(duì)剩余各組執(zhí)行步驟6。

    步驟6在各組中分別對(duì)目標(biāo)日志移動(dòng)中的活動(dòng)事件δ進(jìn)行分析,若將δ與相鄰活動(dòng)事件a視為一組并發(fā)事件ξj=[δ,a],a∈βi并且在組內(nèi)各個(gè)對(duì)齊中均滿足ξj↑∈βi-1,ξj∈βi,ξj↓∈βi+1,2≤i≤k-1,則保留符合條件的并發(fā)事件ξj,否則刪除此組對(duì)齊。

    步驟7得到各組中保留的符合條件的并發(fā)事件ξ1,ξ2,…,輸出所有符合條件的并發(fā)事件ξ={ξ1,ξ2,…},算法結(jié)束。

    找到符合條件的并發(fā)事件后,便可以對(duì)模型進(jìn)行修復(fù),重構(gòu)一個(gè)并發(fā)結(jié)構(gòu)的子流程,然后將其連接到模型中,使得事件日志與流程模型偏差為零,保證了流程模型能夠更好地反映出實(shí)際事件日志的情況。具體步驟如算法2所示。

    算法2重構(gòu)子流程模型修復(fù)

    輸入:一組并發(fā)事件ξj=〈a1,a2,…,a*〉,流程模型N,含有ξj的一組對(duì)齊γ(α)。

    輸出:含有重構(gòu)子流程的修復(fù)模型N′。

    步驟4添加一個(gè)隱變遷τ,使得τ∈·s′,其中s′={s′i*∈·ti*|i*=1,2,…,n*};

    步驟6將U連接到模型中,滿足p′∈·U,pn∈U·,即p′為τ的輸入庫(kù)所,p″為τ′的輸出庫(kù)所;

    步驟7得到一個(gè)含有重構(gòu)子流程的修復(fù)模型N′,算法結(jié)束。

    4 實(shí)例分析

    本節(jié)以事故保險(xiǎn)理賠流程模型為例,使用本文提出的新方法對(duì)原始模型進(jìn)行修復(fù),使得修復(fù)后的模型能夠完全重放事件日志,并且盡可能減少不必要的行為發(fā)生。最后與目前經(jīng)典的插入與跳過活動(dòng)的修復(fù)方法進(jìn)行對(duì)比,以驗(yàn)證本文所提方法的可行性。

    近年來,隨著人們生活水平顯著提高,交通事故的保險(xiǎn)理賠也越來越受到重視。正常情況下,事故發(fā)生之后,第一時(shí)間先報(bào)案,然后打電話通知保險(xiǎn)公司,繼而保險(xiǎn)公司會(huì)進(jìn)行以下正常的理賠程序:a報(bào)案受理;b查詢保單信息;c填寫出險(xiǎn)報(bào)案表;d報(bào)案登記;e人員調(diào)度;f理賠初審;g輕微事故;損失較小;h重大事故;損失較大;i進(jìn)入司法程序;j事故現(xiàn)場(chǎng)勘查檢驗(yàn);k定損估價(jià);v開具證明;l填寫索賠相關(guān)材料;m提交相關(guān)證明,n理賠復(fù)核;o理賠;s暫時(shí)不支付;u等待最終確認(rèn)金額;p匯款;q拒賠;r結(jié)案歸檔。由于事故發(fā)生類型錯(cuò)綜復(fù)雜,事故保險(xiǎn)理賠系統(tǒng)難免會(huì)出現(xiàn)不符合現(xiàn)實(shí)案例的情況,因此進(jìn)一步完善保險(xiǎn)理賠系統(tǒng)是有必要的。本文從保險(xiǎn)公司理賠系統(tǒng)中隨機(jī)調(diào)取了部分事件日志,經(jīng)刪除噪聲處理后得到如式(3)所示的事件日志:

    L1={α1=〈a,b,e,d,c,f,i,k,m,l,n,q,r〉23,α2=〈a,b,d,e,c,f,h,i,j,k,l,m,n,q,r〉316,α3=〈a,b,d,c,e,f,g,j,k,l,m,n,o,p,r〉2952,α4=〈a,b,e,c,d,f,g,j,k,m,l,n,o,p,r〉2710},

    L2={α5=〈a,b,c,d,e,f,h,i,j,k,l,m,n,o,p,r〉2108,α6=〈a,b,c,e,d,f,h,i,j,k,v,l,m,n,o,p,r〉18,α7=〈a,b,d,e,c,f,h,i,j,v,k,m,l,n,o,p,r〉31},

    L3={α8=〈a,b,e,d,c,f,g,j,k,l,m,n,q,r〉1791,α9=〈a,b,e,d,c,f,h,i,j,k,m,l,n,q,r〉536,α10=〈a,b,c,e,d,f,h,i,j,k,m,l,n,q,r〉824,α11=〈a,b,c,d,e,f,g,k,l,m,n,o,s,u,p,r〉29,α12=〈a,b,d,c,e,f,h,i,j,k,m,l,n,o,u,s,p,r〉16}

    (4)

    其中,L1,L2,L3表示3個(gè)不同的事件日志,αφ(φ=1,2,…,12)表示12條不同的跡,每條跡中后面的數(shù)字上標(biāo)表示這條跡在事件日志中出現(xiàn)的次數(shù)。根據(jù)這些事件日志,本文構(gòu)建了基于Petri網(wǎng)的事故保險(xiǎn)理賠流程模型N,如圖4所示,該流程模型符合一般的理賠程序。根據(jù)Petri網(wǎng)定義可知,圖4顯然滿足條件(1)~條件(3),對(duì)于條件(4),已知對(duì)于x∈P∪T,記·x={y|y∈P∪T∧(y,x)∈F},x·={y|y∈P∪T∧(x,y)∈F},稱·x為x的前集,x·為x的后集,因此,圖4中所有變遷與庫(kù)所中,dom(F)表示相鄰2節(jié)點(diǎn)x和y滿足(x,y)∈F的·y的集合,cod(F) 表示相鄰2節(jié)點(diǎn)x和y滿足(y,x)∈F的y·的集合,即dom(F)={p1,p2,…,p18,p19,t1,t2,…,t17,t18},cod(F)={p2,p3,…,p19,p20,t1,t2,…,t17,t18},滿足條件(4),因此,圖4是合理的Petri網(wǎng)模型。

    通過比對(duì)給定的事件日志與流程模型可以發(fā)現(xiàn),事件日志中大多數(shù)的跡都可以在流程模型中重放,但α1,α6,α7,α11,α12并不能與流程模型完全擬合,對(duì)于α1,α11,α12,前文已經(jīng)進(jìn)行了詳細(xì)分析,本節(jié)主要針對(duì)α6,α7這類行為,對(duì)事件日志L2使用本文提出的新方法對(duì)原始模型進(jìn)行修復(fù)。

    首先用流程樹語言描述流程模型的結(jié)構(gòu),并用矩形區(qū)域?qū)⒘鞒虡涔?jié)點(diǎn)表示出來,如圖5所示,可以清楚地看到流程模型中的各個(gè)結(jié)構(gòu),即順序結(jié)構(gòu)、選擇結(jié)構(gòu)和并發(fā)結(jié)構(gòu)。

    →(a,b,∧(c,d,e),f,×(g,→(h,i)),j,k,∧(l,m),n,×(→(o,p),q),r)

    Figure 4 Process model N of accident insurance claim based on Petri net圖4 基于Petri網(wǎng)的事故保險(xiǎn)理賠流程模型N

    Figure 5 Block structure diagram of Petri net model N圖5 Petri網(wǎng)模型N的塊結(jié)構(gòu)示意圖

    然后根據(jù)算法1篩選符合條件的并發(fā)事件,具體的篩選過程如表1所示。通過表1可以看出[k,v]是一組符合條件的并發(fā)事件,找到并發(fā)事件后根據(jù)算法2對(duì)模型進(jìn)行修復(fù)。首先斷開活動(dòng)k的所有流關(guān)系,然后與活動(dòng)v重構(gòu)為一個(gè)并發(fā)結(jié)構(gòu)

    Table 1 Main processes and results of filtering concurrent events

    最后將U連接到模型中,滿足·U={p12},U·={p13,p14},即得到修復(fù)后的模型N′,如圖7所示。

    顯然,相較于原始模型,含有重構(gòu)子流程的修復(fù)模型N′可以完全重放事件日志L2。不難發(fā)現(xiàn),在實(shí)際生活中,當(dāng)發(fā)生重大事故采取司法程序處理時(shí),都會(huì)收到開具的相關(guān)證明,以便在理賠手續(xù)中提供合法憑證。若使用現(xiàn)有的修復(fù)方法,例如,使用目前經(jīng)典的插入與跳過活動(dòng)的修復(fù)方法所得到的修復(fù)模型N1(如圖8所示),可以看出修復(fù)模型N1中包含自循環(huán)結(jié)構(gòu),允許無限多的循環(huán)行為,因此圖8過度概括了日志中出現(xiàn)的行為,導(dǎo)致模型表達(dá)不精確。相反,使用本文所提方法修復(fù)的模型N′,結(jié)構(gòu)相對(duì)比較簡(jiǎn)單,不包含循環(huán)結(jié)構(gòu),不會(huì)多次出現(xiàn)循環(huán)活動(dòng)v的行為,如圖7灰色部分所示,只涵蓋3種執(zhí)行順序:〈k,v〉,〈v,k〉,〈k〉,與L2中的情況完全吻合。

    Figure 6 Subprocess U of the refactoring圖6 重構(gòu)的子流程U

    Figure 7 Repair model N′ containning the refactored subprocess圖7 含有重構(gòu)子流程的修復(fù)模型N′

    Figure 8 Repair model N1 with existing methods圖8 現(xiàn)有方法的修復(fù)模型N1

    最后,為了對(duì)比N1與N′這2個(gè)修復(fù)模型的精確性,本文根據(jù)文獻(xiàn)[14]給出適合度fitness和精度precision的相關(guān)公式,如式(5)所示:

    (5)

    fitness(L2,N1)=1-0=1

    fitness(L2,N′)=1-0=1

    對(duì)于2個(gè)模型的精度,根據(jù)精度計(jì)算公式可得:

    顯然,0.84<0.97,在適合度都為1的情況下,本文方法修復(fù)后的模型精度更高一些。因此,通過上述對(duì)比可知,本文提出的方法具有合理性和可行性。

    5 結(jié)束語

    本文在已有研究的基礎(chǔ)上,基于事件日志與流程模型之間的最優(yōu)對(duì)齊,提出了一種重構(gòu)子流程的修復(fù)方法。首先根據(jù)最優(yōu)對(duì)齊,利用相關(guān)算法篩選符合條件的并發(fā)事件,并將其重構(gòu)為一個(gè)并發(fā)結(jié)構(gòu)的子流程,之后將子流程連接到原模型中完成修復(fù)。最后本文通過事故保險(xiǎn)理賠系統(tǒng)的一個(gè)實(shí)例驗(yàn)證了該方法的合理性。

    由于本文提出的種方法對(duì)于含有復(fù)雜結(jié)構(gòu)的流程模型并不能很好地適用,因此,在未來的研究中,我們希望可以進(jìn)一步拓展,尋找一種在復(fù)雜結(jié)構(gòu)的情況下也能普遍適用的修復(fù)方法,并盡可能提高相應(yīng)的適合度以及精度。

    猜你喜歡
    結(jié)構(gòu)活動(dòng)方法
    “六小”活動(dòng)
    “活動(dòng)隨手拍”
    行動(dòng)不便者,也要多活動(dòng)
    中老年保健(2021年2期)2021-08-22 07:31:10
    《形而上學(xué)》△卷的結(jié)構(gòu)和位置
    論結(jié)構(gòu)
    三八節(jié),省婦聯(lián)推出十大系列活動(dòng)
    海峽姐妹(2018年3期)2018-05-09 08:20:40
    可能是方法不對(duì)
    論《日出》的結(jié)構(gòu)
    用對(duì)方法才能瘦
    Coco薇(2016年2期)2016-03-22 02:42:52
    四大方法 教你不再“坐以待病”!
    Coco薇(2015年1期)2015-08-13 02:47:34
    日本一本二区三区精品| 亚洲国产最新在线播放| 99久久中文字幕三级久久日本| 久久久久久九九精品二区国产| 国产淫语在线视频| 26uuu在线亚洲综合色| 美女被艹到高潮喷水动态| 午夜免费激情av| 一级a做视频免费观看| 亚洲精品,欧美精品| 菩萨蛮人人尽说江南好唐韦庄| 在线观看一区二区三区| 97人妻精品一区二区三区麻豆| 国产成人精品福利久久| 男人和女人高潮做爰伦理| 街头女战士在线观看网站| 亚洲丝袜综合中文字幕| 欧美人与善性xxx| 少妇人妻精品综合一区二区| 亚洲成人一二三区av| 少妇人妻精品综合一区二区| 少妇裸体淫交视频免费看高清| 麻豆成人av视频| 97精品久久久久久久久久精品| 久久99热这里只频精品6学生| av.在线天堂| 免费看光身美女| 免费观看在线日韩| 欧美bdsm另类| 26uuu在线亚洲综合色| 日日啪夜夜撸| 青春草视频在线免费观看| 国产亚洲一区二区精品| 精品久久久久久久末码| 国产av不卡久久| 亚洲成人中文字幕在线播放| 久久久久久久午夜电影| 99热6这里只有精品| 欧美 日韩 精品 国产| 高清日韩中文字幕在线| 成人美女网站在线观看视频| 在现免费观看毛片| av卡一久久| 亚洲精品国产成人久久av| 久久人人爽人人爽人人片va| 午夜福利在线观看吧| 麻豆精品久久久久久蜜桃| 亚洲国产色片| 在线免费十八禁| 中国国产av一级| 只有这里有精品99| 亚洲性久久影院| 联通29元200g的流量卡| 欧美成人精品欧美一级黄| 国产69精品久久久久777片| 国产乱人偷精品视频| 一级黄片播放器| 中文精品一卡2卡3卡4更新| 嫩草影院精品99| 777米奇影视久久| eeuss影院久久| 久久久久久久久久成人| 国产v大片淫在线免费观看| 一个人观看的视频www高清免费观看| 亚洲av成人精品一二三区| 国产精品.久久久| 国产乱人偷精品视频| 亚洲国产色片| 欧美性猛交╳xxx乱大交人| 精华霜和精华液先用哪个| 女人久久www免费人成看片| 中文在线观看免费www的网站| 婷婷色综合www| 中文欧美无线码| 欧美变态另类bdsm刘玥| 国产一级毛片在线| 午夜老司机福利剧场| 日韩强制内射视频| 99久久中文字幕三级久久日本| h日本视频在线播放| 国产高清三级在线| 蜜桃亚洲精品一区二区三区| 亚洲欧美一区二区三区国产| 精品酒店卫生间| 国产乱来视频区| 亚洲熟妇中文字幕五十中出| 精品人妻偷拍中文字幕| av在线蜜桃| 亚洲精品亚洲一区二区| 91aial.com中文字幕在线观看| 午夜福利在线在线| 一级毛片黄色毛片免费观看视频| 成年女人在线观看亚洲视频 | 久久综合国产亚洲精品| 欧美精品国产亚洲| 色综合站精品国产| 深爱激情五月婷婷| 一区二区三区四区激情视频| 淫秽高清视频在线观看| 97人妻精品一区二区三区麻豆| 欧美精品一区二区大全| 国产精品一区二区在线观看99 | av在线观看视频网站免费| 国产真实伦视频高清在线观看| 美女大奶头视频| 精品熟女少妇av免费看| 国产有黄有色有爽视频| 日韩av在线免费看完整版不卡| 精品人妻视频免费看| 日本wwww免费看| 搡女人真爽免费视频火全软件| 全区人妻精品视频| 日本熟妇午夜| 午夜视频国产福利| 亚洲人成网站高清观看| 特大巨黑吊av在线直播| 久久人人爽人人片av| 午夜福利视频1000在线观看| 最近中文字幕高清免费大全6| 国产亚洲午夜精品一区二区久久 | 亚洲欧美日韩无卡精品| h日本视频在线播放| 91精品一卡2卡3卡4卡| 国产午夜精品论理片| 看免费成人av毛片| 精品久久久久久久久久久久久| 99热6这里只有精品| 亚洲国产色片| 亚洲成人一二三区av| 久热久热在线精品观看| 精品久久久久久久久久久久久| 免费看日本二区| 好男人在线观看高清免费视频| 高清欧美精品videossex| 18禁在线无遮挡免费观看视频| 久久99热这里只频精品6学生| 国产在视频线精品| 韩国高清视频一区二区三区| 午夜福利成人在线免费观看| 日韩欧美国产在线观看| 亚洲精品乱码久久久v下载方式| 老司机影院成人| 欧美xxxx黑人xx丫x性爽| 成人午夜高清在线视频| 国产综合精华液| 久久久精品94久久精品| 一级片'在线观看视频| 国产成人精品久久久久久| 少妇熟女aⅴ在线视频| 亚洲欧美成人精品一区二区| 99久久精品一区二区三区| 国产色婷婷99| 在线观看人妻少妇| 亚洲久久久久久中文字幕| 美女cb高潮喷水在线观看| 嫩草影院精品99| 噜噜噜噜噜久久久久久91| 男人舔奶头视频| 男人舔女人下体高潮全视频| 国产视频首页在线观看| 91久久精品国产一区二区成人| 精品一区二区免费观看| 久久精品久久精品一区二区三区| 少妇熟女欧美另类| 中国美白少妇内射xxxbb| 边亲边吃奶的免费视频| 高清日韩中文字幕在线| 国产亚洲av嫩草精品影院| 高清在线视频一区二区三区| 99视频精品全部免费 在线| 九九久久精品国产亚洲av麻豆| 少妇猛男粗大的猛烈进出视频 | 男人和女人高潮做爰伦理| 日韩欧美国产在线观看| 亚洲三级黄色毛片| 一区二区三区乱码不卡18| 日本色播在线视频| 亚洲av二区三区四区| 一区二区三区高清视频在线| 91aial.com中文字幕在线观看| 男人舔女人下体高潮全视频| 亚洲精品国产成人久久av| 91在线精品国自产拍蜜月| 国产成人aa在线观看| 最近最新中文字幕大全电影3| 久久鲁丝午夜福利片| 三级经典国产精品| 欧美日本视频| 99久久九九国产精品国产免费| 男的添女的下面高潮视频| 国产黄频视频在线观看| 日韩三级伦理在线观看| 免费看美女性在线毛片视频| 五月天丁香电影| 又爽又黄无遮挡网站| 久久精品国产鲁丝片午夜精品| 日韩电影二区| 女人久久www免费人成看片| 久久精品人妻少妇| 亚洲熟女精品中文字幕| 精品午夜福利在线看| 国产精品国产三级国产av玫瑰| 国产精品国产三级国产av玫瑰| 亚洲内射少妇av| 久久午夜福利片| 久久久久性生活片| 久久久久久久亚洲中文字幕| 欧美成人午夜免费资源| 久久久a久久爽久久v久久| 赤兔流量卡办理| 免费大片黄手机在线观看| 熟女电影av网| 久久热精品热| 久久精品久久久久久噜噜老黄| 久久精品久久久久久噜噜老黄| 亚洲欧洲日产国产| 少妇猛男粗大的猛烈进出视频 | 亚洲精品,欧美精品| 在线观看一区二区三区| 免费电影在线观看免费观看| 国产成人福利小说| 偷拍熟女少妇极品色| 亚洲aⅴ乱码一区二区在线播放| 18禁裸乳无遮挡免费网站照片| 男人爽女人下面视频在线观看| 在线免费观看不下载黄p国产| 国产单亲对白刺激| 伊人久久国产一区二区| 可以在线观看毛片的网站| av在线亚洲专区| 黄色日韩在线| 日韩欧美 国产精品| 国产精品无大码| 亚洲av.av天堂| 激情五月婷婷亚洲| 久久6这里有精品| 美女cb高潮喷水在线观看| 免费黄色在线免费观看| 亚洲精品456在线播放app| 欧美极品一区二区三区四区| 99久久精品一区二区三区| 久久久久免费精品人妻一区二区| 2022亚洲国产成人精品| 国产综合精华液| 建设人人有责人人尽责人人享有的 | 日日撸夜夜添| 久久99热这里只有精品18| 91在线精品国自产拍蜜月| 成年免费大片在线观看| 精品国内亚洲2022精品成人| 亚洲第一区二区三区不卡| av国产免费在线观看| 亚洲乱码一区二区免费版| 亚洲国产av新网站| 激情五月婷婷亚洲| 亚洲精品第二区| 中文字幕久久专区| www.av在线官网国产| 日产精品乱码卡一卡2卡三| av一本久久久久| 亚洲va在线va天堂va国产| 国产乱人偷精品视频| 国产精品.久久久| 国产精品国产三级专区第一集| 看非洲黑人一级黄片| 久久久久久久久久黄片| 日日摸夜夜添夜夜爱| 国产亚洲一区二区精品| 91精品一卡2卡3卡4卡| 日韩av在线免费看完整版不卡| a级毛片免费高清观看在线播放| 午夜爱爱视频在线播放| 日本三级黄在线观看| 91狼人影院| 亚洲精品自拍成人| 精品一区在线观看国产| 97精品久久久久久久久久精品| 波多野结衣巨乳人妻| 国产女主播在线喷水免费视频网站 | 自拍偷自拍亚洲精品老妇| 我的女老师完整版在线观看| 免费看美女性在线毛片视频| 亚洲av免费高清在线观看| 午夜久久久久精精品| 中国美白少妇内射xxxbb| 国产精品三级大全| or卡值多少钱| 午夜福利视频1000在线观看| 久久99热6这里只有精品| 国产 一区 欧美 日韩| 国产精品99久久久久久久久| av在线蜜桃| 亚洲美女视频黄频| 国产视频首页在线观看| 国产在视频线精品| 如何舔出高潮| 久久久久久久久中文| 你懂的网址亚洲精品在线观看| 亚洲欧美日韩无卡精品| 日本猛色少妇xxxxx猛交久久| 69av精品久久久久久| 免费黄色在线免费观看| 免费黄频网站在线观看国产| 亚洲人成网站在线观看播放| av天堂中文字幕网| 男女下面进入的视频免费午夜| 免费大片18禁| 亚洲精品日本国产第一区| 天堂影院成人在线观看| 亚洲国产高清在线一区二区三| 亚洲精品色激情综合| 在线免费十八禁| 小蜜桃在线观看免费完整版高清| 边亲边吃奶的免费视频| 国产不卡一卡二| 少妇裸体淫交视频免费看高清| 免费在线观看成人毛片| 国产欧美日韩精品一区二区| 午夜日本视频在线| 青春草亚洲视频在线观看| 免费在线观看成人毛片| 成人亚洲精品一区在线观看 | 国产伦精品一区二区三区视频9| 久久精品久久精品一区二区三区| 欧美xxxx性猛交bbbb| 日韩成人伦理影院| 中文字幕av成人在线电影| 久久人人爽人人爽人人片va| 国产老妇伦熟女老妇高清| 国产成人午夜福利电影在线观看| 亚洲精品,欧美精品| 少妇猛男粗大的猛烈进出视频 | 最近的中文字幕免费完整| 国产综合懂色| 欧美不卡视频在线免费观看| 国产黄频视频在线观看| 丰满乱子伦码专区| 国产淫片久久久久久久久| av黄色大香蕉| 国产黄片美女视频| 欧美日韩精品成人综合77777| 一级二级三级毛片免费看| 国产亚洲精品久久久com| 精品亚洲乱码少妇综合久久| 国产毛片a区久久久久| av在线观看视频网站免费| 欧美另类一区| 亚洲va在线va天堂va国产| 精品久久久久久成人av| 国产一区二区三区综合在线观看 | 成年女人看的毛片在线观看| 免费av毛片视频| 美女内射精品一级片tv| 超碰97精品在线观看| 久久精品国产亚洲av涩爱| 国产午夜精品久久久久久一区二区三区| 七月丁香在线播放| 亚洲欧美一区二区三区国产| 国产精品99久久久久久久久| 26uuu在线亚洲综合色| 国产精品熟女久久久久浪| 成人欧美大片| 欧美三级亚洲精品| 国产欧美另类精品又又久久亚洲欧美| 亚洲综合精品二区| 欧美 日韩 精品 国产| 99视频精品全部免费 在线| 国产一区亚洲一区在线观看| 午夜激情欧美在线| 国内精品一区二区在线观看| 婷婷色综合大香蕉| 久久97久久精品| 九九爱精品视频在线观看| 国产高潮美女av| 搡老妇女老女人老熟妇| 中文在线观看免费www的网站| 国产免费一级a男人的天堂| 成人漫画全彩无遮挡| 国产精品国产三级国产专区5o| 亚洲欧美成人精品一区二区| 国产av在哪里看| 久久99热这里只频精品6学生| 国产精品久久久久久久久免| 在线a可以看的网站| 777米奇影视久久| 国产v大片淫在线免费观看| 一级毛片黄色毛片免费观看视频| 国产精品人妻久久久影院| 日韩亚洲欧美综合| 国产高清三级在线| 国产亚洲精品av在线| 免费看a级黄色片| 国产亚洲最大av| 欧美成人午夜免费资源| 色综合色国产| 国产一区二区在线观看日韩| 国产精品熟女久久久久浪| 麻豆精品久久久久久蜜桃| 亚洲三级黄色毛片| 日韩一本色道免费dvd| 精品一区在线观看国产| 麻豆乱淫一区二区| 亚洲最大成人中文| 七月丁香在线播放| 非洲黑人性xxxx精品又粗又长| 亚洲自偷自拍三级| 午夜福利视频1000在线观看| 亚洲在线自拍视频| ponron亚洲| 嫩草影院精品99| 久热久热在线精品观看| 看十八女毛片水多多多| 久久99热这里只有精品18| 一本久久精品| 青春草视频在线免费观看| 国产爱豆传媒在线观看| 搡老乐熟女国产| 国产v大片淫在线免费观看| 久久久久久久久久久免费av| 亚洲综合色惰| 老司机影院成人| 午夜免费男女啪啪视频观看| 国产午夜精品久久久久久一区二区三区| 搡老妇女老女人老熟妇| 午夜久久久久精精品| 日韩av不卡免费在线播放| 在线观看美女被高潮喷水网站| 国产 一区 欧美 日韩| 免费高清在线观看视频在线观看| 能在线免费看毛片的网站| 亚洲丝袜综合中文字幕| 3wmmmm亚洲av在线观看| 精品一区二区三区视频在线| 国产在线男女| 国产精品福利在线免费观看| 卡戴珊不雅视频在线播放| 亚洲在线自拍视频| 亚洲欧美日韩无卡精品| 亚洲精品日本国产第一区| 成人高潮视频无遮挡免费网站| 国产国拍精品亚洲av在线观看| 欧美日韩亚洲高清精品| 亚洲精品视频女| 国语对白做爰xxxⅹ性视频网站| 亚洲丝袜综合中文字幕| 亚洲欧美精品专区久久| 欧美xxxx黑人xx丫x性爽| 久久久精品免费免费高清| 国产免费一级a男人的天堂| 婷婷色综合大香蕉| 最近手机中文字幕大全| 熟妇人妻久久中文字幕3abv| 亚洲熟妇中文字幕五十中出| 男人狂女人下面高潮的视频| 纵有疾风起免费观看全集完整版 | 毛片一级片免费看久久久久| 丝袜喷水一区| 久久99精品国语久久久| 久久久色成人| .国产精品久久| 嫩草影院精品99| 国产成人精品一,二区| 日韩中字成人| 久99久视频精品免费| 亚洲,欧美,日韩| 免费不卡的大黄色大毛片视频在线观看 | 久久精品国产亚洲网站| 黄色一级大片看看| 亚洲精品乱久久久久久| 久久久久性生活片| 夫妻性生交免费视频一级片| 色哟哟·www| 晚上一个人看的免费电影| 国产熟女欧美一区二区| 激情 狠狠 欧美| 99久久人妻综合| 久久久久久九九精品二区国产| 最近中文字幕高清免费大全6| av在线老鸭窝| 欧美日韩在线观看h| 欧美成人一区二区免费高清观看| 久久久精品免费免费高清| 在线观看一区二区三区| 在线免费十八禁| 女人久久www免费人成看片| 一边亲一边摸免费视频| 男人狂女人下面高潮的视频| 免费观看在线日韩| 青青草视频在线视频观看| 中文字幕人妻熟人妻熟丝袜美| 神马国产精品三级电影在线观看| 91精品伊人久久大香线蕉| 精品一区二区三卡| 日韩中字成人| 99热6这里只有精品| 日本黄大片高清| 一级毛片我不卡| 国产毛片a区久久久久| 欧美一区二区亚洲| 欧美变态另类bdsm刘玥| 高清日韩中文字幕在线| 国产精品一二三区在线看| 人体艺术视频欧美日本| 狂野欧美激情性xxxx在线观看| av线在线观看网站| av国产免费在线观看| 国产视频内射| 日韩人妻高清精品专区| 99久久精品国产国产毛片| 亚洲经典国产精华液单| 久久6这里有精品| 岛国毛片在线播放| 国产综合精华液| 高清在线视频一区二区三区| 久久久久久九九精品二区国产| 卡戴珊不雅视频在线播放| 日韩成人伦理影院| 国产成人福利小说| 精品99又大又爽又粗少妇毛片| 亚洲国产精品sss在线观看| 久久久色成人| 欧美日韩一区二区视频在线观看视频在线 | 日韩电影二区| 国产国拍精品亚洲av在线观看| 国产亚洲av片在线观看秒播厂 | 一区二区三区四区激情视频| 天堂影院成人在线观看| 深夜a级毛片| 国产精品美女特级片免费视频播放器| 免费av不卡在线播放| 青青草视频在线视频观看| 成人综合一区亚洲| 菩萨蛮人人尽说江南好唐韦庄| 韩国高清视频一区二区三区| 成人毛片60女人毛片免费| 国产精品久久久久久av不卡| 久久久久免费精品人妻一区二区| 欧美精品国产亚洲| 亚洲av在线观看美女高潮| 亚洲精品日韩av片在线观看| 超碰97精品在线观看| 街头女战士在线观看网站| 婷婷色av中文字幕| 中文字幕av成人在线电影| 日韩 亚洲 欧美在线| 夜夜看夜夜爽夜夜摸| 卡戴珊不雅视频在线播放| 免费av观看视频| 国产精品一区二区三区四区久久| 色尼玛亚洲综合影院| 91av网一区二区| 麻豆精品久久久久久蜜桃| 国产爱豆传媒在线观看| 大香蕉97超碰在线| 久久久久久久久久人人人人人人| 亚洲精品久久午夜乱码| 欧美变态另类bdsm刘玥| 亚洲熟妇中文字幕五十中出| 高清在线视频一区二区三区| 3wmmmm亚洲av在线观看| 天堂俺去俺来也www色官网 | 久久精品久久久久久噜噜老黄| 韩国高清视频一区二区三区| 日韩av不卡免费在线播放| 能在线免费观看的黄片| 欧美xxⅹ黑人| 亚洲国产最新在线播放| 国产黄片美女视频| av国产久精品久网站免费入址| 夫妻性生交免费视频一级片| 六月丁香七月| 大陆偷拍与自拍| 久久久久九九精品影院| 九九在线视频观看精品| 午夜免费激情av| 欧美三级亚洲精品| 免费观看的影片在线观看| 久久久久久久久久人人人人人人| 欧美zozozo另类| 欧美激情久久久久久爽电影| 91在线精品国自产拍蜜月| 久久久久久久久久成人| 一个人免费在线观看电影| 亚洲在久久综合| 91在线精品国自产拍蜜月| 免费大片黄手机在线观看| 色播亚洲综合网| 久久久久久久久久人人人人人人| av国产久精品久网站免费入址| 欧美最新免费一区二区三区| 91精品伊人久久大香线蕉| www.av在线官网国产| 女人十人毛片免费观看3o分钟| 少妇高潮的动态图| 好男人视频免费观看在线| av福利片在线观看| 午夜福利视频1000在线观看| 国内精品美女久久久久久| 国产片特级美女逼逼视频| 一区二区三区高清视频在线| 国产片特级美女逼逼视频| 成人毛片60女人毛片免费| 大香蕉97超碰在线| 成人毛片60女人毛片免费| 能在线免费观看的黄片| 男人舔奶头视频| 亚洲成人一二三区av| 五月伊人婷婷丁香| 国产在线一区二区三区精| 亚洲一级一片aⅴ在线观看| 亚洲av成人精品一区久久| 国产成年人精品一区二区| 亚洲在线观看片| 一边亲一边摸免费视频| 午夜免费观看性视频|