Abstract
One of the most used notations for process modelling is the Business Process Model and Notation (BPMN), being the expressiveness in representing processes its strongest attribute. However, this notation has shortcomings when dealing with some specific domains (namely Hazard Analysis and Critical Control Points systems), struggling to model activity duration, quality control points, activity effects and monitoring nature. For this particular purpose, an extension named Business Process Model and Notation Extended Expressiveness (BPMN-E2) was developed to tackle the limitations found in the original notation. In this paper, a multi-perspective conformance checking algorithm is proposed focusing on detecting non-conformities between an event log and a process model, regarding the information provided by the new elements within BPMN-E2. Despite being based on this new notation, the proposed algorithm can be applied to other process model notations as it follows a two-step approach that starts by converting the model into a directly follows model (annotated with conformance rules), which is then used in the second phase to perform the conformance checking task effectively.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
van der Aalst, W.: Data Science in Action. In: Process Mining, pp. 3–23. Springer, Berlin (2016)
Baumgrass, A., Herzberg, N., Meyer, A., Weske, M.: BPMN extension for business process monitoring. Enterp. Model. Inf. Syst. Architect. EMISA 2014, 85–98 (2014)
Berti, A., van Zelst, S.J., van der Aalst, W.: process mining for python (PM4Py): bridging the gap between process- and data science. In: CEUR Workshop Proceedings vol. 2374, pp. 13–16 (May 2019). http://python.orghttp://arxiv.org/abs/1905.06169
Braun, R., Schlieter, H., Burwitz, M., Esswein, W.: BPMN4CP: Design and implementation of a BPMN extension for clinical pathways. In: 2014 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), pp. 9–16. IEEE (2014)
De Leoni, M., Van Der Aalst, W.M.: Aligning event logs and process models for multi-perspective conformance checking: An approach based on integer linear programming. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8094 LNCS, pp. 113–129 (2013)
De Leoni, M., Van Der Aalst, W.M.: Data-aware process mining: discovering decisions in processes using alignments. In: Proceedings of the ACM Symposium on Applied Computing, pp. 1454–1461 (2013)
Friedenstab, J.P., Janiesch, C., Matzner, M., Muller, O.: Extending BPMN for business activity monitoring. In: 2012 45th Hawaii International Conference on System Science (HICSS), pp. 4158–4167. IEEE (2012)
Grupe, F.H., Owrang, M.M.: Data base mining: discovering new knowledge and competitive advantage. Inf. Syst. Manage. 12(4), 26–31 (1995)
Kalenkova, A.A., van der Aalst, W.M., Lomazova, I.A., Rubin, V.A.: Process mining using BPMN: relating event logs and process models. Softw. Syst. Model. 16(4), 1019–1048 (2017)
Leemans, S.J., Poppe, E., Wynn, M.T.: Directly follows-based process mining: exploration & a case study. In: Proceedings - 2019 International Conference on Process Mining, ICPM 2019, pp. 25–32 (2019)
Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P.: Monitoring business process compliance using compliance rule graphs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7044 LNCS (PART 1), pp. 82–99 (2011)
de Moura, L., Bjørner, N.: Z3: An Efficient SMT Solver. In: Lecture Notes in Computer Science, pp. 337–340. Springer-Verlag (2008), http://springerlink.bibliotecabuap.elogim.com/10.1007/978-3-540-78800-3_24
Musa, A., Gunasekaran, A., Yusuf, Y.: Supply chain product visibility: methods, systems and impacts. Expert Syst. Appl. 41(1), 176–194 (2014)
Ramos-Merino, M., Santos-Gago, J.M., Álvarez-Sabucedo, L.M., Alonso-Roris, V.M., Sanz-Valero, J.: BPMN-E2: a BPMN extension for an enhanced workflow description. Softw. Syst. Model. 18(4), 2399–2419 (2019)
Rodríguez, A., Fernández-Medina, E., Piattini, M.: A BPMN extension for the modeling of security requirements in business processes. IEICE Trans. Inf. Syst. 90(4), 745–752 (2007)
Saeedi, K., Zhao, L., Sampaio, P.R.F.: Extending BPMN for supporting customer-facing service quality requirements. In: 2010 IEEE International Conference on Web Services (ICWS), pp. 616–623. IEEE (2010)
Sebastiani, R., Armando, A., Barrett, C., Bozzano, M., Bruttomesso, R., Cimatti, A., Franzen, A., De Moura, L., Ghilardi, S., Griggio, A., Krstic, S., Nieuwenhuis, R., Oliveras, A., Ranise, S., Roveri, M., Strichman, O., Tacchella, A., Tinelli, C.: Lazy satisfiability modulo theories important discussions with. J. Satisfiability Boolean Model. Comput. 3, 141–224 (2007)
Van Der Aalst, W., Adriansyah, A., De Medeiros, A.K.A., et al.: Process mining manifesto. In: Lecture Notes in Business Information Processing. vol. 99 LNBIP, pp. 169–194 (2012)
Zhang, K., Chai, Y., Yang, S.X., Weng, D.: Pre-warning analysis and application in traceability systems for food production supply chains. Expert Syst. Appl. 38(3), 2500–2507 (2011)
Acknowledgement
This work has been supported by FCT – Fundação para a Ciência e Tecnologia – within the R&D Units Project Scope: UIDB/00319/2020.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Calheno, R., Carvalho, P., Rito Lima, S., Henriques, P.R., Ramos-Merino, M. (2021). Multi-perspective Conformance Checking Applied to BPMN-E2. In: Rocha, Á., Adeli, H., Dzemyda, G., Moreira, F., Ramalho Correia, A.M. (eds) Trends and Applications in Information Systems and Technologies . WorldCIST 2021. Advances in Intelligent Systems and Computing, vol 1366. Springer, Cham. https://doi.org/10.1007/978-3-030-72651-5_38
Download citation
DOI: https://doi.org/10.1007/978-3-030-72651-5_38
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-72650-8
Online ISBN: 978-3-030-72651-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)