吳小敏 陶小燕

摘 要：針對退費系統(tǒng)業(yè)務(wù)流程不同粒度的流程模型，提出基于行為輪廓的抽象方法，在不同抽象級別上縮減描述同一業(yè)務(wù)流程的模型數(shù)量.通過流程模型的輸入，活動聚類，構(gòu)建活動行為輪廓，導(dǎo)出粗粒度的高級模型及其對應(yīng)的工作流，提出一個新的退費業(yè)務(wù)流程模型并驗證粗粒度模型的泛化性，解決建模者對于模型的成本維護，減少在細(xì)粒度抽象級別上捕獲類似業(yè)務(wù)流程的模型數(shù)量問題.

關(guān)鍵詞：流程模型抽象;行為輪廓;Petri網(wǎng);活動聚類

[中圖分類號]TP301 ? [文獻(xiàn)標(biāo)志碼]A

業(yè)務(wù)流程設(shè)計和分析是定義業(yè)務(wù)運營管理方式的關(guān)鍵，從低級服務(wù)協(xié)調(diào)到高級決策支持，實現(xiàn)預(yù)期目的所利用的BP技術(shù)，通過結(jié)構(gòu)化的方式去記錄、管理以及溝通業(yè)務(wù)流程，改善企業(yè)的協(xié)作和效率.一項業(yè)務(wù)根據(jù)不同需求會生成上千個不同粒度的業(yè)務(wù)流程模型，這對于維護來說工作量巨大.目前，國內(nèi)外對此已有一定的研究.Dijkman[1]等提出了一種從BPMN到形式化語言Petri網(wǎng)的映射方法，用于BPMN模型的靜態(tài)分析，從語義角度檢查了模型的正確性，減少了在系統(tǒng)開發(fā)時錯誤代價成本.Smirnov[2]等提出一種計算活動組間行為輪廓的算法，突破以往在給定初始模型時對活動分組的約束，通過活動的任意組合，基于行為輪廓為抽象模型活動導(dǎo)出控制流依賴關(guān)系.Weidlich[3]等提出行為輪廓的概念，以一致方式對齊的轉(zhuǎn)換，對與所有對齊的對之間的比率作一致性度量.解決了從不同抽象層次和不同視角的過程模型之間對齊的問題.Smirnov[4]等提出順序關(guān)系圖的概念，用于分析活動不同層次的行為自由度.Weidlich[5]等提出流程定制查詢優(yōu)化遵循使用流程知識，增強關(guān)于優(yōu)化目標(biāo)的復(fù)雜事件查詢的執(zhí)行，允許在查詢公式過程中從過程實例的細(xì)節(jié)里抽象，避免建模者習(xí)慣造成的誤差.何子賢[6]等提出基于Petri網(wǎng)對網(wǎng)絡(luò)購物系統(tǒng)建模優(yōu)化，減少消費者購物時逐個購買的繁瑣流程.范濤[7]等提出一種過程挖掘算法，通過因果關(guān)系矩陣使得事件日志和過程模型相互匹配，提高了工作效率.

本文針對退費系統(tǒng)提出基于行為輪廓的抽象方法，在不同抽象級別上縮減描述同一業(yè)務(wù)流程的模型數(shù)量.通過流程模型的輸入，活動聚類，構(gòu)建活動行為輪廓，導(dǎo)出粗粒度的高級模型及其對應(yīng)的工作流，提出一個新的退費業(yè)務(wù)流程模型并驗證粗粒度模型的泛化性，該方法解決了建模者對模型成本的維護.

2 基于Petri網(wǎng)的模型抽象

2.1 基于Petri網(wǎng)的業(yè)務(wù)流程模型抽象

圖2描述的是某教育機構(gòu)的某課程退費系統(tǒng)業(yè)務(wù)流程模型.家長在購買課程后，由于一些原因會選擇退課.這時需要先申請退款t1，然后填寫課程信息以及退款原因，提交退款訂單t2.由于不同課程費用計算也不同，涉及所退課程可能是贈課賦予或者優(yōu)惠折扣，平臺無法直接負(fù)責(zé)，需要區(qū)分選擇活動課程t3和正常價格課程t4.在選擇活動課程t3情況下，退款訂單需要交給機構(gòu)受理t5后，核算課時費用t6，教務(wù)審核課時實況t7，兩者都完成后，費用詳情發(fā)至平臺t9.若家長選擇的是正常價格課程t4，平臺直接計算課時費用t6.無論選擇哪種課程，在課程費用結(jié)算后，用戶確認(rèn)課時費t10，最后退款完成t11.

現(xiàn)將圖2轉(zhuǎn)化成Petri網(wǎng)模型圖3.變遷表示含義上描述不變.庫所中的托肯從位置t1移動到位置t11，整個操作過程表示課程退費業(yè)務(wù)流程從開始到結(jié)束.

2.2 構(gòu)造退費系統(tǒng)抽象模型行為輪廓

根據(jù)圖2所描述的退費業(yè)務(wù)流程，聚合相關(guān)活動得到粗粒度活動.選擇退款訂單t1a=提交退款訂單t2，選擇活動課程t3，選擇正常價格課程t4，機構(gòu)結(jié)算費用t2a=選擇活動課程t3，機構(gòu)受理t5，助教核算課時費用t7，教務(wù)審核課程實況t8，費用詳情發(fā)至平臺t9，平臺結(jié)算費用t3a=選擇正常價格課程t3，平臺直接計算課時費用t6.通過算法1首先從粗粒度活動間對應(yīng)的弱序關(guān)系，根據(jù)權(quán)重以及使用排序約束損失水平的閾值wt，得到抽象模型中粗粒度活動之間行為輪廓關(guān)系.

表2給出兩個粗粒度活動之間行為輪廓的算法.首先根據(jù)文獻(xiàn)[2]中給定的閾值wt=0.5和表2得到：

2.3 構(gòu)建退費系統(tǒng)抽象模型

根據(jù)一致的行為輪廓BP確定依賴關(guān)系R，對依賴關(guān)系R進行傳遞約簡，得到約簡的傳遞關(guān)系R′，提取過程模型PM的活動集A，令網(wǎng)關(guān)集為空：G∶=，確定或創(chuàng)建開始活動s，沒有前驅(qū)的活動作為開始活動，開始活動唯一，當(dāng)有大量開始活動候選時則要創(chuàng)建一個開始活動，同樣方式得到挑選或者創(chuàng)建結(jié)束活動e.更新活動集A∶=A∪{s，e};基于開始和結(jié)束活動更新依賴關(guān)系R′，定義抽象模型流關(guān)系F為約簡傳遞關(guān)系R′∶F=R′，設(shè)網(wǎng)關(guān)映集集合為空：t∶=，遍歷活動集A，在R′中存在大于一個后繼的活動a∈A.若活動a的后繼活動之間是排他序關(guān)系，a與后繼活動是嚴(yán)格序關(guān)系，則在活動a的后繼活動之間創(chuàng)建XOR網(wǎng)關(guān)，活動a的后繼活動之間是交叉序關(guān)系，a與后繼活動是嚴(yán)格序關(guān)系，則在活動a的后繼活動之間創(chuàng)建AND網(wǎng)關(guān).更新網(wǎng)關(guān)映射集t，加入網(wǎng)關(guān)后的模型流關(guān)系F和網(wǎng)關(guān)集G，在R′中存在大于一個前驅(qū)的活動a∈A.若活動a的前驅(qū)活動之間是排他序關(guān)系，前驅(qū)活動與a是嚴(yán)格序關(guān)系，則前驅(qū)活動與a之間創(chuàng)建XOR網(wǎng)關(guān)，否則活動a的前驅(qū)活動之間是交叉序關(guān)系，前驅(qū)活動與a是嚴(yán)格序關(guān)系，則前驅(qū)活動與a之間創(chuàng)建AND網(wǎng)關(guān).更新網(wǎng)關(guān)映射集t，加入網(wǎng)關(guān)的模型流關(guān)系F和網(wǎng)關(guān)集G.最后如圖4所示，從一致行為輪廓構(gòu)建出完整的抽象模型.

此抽象模型可廣泛應(yīng)用在退費系統(tǒng)不同服務(wù)類型存在不同細(xì)粒度模型中.在疫情期間機構(gòu)線下課程轉(zhuǎn)成線上，為了彌補學(xué)員課程損失，對于購買線下課程未參加優(yōu)惠的學(xué)員在退費時進行一定的優(yōu)惠補償，而對于原本購買線上課程以及已優(yōu)惠的線下課程在退費時無變化影響.該退費流程細(xì)粒度模型如圖5所示.

將活動聚合，得到粗粒度活動，得到行為關(guān)系，進行一致性分析，得到該類型課程退費流程抽象模型與上述抽象模型一致.此抽象模型對于教育機構(gòu)退費業(yè)務(wù)不同需求構(gòu)建的不同細(xì)粒度流程模型，具有泛化適用性，減少了建模者對模型的成本維護，以及對于退費流程的快速理解.

3 總結(jié)

本文提出基于行為輪廓的退費業(yè)務(wù)流程模型抽象方法.將源模型相關(guān)活動聚合，通過關(guān)系權(quán)重算法導(dǎo)出粗粒度活動之間行為關(guān)系，進行行為輪廓一致性分析.根據(jù)模型合成算法構(gòu)建出抽象模型，證明了該抽象模型可以運用到其他細(xì)粒度模型中，減少在細(xì)粒度抽象級別上捕獲類似業(yè)務(wù)流程模型數(shù)量的問題.

參考文獻(xiàn)

[1]Dijkman R M，Dumas M，Ouyang C.Semantics and analysis of business process models in BPMN[J].Information & Software Technology，2008，50（12）：1281-1294.

[2]Smirnov S，Weidlich M，Mendling J.Business Process Model Abstraction Based on Behavioral Profiles[J].Springer Berlin Heidelberg，2010.

[3]Weidlich M，Mendling J，Weske M.Efficient Consistency Measurement Based on Behavioral Profiles of Process Models[J].IEEE Transactions on Software Engineering，2011，37（3）：410-429.

[4]Smirnov S，Weidlich M，Mendling J.Business Process Model Abstraction Based on Synthesis from Well-Structured Behavioral Profiles[J].International Journal of Cooperative Information Systems，2012，21（01）：55-83.

[5]Weidlich M，Ziekow H，Mendling J.Optimising Complex Event Queries over Business Processes Using Behavioural Profiles[C]//Business Process Management Workshops-bpm International Workshops & Education Track.DBLP，2010.

[6]何子賢，劉祥偉.基于petri網(wǎng)的拼單購物流程模型優(yōu)化分析[J].牡丹江師范學(xué)院：自然科學(xué)版，2020（4）：1-4.

[7]范濤，方賢文.一種基于Petri網(wǎng)和因果關(guān)系矩陣的事件日志過程挖掘方法[J].牡丹江師范學(xué)院：自然科學(xué)版，2020（4）：10-14.

[8]吳哲輝.Petri導(dǎo)論[M].北京：機械工業(yè)出版社，2006.1-27.

[9]Smirnov S，Weidilich M，Mendling J.Business Process Model Abstraction Base on Behavioral Profiles[M].Service-Oriented Computing.Springer Berlin Heidelberg，2010.1-16.

[10]Sergey Smirnov，Matthias Weidlich，Jan Mending.Business Process Model Absraction Based on Synthesis from Well-Structured Behavioral Profiles[J].International Journal of Cooperative Information Systems，2012，21（1）：55-83.

編輯：琳莉