SpringerLink
Log in

Monitoring Business Process Compliance Across Multiple Executions with Stream Processing

  • Conference paper
  • First Online:
Enterprise Design, Operations, and Computing. EDOC 2023 Workshops (EDOC 2023)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 498))

  • 138 Accesses

Abstract

Compliance checking is the operation that consists of assessing whether every execution trace of a business process satisfies a given correctness condition. The paper introduces the notion of hyperquery, which is a calculation that involves multiple traces from a log at the same time. A particular case of hyperquery is a hypercompliance condition, which is a correctness requirement that involves the whole log instead of individual process instances. A formalization of hyperqueries is presented, along with a number of elementary operations to express hyperqueries on arbitrary logs. An implementation of these concepts in an event stream processing engine allows users to concretely evaluate hyperqueries in real time.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 74.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    https://github.com/liflab/hypercompliance.

References

  1. van der Aa, H.: Complex event processing methods for process querying. In: Polyvyanyy, A. (ed.) Process Querying Methods, pp. 479–510. Springer, Cham (2022). https://doi.org/10.1007/978-3-030-92875-9_17

    Chapter  Google Scholar 

  2. van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.F.: Process mining and verification of properties: an approach based on temporal logic. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 130–147. Springer, Heidelberg (2005). https://doi.org/10.1007/11575771_11

    Chapter  Google Scholar 

  3. Aamer, H., Montali, M., Van den Bussche, J.: What can database query processing do for instance-spanning constraints? In: Cabanillas, C., Garmann-Johnsen, N.F., Koschmider, A. (eds.) BPM 2022. Lecture Notes in Business Information Processing, vol. 460, pp. 132–144. Springer, Cham (2023). https://doi.org/10.1007/978-3-031-25383-6_11

    Chapter  Google Scholar 

  4. Awad, A., Decker, G., Weske, M.: Efficient compliance checking using BPMN-Q and temporal logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 326–341. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-85758-7_24

    Chapter  Google Scholar 

  5. Awad, A., Weidlich, M., Weske, M.: Visually specifying compliance rules and explaining their violations for business processes. J. Vis. Lang. Comput. 22(1), 30–55 (2011)

    Article  Google Scholar 

  6. Betti, Q., Montreuil, B., Khoury, R., Hallé, S.: Smart contracts-enabled simulation for hyperconnected logistics. In: Khan, M.A., Quasim, M.T., Algarni, F., Alharthi, A. (eds.) Decentralised Internet of Things. SBD, vol. 71, pp. 109–149. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-38677-1_6

    Chapter  Google Scholar 

  7. Buijs, J.: Environmental permit application process (‘WABO’), CoSeLoG project (version 1) [data set]. Technical report, Eindhoven University of Technology (2014). https://doi.org/10.4121/UUID:26ABA40D-8B2D-435B-B5AF-6D4BFBD7A270

  8. Cabanillas, C., Baumgrass, A., Mendling, J., Rogetzer, P., Bellovoda, B.: Towards the enhancement of business process monitoring for complex logistics chains. In: Lohmann, N., Song, M., Wohed, P. (eds.) BPM 2013. LNBIP, vol. 171, pp. 305–317. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-06257-0_24

    Chapter  Google Scholar 

  9. Chesani, F., Mello, P., Montali, M., Riguzzi, F., Sebastianis, M., Storari, S.: Checking compliance of execution traces to business rules. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008. LNBIP, vol. 17, pp. 134–145. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-00328-8_13

    Chapter  Google Scholar 

  10. Chesani, F., Mello, P., Montali, M., Torroni, P.: A logic-based, reactive calculus of events. Fundam. Informaticae 105(1–2), 135–161 (2010)

    Article  MathSciNet  Google Scholar 

  11. Clarkson, M.R., Finkbeiner, B., Koleini, M., Micinski, K.K., Rabe, M.N., Sánchez, C.: Temporal logics for hyperproperties. In: Abadi, M., Kremer, S. (eds.) POST 2014. LNCS, vol. 8414, pp. 265–284. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54792-8_15

    Chapter  Google Scholar 

  12. Clarkson, M.R., Schneider, F.B.: Hyperproperties. J. Comput. Secur. 18(6), 1157–1210 (2010)

    Article  Google Scholar 

  13. De Giacomo, G., Felli, P., Montali, M., Perelli, G.: HyperLDL\(_f\): a logic for checking properties of finite traces process logs. In: IJCAI, pp. 1859–1865. IJCAI Org (2021)

    Google Scholar 

  14. Fdhila, W., Gall, M., Rinderle-Ma, S., Mangler, J., Indiono, C.: Classification and formalization of instance-spanning constraints in process-driven applications. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 348–364. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45348-4_20

    Chapter  Google Scholar 

  15. Finkbeiner, B., Hahn, C., Stenger, M., Tentrup, L.: Monitoring hyperproperties. Formal Methods Syst. Des. 54(3), 336–363 (2019)

    Article  Google Scholar 

  16. Giacalone, M., Cusatelli, C., Santarcangelo, V.: Big data compliance for innovative clinical models. Big Data Res. 12, 35–40 (2018)

    Article  Google Scholar 

  17. Governatori, G., Hashmi, M., Lam, H.-P., Villata, S., Palmirani, M.: Semantic business process regulatory compliance checking using LegalRuleML. In: Blomqvist, E., Ciancarini, P., Poggi, F., Vitali, F. (eds.) EKAW 2016. LNCS (LNAI), vol. 10024, pp. 746–761. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-49004-5_48

    Chapter  Google Scholar 

  18. Governatori, G., Milosevic, Z., Sadiq, S.W.: Compliance checking between business processes and business contracts. In: EDOC, pp. 221–232. IEEE Computer Society (2006)

    Google Scholar 

  19. Hallé, S.: Explainable queries over event logs. In: EDOC, pp. 171–180. IEEE (2020)

    Google Scholar 

  20. Hallé, S., Khoury, R., Awesso, M.: Streamlining the inclusion of computer experiments in a research paper. Computer 51(11), 78–89 (2018)

    Article  Google Scholar 

  21. Hallé, S.: Event Stream Processing With BeepBeep 3: Log Crunching and Analysis Made Easy. Presses de l’Université du Québec (2018)

    Google Scholar 

  22. Hallé, S., Soueidi, C.: Benchmark lab for hypercompliance properties on event logs (2023). https://doi.org/10.5281/zenodo.8303080

  23. Hashmi, M., Governatori, G., Lam, H., Wynn, M.T.: Are we done with business process compliance: state of the art and challenges ahead. Knowl. Inf. Syst. 57(1), 79–133 (2018)

    Article  Google Scholar 

  24. Heinlein, C.: Workflow and process synchronization with interaction expressions and graphs. In: ICDE, pp. 243–252. IEEE (2001)

    Google Scholar 

  25. Indiono, C., Mangler, J., Fdhila, W., Rinderle-Ma, S.: Rule-based runtime monitoring of instance-spanning constraints in process-aware information systems. In: Debruyne, C., et al. (eds.) OTM 2016. LNCS, vol. 10033, pp. 381–399. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-48472-3_22

    Chapter  Google Scholar 

  26. Ly, L.T., Maggi, F.M., Montali, M., Rinderle-Ma, S., van der Aalst, W.M.P.: Compliance monitoring in business processes: functionalities, application, and tool-support. Inf. Syst. 54, 209–234 (2015)

    Article  Google Scholar 

  27. 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

    Chapter  Google Scholar 

  28. Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132–147. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-23059-2_13

    Chapter  Google Scholar 

  29. Plourde, M., Hallé, S.: Synthia: a generic and flexible data structure generator. In: ICSE, pp. 207–211. ACM/IEEE (2022)

    Google Scholar 

  30. Polyvyanyy, A., Ouyang, C., Barros, A., van der Aalst, W.M.P.: Process querying: enabling business intelligence through query-based process analytics. Decis. Support Syst. 100, 41–56 (2017)

    Article  Google Scholar 

  31. Rinderle-Ma, S., Gall, M., Fdhila, W., Mangler, J., Indiono, C.: Collecting examples for instance-spanning constraints. CoRR abs/1603.01523 (2016)

    Google Scholar 

  32. Roudjane, M., Rebaïne, D., Khoury, R., Hallé, S.: Detecting trend deviations with generic stream processing patterns. Inf. Syst. 101, 101446 (2021)

    Article  Google Scholar 

  33. Sani, M.F., van Zelst, S.J., van der Aalst, W.M.P.: Improving the performance of process discovery algorithms by instance selection. Comput. Sci. Inf. Syst. 17(3), 927–958 (2020)

    Article  Google Scholar 

  34. Saralaya, S., Saralaya, V., D’Souza, R.: Compliance management in business processes. In: Patnaik, S., Yang, X.-S., Tavana, M., Popentiu-Vlădicescu, F., Qiao, F. (eds.) Digital Business. LNDECT, vol. 21, pp. 53–91. Springer, Cham (2019). https://doi.org/10.1007/978-3-319-93940-7_3

    Chapter  Google Scholar 

  35. Senderovich, A., Di Francescomarino, C., Ghidini, C., Jorbina, K., Maggi, F.M.: Intra and inter-case features in predictive process monitoring: a tale of two dimensions. In: Carmona, J., Engels, G., Kumar, A. (eds.) BPM 2017. LNCS, vol. 10445, pp. 306–323. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-65000-5_18

    Chapter  Google Scholar 

  36. van Dongen, B.: Real-life event logs – hospital log, version 1.4 [data set]. Technical report, Eindhoven University of Technology (2011). https://doi.org/10.4121/UUID:d9769f3d-0ab0-4fb8-803b-0d1120ffcf54

  37. Warner, J., Atluri, V.: Inter-instance authorization constraints for secure workflow management. In: SACMAT, pp. 190–199 (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d’informatique de Grenoble, Université Grenoble Alpes, Grenoble, France

    Chukri Soueidi & Yliès Falcone

  2. Laboratoire d’informatique formelle, Université du Québec à Chicoutimi, Chicoutimi, Canada

    Sylvain Hallé

Authors
  1. Chukri Soueidi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yliès Falcone
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sylvain Hallé
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sylvain Hallé .

Editor information

Editors and Affiliations

  1. University of Twente, Enschede, The Netherlands

    Tiago Prince Sales

  2. Eindhoven University of Technology, Eindhoven, The Netherlands

    Sybren de Kinderen

  3. Vienna University of Technology, Vienna, Austria

    Henderik A. Proper

  4. Technical University of Munich, Heilbronn, Germany

    Luise Pufahl

  5. University of Groningen, Groningen, The Netherlands

    Dimka Karastoyanova

  6. University of Twente, Enschede, The Netherlands

    Marten van Sinderen

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Soueidi, C., Falcone, Y., Hallé, S. (2024). Monitoring Business Process Compliance Across Multiple Executions with Stream Processing. In: Sales, T.P., de Kinderen, S., Proper, H.A., Pufahl, L., Karastoyanova, D., van Sinderen, M. (eds) Enterprise Design, Operations, and Computing. EDOC 2023 Workshops . EDOC 2023. Lecture Notes in Business Information Processing, vol 498. Springer, Cham. https://doi.org/10.1007/978-3-031-54712-6_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-54712-6_15

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-54711-9

  • Online ISBN: 978-3-031-54712-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation