Skip to main content
Springer Nature Link
Log in

Conformance Checking for Trace Fragments Using Infix and Postfix Alignments

  • Conference paper
  • First Online:
Cooperative Information Systems (CoopIS 2022)

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

Included in the following conference series:

Abstract

Conformance checking deals with collating modeled process behavior with observed process behavior recorded in event data. Alignments are a state-of-the-art technique to detect, localize, and quantify deviations in process executions, i.e., traces, compared to reference process models. Alignments, however, assume complete process executions covering the entire process from start to finish or prefixes of process executions. This paper defines infix/postfix alignments, proposes approaches to their computation, and evaluates them using real-life event data.

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
$34.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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    Note that if the determined subtree is placed within a loop, the subtree containing the highest loop and the initial determined subtree has to be considered.

  2. 2.

    https://github.com/fit-daniel-schuster/conformance_checking_for_trace_fragments.

References

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

  2. Carmona, J., van Dongen, B., Solti, A., Weidlich, M.: Epilogue. In: Conformance Checking, pp. 261–263. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-99414-7_13

    Chapter  Google Scholar 

  3. Dunzer, S., Stierle, M., Matzner, M., Baier, S.: Conformance checking: a state-of-the-art literature review. In: Proceedings of the 11th International Conference on Subject-Oriented Business Process Management. ACM Press (2019). https://doi.org/10.1145/3329007.3329014

  4. Leemans, S.J.J.: Enhancement & inductive visual miner. In: Robust Process Mining with Guarantees. LNBIP, vol. 440, pp. 423–447. Springer, Cham (2022). https://doi.org/10.1007/978-3-030-96655-3_9

    Chapter  Google Scholar 

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

  6. Taymouri, F., Carmona, J.: A recursive paradigm for aligning observed behavior of large structured process models. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 197–214. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45348-4_12

    Chapter  Google Scholar 

  7. van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circ. Syst. Comput. 8, 21–66 (1998). https://doi.org/10.1142/S0218126698000043

    Article  Google Scholar 

  8. van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. WIREs Data Mining Knowl. Discov. 2, 182–192 (2012). https://doi.org/10.1002/widm.1045

    Article  Google Scholar 

  9. van der Aalst, W.M.P., et al.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23, 333–363 (2011). https://doi.org/10.1007/s00165-010-0161-4

    Article  MathSciNet  MATH  Google Scholar 

  10. van Dongen, B., Carmona, J., Chatain, T., Taymouri, F.: Aligning modeled and observed behavior: a compromise between computation complexity and quality. In: Dubois, E., Pohl, K. (eds.) CAiSE 2017. LNCS, vol. 10253, pp. 94–109. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-59536-8_7

    Chapter  Google Scholar 

  11. Dongen, B.F.: Efficiently computing alignments. In: Daniel, F., Sheng, Q.Z., Motahari, H. (eds.) BPM 2018. LNBIP, vol. 342, pp. 44–55. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-11641-5_4

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fraunhofer Institute for Applied Information Technology FIT, Sankt Augustin, Germany

    Daniel Schuster, Niklas Föcking, Sebastiaan J. van Zelst & Wil M. P. van der Aalst

  2. RWTH Aachen University, Aachen, Germany

    Daniel Schuster, Sebastiaan J. van Zelst & Wil M. P. van der Aalst

Authors
  1. Daniel Schuster
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Niklas Föcking
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sebastiaan J. van Zelst
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Wil M. P. van der Aalst
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Daniel Schuster .

Editor information

Editors and Affiliations

  1. Telecom SudParis - Institut Polytechnique de Paris, Evry, France

    Mohamed Sellami

  2. University of Milan, Milan, Italy

    Paolo Ceravolo

  3. Utrecht University, Utrecht, The Netherlands

    Hajo A. Reijers

  4. Telecom SudParis - Institut Polytechnique de Paris, Evry, France

    Walid Gaaloul

  5. University of Lorraine, Vandoeuvre-les-Nancy, France

    Hervé Panetto

Rights and permissions

Reprints and permissions

Copyright information

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

Schuster, D., Föcking, N., van Zelst, S.J., van der Aalst, W.M.P. (2022). Conformance Checking for Trace Fragments Using Infix and Postfix Alignments. In: Sellami, M., Ceravolo, P., Reijers, H.A., Gaaloul, W., Panetto, H. (eds) Cooperative Information Systems. CoopIS 2022. Lecture Notes in Computer Science, vol 13591. Springer, Cham. https://doi.org/10.1007/978-3-031-17834-4_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-17834-4_18

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-17833-7

  • Online ISBN: 978-3-031-17834-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics