[發(fā)明專(zhuān)利]一種基于選擇分支構(gòu)建的用于提高業(yè)務(wù)流程效率的方法

有效

• 申請(qǐng)?zhí)枺?/td>: 201910960972.8
• 申請(qǐng)日: 2019-10-11
• 公開(kāi)（公告）號(hào): CN110704697B
• 公開(kāi)（公告）日: 2022-02-18
• 發(fā)明（設(shè)計(jì)）人: 杜玉越;徐玉華;亓亮;張福新;欒文靜;王路
• 申請(qǐng)（專(zhuān)利權(quán)）人: 山東科技大學(xué)
• 主分類(lèi)號(hào): G06F16/901
• 分類(lèi)號(hào): G06F16/901;G16H40/20;G06Q10/06
• 代理公司: 青島錦佳專(zhuān)利代理事務(wù)所(普通合伙) 37283
• 代理人: 朱玉建

1.一種基于選擇分支構(gòu)建的用于提高業(yè)務(wù)流程效率的方法，基于邏輯Petri網(wǎng)實(shí)現(xiàn)；

其特征在于，所述方法包括如下步驟：

I.收集實(shí)際業(yè)務(wù)流程中產(chǎn)生的事件日志中所包含的活動(dòng)，將這些活動(dòng)與原流程模型所包含的活動(dòng)進(jìn)行比較，用新活動(dòng)集記錄只出現(xiàn)在事件日志中而未出現(xiàn)在原流程模型中的新活動(dòng)；

該步驟I的具體過(guò)程為：

I.1.定義新活動(dòng)集C_new、事件日志中所包含的活動(dòng)集C_A和原流程模型中所包含的活動(dòng)集C_T，令

I.2.對(duì)任意的跡σ∈事件日志L，若任意的σ[i₁]∈σ，1≤i₁≤|σ|，滿足：則C_A＝C_A∪{σ[i₁]}，σ[i₁]表示跡σ中第i₁個(gè)元素；

I.3.對(duì)任意的序列s∈S_PN，若任意的s[i₂]∈s，1≤i₂≤|s|，滿足：則C_T＝C_T∪{s[i₂]}；

其中，PN為Petri網(wǎng)表示的原流程模型；

S_PN表示對(duì)應(yīng)于原流程模型PN的完全觸發(fā)序列集，s[i₂]表示序列s中第i₂個(gè)元素；

I.4.對(duì)任意的活動(dòng)a∈C_A，若活動(dòng)則新活動(dòng)集C_new＝C_new∪{a}；

I.5.得到新活動(dòng)集C_new；

II.重新定義活動(dòng)間的次序關(guān)系：用日志次序集來(lái)記錄事件日志中活動(dòng)間的次序關(guān)系，用模型次序集來(lái)記錄模型中活動(dòng)間的次序關(guān)系；

定義擴(kuò)展的次序關(guān)系

設(shè)L是一個(gè)事件日志，對(duì)于任意的活動(dòng)a,b∈活動(dòng)集A，有：

(1)跟隨關(guān)系：ab當(dāng)且僅當(dāng)σ[i₁]＝a，σ[i₁+1]＝b，1≤i₁|σ|；

(2)因果關(guān)系→：a→b當(dāng)且僅當(dāng)a,b∈σ：且

(3)并發(fā)關(guān)系||：a||b當(dāng)且僅當(dāng)對(duì)a,b∈σ₁：ab且對(duì)a,b∈σ₂：ba；

(4)普通選擇關(guān)系×：a×b當(dāng)且僅當(dāng)a∈σ且或b∈σ且

(5)邏輯選擇關(guān)系當(dāng)且僅當(dāng)a×b且或或或^◆a為a的前活動(dòng)集，a^◆為a的后活動(dòng)集，^◆b為b的前活動(dòng)集，b^◆為b的后活動(dòng)集；

定義日志次序集L_R

L是一個(gè)事件日志，是一個(gè)符號(hào)集，被稱(chēng)作是一個(gè)日志次序集，其中，表示活動(dòng)a和b之間的次序關(guān)系；

定義模型次序集M_R

模型PN是一個(gè)Petri網(wǎng)，S_PN是一個(gè)完全觸發(fā)序列集，是一個(gè)符號(hào)集，是一個(gè)模型次序集；

其中，T是一個(gè)有限變遷集，表示t_i和t_j基于S_PN的次序關(guān)系；

獲取日志次序集L_R的過(guò)程具體為：

II.1.1.定義R為一個(gè)集合，令日志次序集

II.1.2.對(duì)任意的跡σ∈L滿足：a_i1∈σ，1≤i₁|σ|，若R＝R∪{a_i1＞a_i1+1}；

II.1.3.若R中的任意元素滿足：a＞b且b≯a，則L_R＝L_R∪{a→b}；

II.1.4.若R中的任意元素滿足：a＞b，b＞a，且對(duì)任意的σ∈L有：a,b∈σ，則L_R＝L_R∪{a||b}；

II.1.5.若任意σ∈L滿足：a∈σ且或者且b∈σ，則L_R＝L_R∪{a×b}；

II.1.6.對(duì)于任意a×b∈L_R，若或或或則

II.1.7.得到日志次序集L_R；

獲取模型次序集M_R的過(guò)程具體為：

II.2.1.定義R為一個(gè)集合，令模型次序集

II.2.2.對(duì)任意的跡s∈S_PN滿足：t_i2∈s，1≤i₂|s|，若R＝R∪{t_i2＞t_i2+1}；

II.2.3.若R中的任意元素滿足：a＞b且b≯a，則M_R＝M_R∪{a→b}；

II.2.4.若R中的任意元素滿足：a＞b，b＞a，且對(duì)任意的s∈S_PN有：a,b∈s，則M_R＝M_R∪{a||b}；

II.2.5.若任意s∈S_PN滿足：a∈s且或者且b∈s，則M_R＝M_R∪{a×b}；

II.2.6.得到模型次序集M_R；

III.比較日志次序集和模型次序集，發(fā)現(xiàn)日志次序集和模型次序集的不同之處，得到一個(gè)記錄事件日志與原流程模型之間差異的偏差集；

L_R是L的日志次序集，M_R是模型PN的模型次序集，D_R是一個(gè)偏差集，且滿足：

(1)當(dāng)且僅當(dāng)且a∈C_new，或b∈C_new，或a,b∈C_new；

(2)當(dāng)且僅當(dāng)且

(3)當(dāng)且僅當(dāng)且

該步驟III的具體過(guò)程為：

III.1.令偏差集

III.2.對(duì)任意的若a∈C_new，或b∈C_new，或a,b∈C_new，則

III.3.對(duì)任意的若存在且則D_R＝D_R；

III.4.對(duì)任意的若存在且則

III.5.對(duì)任意的若不存在則

III.6.得到偏差集D_R；

IV.根據(jù)偏差集，找到出現(xiàn)在新活動(dòng)之前的活動(dòng)，記錄在前驅(qū)集中；用后繼集記錄出現(xiàn)在新活動(dòng)之后的活動(dòng)，由前驅(qū)集和后繼集確定新活動(dòng)在原流程模型中的添加位置；

定義前驅(qū)集p[a]與后繼集s[a]

對(duì)任意活動(dòng)a∈C_new，有：p[a]＝{b|b∈A,b→a∈D_R}∪{ξ₁|σ∈L,a＝σ[1]}，s[a]＝{b|b∈A,a→b∈D_R}∪{ξ₂|σ∈L,a＝σ[|σ|]}，p[a]是a的前驅(qū)集，s[a]是a的后繼集；

ξ₁∈p[a]表示a是某些跡的第一個(gè)活動(dòng)，ξ₂∈s[a]表示a是某些跡的最后一個(gè)活動(dòng)；

該步驟IV的具體過(guò)程為：

IV.1.定義前驅(qū)集S_pre和后繼集S_suc，令p[a]＝φ，s[a]＝φ；

IV.2.對(duì)任意的a∈C_new，若存在b→a∈D_R，則p[a]＝p[a]∪{b}；

IV.3.對(duì)任意的a∈C_new，若存在σ∈L使得：a＝σ[1]且則p[a]＝p[a]∪{ξ₁}；

IV.4.S_pre＝S_pre∪{p[a]}；

IV.5.對(duì)任意的a∈C_new，若存在a→b∈D_R，則s[a]＝p[a]∪{b}；

IV.6.對(duì)任意的a∈C_new，若存在σ∈L使得：a＝σ[|σ|]且則s[a]＝s[a]∪{ξ₂}；

IV.7.S_suc＝S_suc∪{s[a]}；

IV.8.得到前驅(qū)集S_pre和后繼集S_suc；

V.基于前驅(qū)集與后繼集將新活動(dòng)作為選擇分支添加到原流程模型中，完成對(duì)原流程模型的修復(fù)，利用修復(fù)后的模型重演實(shí)際流程中所產(chǎn)生的新日志，正確表達(dá)實(shí)際業(yè)務(wù)流程；

該步驟V的具體過(guò)程為：

V.1.令基于邏輯Petri網(wǎng)的修復(fù)模型LPN′＝(P′,T′；F′,I′,O′,M′)＝PN；

其中，P′表示一個(gè)有限庫(kù)所集；T′表示一個(gè)有限變遷集；F′表示一個(gè)有限弧集；

I′表示邏輯輸入變遷到邏輯輸入函數(shù)的映射；

O′表示邏輯輸出變遷到邏輯輸出函數(shù)的映射；M′表示邏輯Petri網(wǎng)的標(biāo)識(shí)；

V.2.利用步驟I-步驟IV分別得到C_new、L_R、M_R、D_R、S_pre和S_suc；

V.3.對(duì)任意的a∈C_new，執(zhí)行步驟V.4-步驟V.22；

V.4.若存在ξ₁∈p[a]，則令T′＝T′∪{a}，F(xiàn)′＝F′∪{p_i→a}；

其中，p_i表示原流程模型中的初始庫(kù)所，p_f表示原流程模型中的終止庫(kù)所；

V.5.對(duì)任意的b∈p[a]，執(zhí)行步驟V.6-步驟V.10；

V.6.若則令T′＝T′∪{a}；

V.7.若|b^·|1，則執(zhí)行步驟V.8-步驟V.9；其中，a^·表示a的輸出集，^·b表示b的輸入集，b^·表示b的輸出集，^·c表示c的輸入集，c^·表示c的輸出集；

V.8.若a×c∈D_R，或者且存在p和^·c屬于同一條并發(fā)分支，p∈b^·，c∈T′，則當(dāng)時(shí)，令F′＝F′∪{p→a}；

V.9.若存在p′∈b^·且對(duì)任意的d∈s[b]有則令F′＝F′∪{p′→a}；

其中，p′表示b的輸出庫(kù)所，s[b]表示b的后繼集；

V.10.若|b^·|＝1，則當(dāng)時(shí)，令F′＝F′∪{b^·→a}；

V.11.若存在ξ₂∈s[a]，則令F′＝F′∪{a→p_f}；

V.12.對(duì)任意的b∈s[a]，執(zhí)行步驟V.13-步驟V.18；

V.13.若執(zhí)行步驟V.14-步驟V.15；

V.14.若|^·b|1，a×c∈D_R，或且存在p和c^·屬于同一條并發(fā)分支，p∈b^·，c∈T′，則當(dāng)時(shí)，令F′＝F′∪{a→p}；

V.15.若|^·b|＝1且則令F′＝F′∪{a→^·b}；

V.16.若b∈C_new，執(zhí)行步驟V.17-步驟V.18；

V.17.若存在c∈p[b]且c∈T′滿足a×c∈D_R，則當(dāng)時(shí)，令F′＝F′∪{a→c^·}；

V.18.若存在c∈s[a]滿足b×c∈D_R且或不存在c∈s[a]滿足b×c∈D_R但存在d∈s[a]滿足b||d∈D_R，或|s[a]-{ξ₂}|＝1，則令P′＝P′∪{p}，F(xiàn)′＝F′∪{a→p}；

V.19.對(duì)任意的b∈p[a]，若存在ξ₁∈p[a]，則

其中，I′(a)表示a的邏輯輸入函數(shù)，O′(a)表示a的邏輯輸出函數(shù)；

V.20.對(duì)任意的b,c∈p[a]，若存在b→c∈M_R，或c→b∈M_R，或bφc∈M_R，則

V.21.對(duì)任意的b∈s[a]，若存在ξ₂∈s[a]，則

V.22.對(duì)任意的b,c∈s[a]，若存在b→c∈M_R，或c→b∈M_R，或bφc∈M_R，則：

V.23.得到基于邏輯Petri網(wǎng)的修復(fù)模型LPN′，利用修復(fù)后的模型LPN′重演實(shí)際業(yè)務(wù)流程中所產(chǎn)生的新日志，從而正確表達(dá)更新后的實(shí)際業(yè)務(wù)流程。