羅杰　王麗麗

摘 要：提出一種基于行為包含的流程模型查詢方法.將業(yè)務(wù)流程模型轉(zhuǎn)化成方便處理的Petri網(wǎng)模型，分析模型跡中各變遷之間的關(guān)系，判斷查詢模型和待匹配模型跡之間的聯(lián)系，查詢到滿足一定條件的匹配模型.

關(guān)鍵詞：行為包含；Petri網(wǎng)模型；跡；后繼關(guān)系

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

Abstract：This paper proposes a process model query method based on behavior inclusion.The business process model is transformed into a Petri net model that can be processed and analysis the relationship between the transitions in the model's trace and determines the relationship between the query model's trace and matching model's trace， the matching model of can query to meet certain conditions.

Key words：behavior inclusion；Petri net model；trace；successor relation

企業(yè)通過(guò)業(yè)務(wù)流程模型的執(zhí)行可以精確獲取某一操作和服務(wù)的有關(guān)知識(shí)，因此，業(yè)務(wù)流程模型是一個(gè)企業(yè)必要的知識(shí)資產(chǎn).流程模型可以存儲(chǔ)在企業(yè)的知識(shí)庫(kù)內(nèi)，以便系統(tǒng)地開發(fā)維護(hù)和擴(kuò)展，使流程設(shè)計(jì)更加高效，能更好地適應(yīng)環(huán)境的變化.Lohman N[1]等描述了由業(yè)務(wù)流程模型向Petri網(wǎng)模型轉(zhuǎn)化的方法和轉(zhuǎn)化時(shí)需要注意的事項(xiàng).陳麗娜[2]等以一個(gè)業(yè)務(wù)流程實(shí)例作為輸入，通過(guò)分析流程模型間的行為包含關(guān)系，查詢流程模型.Kunze M[3]等提出一種基于跡語(yǔ)義和抽象的行為包含觀點(diǎn)，并給出一種匹配度分?jǐn)?shù)的計(jì)算方法作為匹配模型的排行參考.Weidlich M[4]等提出一種流程模型之間對(duì)應(yīng)的辨識(shí)方法，在業(yè)務(wù)流程模型轉(zhuǎn)化成Petri網(wǎng)模型時(shí)，注意模型之間的對(duì)應(yīng)關(guān)系.本文提出一種依賴于流程實(shí)例之間關(guān)系的方法，通過(guò)研究分析流程中各活動(dòng)的關(guān)系，發(fā)現(xiàn)流程實(shí)例之間的聯(lián)系，達(dá)到查詢流程模型的目的.

1 基本概念

Petri網(wǎng)是分布式系統(tǒng)的建模和分析工具，它不僅便于描述系統(tǒng)中進(jìn)程或部件的順序并發(fā)、沖突以及同步等，使系統(tǒng)直觀化，而且可以確切地分析系統(tǒng)的各種結(jié)構(gòu)性質(zhì)以及各種動(dòng)態(tài)性質(zhì)，如可達(dá)性、可逆性、活性、有界性、不變量等.因此，本文使用Petri網(wǎng)作為形式化工具，分析業(yè)務(wù)流程模型的查詢方法.

3 總結(jié)

本文依據(jù)k-后繼關(guān)系，研究跡中變遷之間的關(guān)系，進(jìn)而提出一種基于行為包含的流程模型查詢方法.流程模型查詢方法的關(guān)鍵是行為包含和查詢模型，本文給出行為包含的定義，將業(yè)務(wù)流程模型轉(zhuǎn)化成方便處理的Petri網(wǎng)模型，通過(guò)分析模型跡中的變遷，判斷查詢模型和待匹配模型跡之間的關(guān)系，查詢到滿足一定條件的匹配模型.

研究仍有一定的局限性，它適用于穩(wěn)定的自由選擇網(wǎng).當(dāng)匹配模型不止一個(gè)時(shí)，無(wú)法確定最優(yōu)模型，希望找到適用更加廣泛的查詢方法.

參考文獻(xiàn)

[1] Lohman N，Verbeek E，Dijkman R.Petri net transformations for Business Processes-A Survey[J].Transactions on Petri Nets and Other Models of Concurrency II， Springer-Verlag， 2009：46-63.

[2] 陳麗娜， 方賢文， 劉祥偉. Petri網(wǎng)行為包含的業(yè)務(wù)流程模型查詢優(yōu)化分析[J]. 計(jì)算機(jī)工程與設(shè)計(jì)， 2017， 38（2）：409-413.

[3] Kunze M， Weidlich M，Weske M.Querying process models by behavior inclusion[J].

Spring-Verlag New York，Inc.2015.

[4] Weidlich M，Dijkman R，Mendling J.The ICoP Framework：Identification of Correspondences between Process Models[M]. Advanced Information Systems Engineering： Springer Berlin Heidelberg， 2010.483-498.

[5] 吳哲輝.Petri網(wǎng)理論[M].北京：機(jī)械工業(yè)出版社，2006.6-22.

[6] Lu J，Chen W，Adjei O，et al.Sequential patterns postprocessing for structural relation patterns mining[J].International Journal of Data Warehousing & Mining，2008，4（3）：71-89.

[7] 陳家偉，王知衍，張艷青.基于Petri網(wǎng)的流程挖掘算法設(shè)計(jì)與應(yīng)用[J].計(jì)算機(jī)工程與設(shè)計(jì)， 2010， 31（10）：2308-2311.

[8] 孫書亞， 方歡. 共享雨傘使用流程的Petri網(wǎng)模型優(yōu)化分析[J]. 牡丹江師范學(xué)院學(xué)報(bào)：自然科學(xué)版， 2018（1）：14-17.

[9] 賈小貝， 方歡. 基于時(shí)延Petri網(wǎng)的網(wǎng)絡(luò)日志行為相似性分析[J]. 牡丹江師范學(xué)院學(xué)報(bào)：自然科學(xué)版， 2017（4）：6-10.

編輯：琳莉