Page 177 - 《软件学报》2021年第5期

朱锐 等:基于完全有限前缀展开的行为等价过程树生成算法 1401

于完全前缀展开对具有复杂结构的模型的活动关系进行判断,这种方法避免了“状态空间爆炸”问题.另一方面,
该算法能够判断一些传统方法无法判断的模型行为,使其能够将具有复杂结构的过程模型转化为行为等价的
过程树.同时该方法还可以通过对基本关系进行扩充,提高具有复杂结构的过程模型的转化范围.
在本文所提出的行为等价过程树生成算法的基础上,下一步将继续针对过程树进行深入探讨.其次随着模
型规模的增加,过程树生成算法的效率需要继续进行优化.另外,将过程树应用在模型结构精简、避免模型复杂
性、过程模型的检索与存储等工作中具有重要价值,因此这也是下一步需要考虑的.

致谢 本文核心工作为朱锐博士在高可信软件技术教育部重点实验室(北京大学)访学期间,与北京大学金芝教
授讨论完成.特向高可信软件技术教育部重点实验室(北京大学)的各位老师和同学表示感谢.

References:
[1] Jin T, Wen LJ. Indexing technology for business process models. Computer Integrated Manufacturing Systems, 2011,17(8):
1580–1586 (in Chinese with English abstract). [doi: 10.4028/www.scientific.net/AMR.154-155.87]
[2] Van Dongen BF. BPI challenge 2014: Change details. Rabobank Nederland, 2014. [doi: 10.4121/uuid:d5ccb355-ca67-480f-8739-
289b9b593aaf]
[3] Van Der Aalst WMP. Process Mining: Data Science in Action. 2th ed., Heidelberg: Springer-Verlag, 2016. [doi: 10.1007/978-3-
662-49851-4]
[4] Tax N, Sidorova N, Haakma R, van der Aalst WMP. Mining local process models. Journal of Innovation in Digital Ecosystems,
2016,3(2):183–196. [doi: 10.1016/j.jides.2016.11.001]
[5] Diamantini C, Genga L, Potena D. Behavioral process mining for unstructured processes. Journal of Intelligent Information
Systems, 2016,47(1):5–32. [doi: 10.1007/s10844-016-0394-7]
[6] Zhang XW, Song W, Wang JC, Xing JC, Zhou QZ. Measuring business process consistency across different abstraction levels.
IEEE Trans. on Network and Service Management, 2019,16(1):294–307. [doi: 10.1109/TNSM.2018.2883362]
[7] Chinces D, Salomie I. Optimizing spaghetti process models. In: Proc. of the 20th Int’l Conf. on Control Systems and Computer
Science. Romania: IEEE, 2015. 506–511. [doi: 10.1109/CSCS.2015.15]
[8] Tax N, Sidorova N, Haakma R, van der Aalst WMP. Event abstraction for process mining using supervised learning techniques. In:
Bi Y, Kapoor S, Bhatia R, eds. Proc. of the SAI Intelligent Systems Conf. (IntelliSys) 2016. Cham: Springer Int’l Publishing, 2016.
251–269. [doi: 10.1007/978-3-319-56994-9_18]
[9] Çela O, Front A, Rieu D. Model consolidation: A process modelling method combining process mining and business process
modelling. In: Gulden J, ed. Proc. of the BPMDS 2018, EMMSAD 2018: Enterprise, Business-process and Information Systems
Modeling. Cham: Springer Int’l Publishing, 2018. 117–130. [doi: 10.1007/978-3-319-91704-7_8]
[10] Leemans M, van der Aalst WMP, van den Brand MGJ. Recursion aware modeling and discovery for hierarchical software event log
analysis. In: Proc. of the 25th IEEE Int’l Conf. on Software Analysis, Evolution and Reengineering (SANER). Campobasso: IEEE,
2018. 185–196. [doi: 10.1109/SANER.2018.8330208]
[11] Lu XX, Tabatabaei SA, Hoogendoorn M, Reijers HA. Trace clustering on very large event data in healthcare using frequent
sequence patterns. In: Hildebrandt T, van Dongen B, Röglinger M, Mendling J, eds. Proc. of the BPM 2019: Business Process
Management. Cham: Springer Int’l Publishing, 2019. 198–215. [doi: 10.1007/978-3-030-26619-6_14]
[12] Zhu R, Li T, Mo Q, He ZL, Yu Q, Wang YQ. Data-driven bilayer software process mining. Ruan Jian Xue Bao/Journal of Software,
2018,29(11):3455–3483 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/5304.htm [doi: 10.13328/j.cnki.jos.
005304]
[13] Van Der Aalst WMP. Process discovery from event data: Relating models and logs through abstractions. Wiley Interdisciplinary
Reviews Data Mining & Knowledge Discovery, 2018,8(3):Article No.e1244. [doi: 10.1002/widm.1244]
[14] Van Der Aalst WMP. Everything you always wanted to know about Petri nets, but were afraid to ask. In: Hildebrandt T, van
Dongen B, Röglinger M, Mendling J, eds. Proc. of the BPM 2019: Business Process Management. Cham: Springer Int’l Publishing,
2019. 3–9. [doi: 10.1007/978-3-030-26619-6_1]