基于行为包含的流程模型查询

罗杰　王丽丽

摘 要：提出一种基于行为包含的流程模型查询方法.将业务流程模型转化成方便处理的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.

编辑：琳莉