Alignment-based conformance checking of hierarchical process models

Process mining has received much attention in the field of business pro cess management. Event logs that are generated from information systems can be correlated with the process models for conformance checking. The process models describe event activities at an abstraction level. However, hierarchical business pro cesses, as a kind of typical complex process scenario, describe sub-processes invoca tion and multi-instantiation patterns. As existing conformance checking approaches cannot identify sub-processes within hierarchical process models. They cannot be used for conformance checking of hierarchical process models. To handle this limi tation, a definition of hierarchically alignment sequences is presented in this paper. Meanwhile, a novel conformance checking approach for hierarchical process models and event logs is proposed. The proposed method has been implemented within the ProM toolkit, which is an open-source process mining software. To evaluate the effectiveness of the proposed approach, both artificial and real-world event logs are utilized in a comparative analysis against existing state-of-the-art approaches.

[1] Kumar, A.: Business Process Management. Routledge, New York, Britain, 2018.
[2] van der Aalst, W. M. P.: Process Mining. Springe, Berlin, Germany, 2011.
[3] Liu, C.: Hierarchical Business Process Discovery: Identifying Sub-processes Using
Lifecycle Information. In: IEEE International Conference on Web Services, Beijing,
China, October 2020.
[4] Rozinat, A.—van der Aalst, W. M. P.: Conformance checking of processes
based on monitoring real behavior. INFORM SYST, Vol. 33, 2008, pp. 64–95.
[5] van der Aalst, W. M. P.: Combining process models and event logs for conformance checking and performance analysis. INFORM SOFTWARE TECH, Vol. 51,
2009, pp. 1265–1281.
[6] van der Aalst, W. M. P.—Rubin, V.—Verbeek, H. M. W.—van Dongen,
B. F.—Kindler, E.—Gunther, C. W. ¨ : Process mining: a two-step approach
to balance between underfitting and overfitting. Softw Syst Model, Vol.9, 2010,
pp. 87-–111.
[7] Burattin, A.—van Zelst, S. J.—Armas-Cervantes, A.—van Dongen,
B. F.—Carmona, J.: Online Conformance Checking Using Behavioural Patterns.
In: M. Weske, M. Montali, I. Weber and J. vom Brocke (Eds.): Business Process
Management, Springer, Germany, 2018, pp. 250–267.
[8] Carmona, J.—van Dongen, B.—Solti, A.—Weidlich, M.: Conformance
Checking: Relating Processes and Models. Springer, 2018, pp. 170–244.
[9] van der Aalst, W. M. P.: Process Mining: Overview and Opportunities. ACM
Trans. Manag. Inf. Syst, Vol. 3, 2012, No. 7, pp. 1–17.
[10] van der Aalst, W. M. P.—Adriansyah, A.—van Dongen, B.: Replaying
history on process models for conformance checking and performance analysis. Wiley
Interdiscip Rev Data Min Knowl Discov, Vol. 2, 2012, pp. 182–192.
[11] Dunzer, S.—Stierle, M.—Matzner, M.—Baier, S.: Conformance checking: a
state-of-the-art literature review. CoRR, abs/2007.10903, 2020, pp. 1–10.
Alignment-based Conformance Checking of Hierarchical Process Models 1027
[12] Jagadeesh Chandra Bose, R. P.—van der Aalst, W. M. P. Process diagnostics using trace alignment: Opportunities, issues, and challenges. INFORM
SYST, Vol. 37, 2012, pp. 117–141.
[13] Jagadeesh Chandra Bose, R. P.—van der Aalst, W. M. P.: Trace alignment
in process mining: Opportunities for process diagnostics. In LNCS, 2010, pp. 227-242.
[14] Schuster, D.—Focking, N.—van Zelst, S. J.—van der Aalst, W. M. P. ¨ :
Conformance Checking for Trace Fragments Using Infix and Postfix Alignments.
In：M. Sellami, P. Ceravolo, H. A. Reijers, W. Gaaloul, H. Panetto (Eds.)： Cooperative Information Systems, Springer, Cham, Germany, 2022, pp. 299–310.
[15] De Giacomo, G.—Maggi, F. M.—Marrella, A.—Patrizi, F.: On the disruptive effectiveness of automated planning for LTLf-based trace alignment. In: AAAI’17,
AAAI Press: California, USA, 2017, pp. 3555—3561
[16] van Dongen, B. F.: Conformance Checking: A Systemic View. In: A. Marrella
and B. Weber (Eds.):Business Process Management Workshops, Springer, Cham,
Germany, 2022, pp. 61–72.
[17] de Leoni, M.—van der Aalst, W. M. P.: Aligning event logs and process models for multi-perspective conformance checking: An approach based on integer linear
programming. In: F. Daniel, J. Wang and B. Weber (Eds.): Business Process Management Workshops, Springer, Cham, Germany, 2013, pp. 113–129.
[18] Munoz-Gama, J.: Decomposing for Fitness Checking. In Conformance Checking
and Diagnosis in Process Mining, Springer, Vol. 270, 2016, pp. 129–139.
[19] van der Aalst, W. M. P.: Decomposing Petri Nets for Process Mining: A Generic
Approach. DISTRIB PARALLEL DAT, Vol. 4, 2013, pp. 471–507.
[20] Munoz-Gama, J.—Carmona, J.—van der Aalst, W. M. P.: Single-Entry
Single-Exit decomposed conformance checking. INFORM SYST, Vol. 46, 2014,
pp. 102–122.
[21] Song, W.—Xia, X.—Hu, H.—Jacobsen, A.—Zhang, P.: Efficient Alignment
Between Event Logs and Process Models. IEEE T SERV COMPUT, Vol. 10, 2017,
pp. 136–149.
[22] Sommers, D.—Sidorova, N.—van Dongen, B.: Aligning Event Logs to
Resource-Constrained -Petri Nets. In: L. Bernardinello and L. Petrucci (Eds.): Application and Theory of Petri Nets and Concurrency, Springer, Cham, Germany, 2022,
pp. 325–345.
[23] de Leoni, M.—Maggi, F. M.—van der Aalst, W. M. P.: Aligning Event Logs
and Declarative Process Models for Conformance Checking. In: A. Barros, A. Gal
and E. Kindler (Eds.): Business Process Managemen, Springer, Berlin, Germany,
2012, pp. 82–97.
[24] Wang, Y. Q.—Wen, L. J.—Yan, Z. Q.: Alignment-based BPMN 2.0 model
compliance detection algorithm. ICT CAS, Vol. 9, 2017, pp. 1920–1930.
[25] Wang, Y.—Wen, L.—Yan, Z.—Sun, B.—Wang, J.: Discovering BPMN Models
with Sub-processes and Multi-instance Markers. In: OTM 2015, Springer, Berlin,
Germany, 2015, pp. 185–201.
[26] Liu, C.—Cheng, L.—Zeng, Q.—Wen, L.—yang, C. O.: A hierarchical business
process mining approach based on Petri nets. CIMS, Vol. 6, 2020, pp. 1525–1537.
1028
[27] Wang, Y.—Liu, C.—Wen, L. J.—Zeng, Q. T.—Chen, L.: A hierarchical multiinstance process model mining approach. CIMS, Vol. 8, 2022, pp. 1–16.
[28] Reisig, W.: Petri nets: an introduction, Springer, 2012, pp. 145-150.
[29] Adriansyah, A.—Munoz-Gama, J.—Carmona, J.—van Dongen, B. F.—van
der Aalst, W. M .P.: Alignment Based Precision Checking. In: M. La Rosa
and P. Soffer (Eds.): Business Process Management Workshops, Springer, Berlin,
Germany, 2021, pp. 137–149.