基于行為包含的流程模型查詢

羅杰　王麗麗

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

關鍵詞：行為包含；Petri網模型；跡；后繼關系

[中圖分類號]O29 [文獻標志碼]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

企業通過業務流程模型的執行可以精確獲取某一操作和服務的有關知識，因此，業務流程模型是一個企業必要的知識資產.流程模型可以存儲在企業的知識庫內，以便系統地開發維護和擴展，使流程設計更加高效，能更好地適應環境的變化.Lohman N[1]等描述了由業務流程模型向Petri網模型轉化的方法和轉化時需要注意的事項.陳麗娜[2]等以一個業務流程實例作為輸入，通過分析流程模型間的行為包含關系，查詢流程模型.Kunze M[3]等提出一種基于跡語義和抽象的行為包含觀點，并給出一種匹配度分數的計算方法作為匹配模型的排行參考.Weidlich M[4]等提出一種流程模型之間對應的辨識方法，在業務流程模型轉化成Petri網模型時，注意模型之間的對應關系.本文提出一種依賴于流程實例之間關系的方法，通過研究分析流程中各活動的關系，發現流程實例之間的聯系，達到查詢流程模型的目的.

1 基本概念

Petri網是分布式系統的建模和分析工具，它不僅便于描述系統中進程或部件的順序并發、沖突以及同步等，使系統直觀化，而且可以確切地分析系統的各種結構性質以及各種動態性質，如可達性、可逆性、活性、有界性、不變量等.因此，本文使用Petri網作為形式化工具，分析業務流程模型的查詢方法.

3 總結

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

研究仍有一定的局限性，它適用于穩定的自由選擇網.當匹配模型不止一個時，無法確定最優模型，希望找到適用更加廣泛的查詢方法.

參考文獻

[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網行為包含的業務流程模型查詢優化分析[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網理論[M].北京：機械工業出版社，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網的流程挖掘算法設計與應用[J].計算機工程與設計， 2010， 31（10）：2308-2311.

[8] 孫書亞， 方歡. 共享雨傘使用流程的Petri網模型優化分析[J]. 牡丹江師范學院學報：自然科學版， 2018（1）：14-17.

[9] 賈小貝， 方歡. 基于時延Petri網的網絡日志行為相似性分析[J]. 牡丹江師范學院學報：自然科學版， 2017（4）：6-10.

編輯：琳莉