Abstract
Conformance checking is a fundamental task to detect deviations between the actual and the expected courses of execution of a business process. In this context, temporal business constraints have been extensively adopted to declaratively capture the expected behavior of the process. However, traditionally, these constraints are interpreted logically in a crisp way: a process execution trace conforms with a constraint model if all the constraints therein are satisfied. This is too restrictive when one wants to capture best practices, constraints involving uncontrollable activities, and exceptional but still conforming behaviors. This calls for the extension of business constraints with uncertainty. In this paper, we tackle this timely and important challenge, relying on recent results on probabilistic temporal logics over finite traces. Specifically, we equip business constraints with a natural, probabilistic notion of uncertainty. We discuss the semantic implications of the resulting framework and show how probabilistic conformance checking and constraint entailment can be tackled therein.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
De Giacomo, G., De Masellis, R., Grasso, M., Maggi, F.M., Montali, M.: Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces. In: Sadiq, S., Soffer, P., Vƶlzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 1ā17. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-10172-9_1
De Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3ā9, IJCAI 2013, pp. 854ā860, AAAI Press (2013). http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6997
Leemans, S.J.J., Syring, A.F., van der Aalst, W.M.P.: Earth moversā stochastic conformance checking. In: Hildebrandt, T., van Dongen, B.F., Rƶglinger, M., Mendling, J. (eds.) BPM 2019. LNBIP, vol. 360, pp. 127ā143. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-26643-1_8
Maggi, F.M., Montali, M., van der Aalst, W.M.P.: An operational decision support framework for monitoring business constraints. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 146ā162. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-28872-2_11
Maggi, F.M., Montali, M., PeƱaloza, R.: Temporal logics over finite traces with uncertainty. In: The Thirty-Fourth - AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth - AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, USA, February 7ā12, pp. 10218ā10225 (2020). https://aaai.org/ojs/index.php/AAAI/article/view/6583
Maggi, F.M., Montali, M., PeƱaloza, R., Alman, A.: Extending temporal business constraints with uncertainty. In: Business Process Management - 18th International Conference, BPM 2020, September 13ā18. pp. 1ā20, Sevilla, Spain (2020). https://doi.org/10.1007/978-3-030-58666-9
Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographies. TWEB 4(1), 1ā62 (2010). https://doi.org/10.1145/1658373.1658376
Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: Proceedings of the 11th - IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15ā19 October, pp. 287ā300. Annapolis, USA (2007). https://doi.org/10.1109/EDOC.2007.14
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Maggi, F.M., Montali, M., PeƱaloza, R. (2020). Probabilistic Conformance Checking Based on Declarative Process Models. In: Herbaut, N., La Rosa, M. (eds) Advanced Information Systems Engineering. CAiSE 2020. Lecture Notes in Business Information Processing, vol 386. Springer, Cham. https://doi.org/10.1007/978-3-030-58135-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-58135-0_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-58134-3
Online ISBN: 978-3-030-58135-0
eBook Packages: Computer ScienceComputer Science (R0)