Skip to main content
SpringerLink
Log in

C-3PA: Streaming Conformance, Confidence and Completeness in Prefix-Alignments

  • Conference paper
  • First Online:
Advanced Information Systems Engineering (CAiSE 2023)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13901))

Included in the following conference series:

  • 924 Accesses

Abstract

The aim of streaming conformance checking is to find discrepancies between process executions on streaming data and the reference process model. The state-of-the-art output from streaming conformance checking is a prefix-alignment. However, current techniques that output a prefix-alignment are unable to handle warm-starting scenarios. Further, no indication is given of how close the trace is to termination—a highly relevant measure in a streaming setting.

This paper introduces a novel approximate streaming conformance checking algorithm that enriches prefix-alignments with confidence and completeness measures. Empirical tests on synthetic and real-life datasets demonstrate that the new method outputs prefix-alignments that have a cost that is highly correlated with the output from the state-of-the-art optimal prefix-alignments. Furthermore, the method is able to handle warm-starting scenarios and indicate the confidence level of the prefix-alignment. A stress test shows that the method is well-suited for fast-paced event streams.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 84.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping 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/MaxTNielsen/ConformanceCheckingUsingTries/tree/current_branch.

  2. 2.

    https://doi.org/10.4121/uuid:3926db30-f712-4394-aebc-75976070e91f.

  3. 3.

    https://doi.org/10.4121/uuid:5f3067df-f10b-45da-b98b-86ae4c7a310b.

  4. 4.

    https://github.com/PADS-UPC/RL-align/tree/master/data/originals/M-models.

References

  1. van der Aalst, W.M.: Process mining: a 360 degree overview. In: van der Aalst, W.M.P., Carmona, J. (eds.) Process Mining Handbook. Lecture Notes in Business Information Processing, vol. 448, pp. 3–34. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-08848-3_1

    Chapter  Google Scholar 

  2. Adriansyah, A.: Aligning observed and modeled behavior. Ph.D. thesis, Mathematics and Computer Science (2014). https://doi.org/10.6100/IR770080

  3. Adriansyah, A., Van Dongen, B.F., Zannone, N.: Controlling break-the-glass through alignment. In: 2013 International Conference on Social Computing, pp. 606–611. IEEE (2013)

    Google Scholar 

  4. Awad, A., Raun, K., Weidlich, M.: Efficient approximate conformance checking using trie data structures. In: 2021 3rd International Conference on Process Mining (ICPM), pp. 1–8. IEEE (2021)

    Google Scholar 

  5. Boltenhagen, M., Chatain, T., Carmona, J.: Optimized sat encoding of conformance checking artefacts. Computing 103(1), 29–50 (2021)

    Article  MathSciNet  MATH  Google Scholar 

  6. Burattin, A.: Streaming process mining. In: van der Aalst, W.M.P., Carmona, J. (eds) Process Mining Handbook. Lecture Notes in Business Information Processing, vol. 448, pp. 349–372. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-08848-3_11

  7. Burattin, A., Carmona, J.: A framework for online conformance checking. In: Teniente, E., Weidlich, M. (eds.) BPM 2017. LNBIP, vol. 308, pp. 165–177. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-74030-0_12

    Chapter  Google Scholar 

  8. Burattin, A., Zelst, S.J.V., Armas-Cervantes, A., Dongen, B.F.V., Carmona, J.: Online conformance checking using behavioural patterns. In: Weske, M., Montali, M., Weber, I., Vom Brocke, J. (eds.) BPM 2018. Lecture Notes in Computer Science, vol. 11080, pp. 250–267. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-98648-7_15

    Chapter  Google Scholar 

  9. Carmona, J., van Dongen, B., Weidlich, M.: Conformance checking: foundations, milestones and challenges. In: van der Aalst, W.M.P., Carmona, J. (eds.) Process Mining Handbook. Lecture Notes in Business Information Processing, vol. 448, pp. 155–190. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-08848-3_5

    Chapter  Google Scholar 

  10. Kipping, G., et al.: How to leverage process mining in organizations-towards process mining capabilities. In: Di Ciccio, C., Dijkman, R., del Rio Ortega, A., Rinderle-Ma, S. (eds.) BPM 2022. Lecture Notes in Computer Science, vol. 13420, pp. 40–46. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-16103-2_5

    Chapter  Google Scholar 

  11. Lee, W.L.J., Burattin, A., Munoz-Gama, J., Sepúlveda, M.: Orientation and conformance: A hmm-based approach to online conformance checking. Inf. Syst. 102, 101674 (2021)

    Article  Google Scholar 

  12. Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Discovering block-structured process models from event logs - a constructive approach. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 311–329. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38697-8_17

    Chapter  Google Scholar 

  13. de Leoni, M., Marrella, A.: Aligning real process executions and prescriptive process models through automated planning. Expert Syst. Appl. 82, 162–183 (2017)

    Article  Google Scholar 

  14. Ojeda, J.: Conformance checking artefacts through weighted partial MaxSAT. Inf. Syst. 102168 (2023)

    Google Scholar 

  15. Raun, K., Awad, A.: I will survive: An online conformance checking algorithm using decay time (2022). https://doi.org/10.48550/ARXIV.2211.16702. https://arxiv.org/abs/2211.16702

  16. Rozinat, A.: Process mining: conformance and extension. Ph.D. thesis, Industrial Engineering and Innovation Sciences (2010). https://doi.org/10.6100/IR690060, proefschrift

  17. Schuster, D., van Zelst, S.J.: Online process monitoring using incremental state-space expansion: an exact algorithm. In: Fahland, D., Ghidini, C., Becker, J., Dumas, M. (eds.) BPM 2020. LNCS, vol. 12168, pp. 147–164. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-58666-9_9

    Chapter  Google Scholar 

  18. Vanden Broucke, S., De Weerdt, J., Vanthienen, J., Baesens, B.: An improved process event log artificial negative event generator. Available at SSRN 2165204 (2012)

    Google Scholar 

  19. Zaman, R., Hassani, M., Van Dongen, B.F.: Efficient memory utilization in conformance checking of process event streams. In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, pp. 437–440 (2022)

    Google Scholar 

  20. van Zelst, S.J., Bolt, A., Hassani, M., van Dongen, B.F., van der Aalst, W.M.: Online conformance checking: relating event streams to process models using prefix-alignments. Int. J. Data Sci. Anal. 8(3), 269–284 (2019)

    Article  Google Scholar 

Download references

Acknowledgement

This work was supported by the European Social Fund via "ICT programme" measure, the European Regional Development Fund, and the programme Mobilitas Pluss (2014-2020.4.01.16-0024).

Author information

Authors and Affiliations

  1. University of Tartu, Tartu, Estonia

    Kristo Raun & Ahmed Awad

  2. Technical University of Denmark, Kgs. Lyngby, Denmark

    Max Nielsen & Andrea Burattin

  3. Cairo University, Giza, Egypt

    Ahmed Awad

Authors
  1. Kristo Raun
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Max Nielsen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Andrea Burattin
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ahmed Awad
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kristo Raun .

Editor information

Editors and Affiliations

  1. The University of Queensland, Brisbane, QLD, Australia

    Marta Indulska

  2. University of Haifa, Haifa, Israel

    Iris Reinhartz-Berger

  3. Universidad San Jorge, Zaragoza, Spain

    Carlos Cetina

  4. Universitat Politècnica de València, Valencia, Spain

    Oscar Pastor

Rights and permissions

Reprints and permissions

Copyright information

© 2023 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

Raun, K., Nielsen, M., Burattin, A., Awad, A. (2023). C-3PA: Streaming Conformance, Confidence and Completeness in Prefix-Alignments. In: Indulska, M., Reinhartz-Berger, I., Cetina, C., Pastor, O. (eds) Advanced Information Systems Engineering. CAiSE 2023. Lecture Notes in Computer Science, vol 13901. Springer, Cham. https://doi.org/10.1007/978-3-031-34560-9_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-34560-9_26

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-34559-3

  • Online ISBN: 978-3-031-34560-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation