Skip to main content
SpringerLink
Log in
Book cover

International Conference on Research Challenges in Information Science

RCIS 2022: Research Challenges in Information Science pp 124–141Cite as

Enabling Conformance Checking for Object Lifecycle Processes

  • Conference paper
  • First Online:

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

Abstract

In object-aware process management, processes are represented as multiple interacting objects rather than a sequence of activities, enabling data-driven and highly flexible processes. In such flexible scenarios, however, it is crucial to be able to check to what degree the process is executed according to the model (i.e., guided behavior). Conformance checking algorithms (e.g., Token Replay or Alignments) deal with this issue for activity-centric processes based on a process model (e.g., specified as a petri net) and a given event log that reflects how the process instances were actually executed. This paper applies conformance checking algorithms to the behavior of objects. In object-aware process management, object lifecycle processes specify the various states into which corresponding objects may transition as well as the object attribute values required to complete these states. The approach accounts for flexible lifecycle executions using multiple workflow nets and conformance categories, therefore facilitating process analysis for engineers.

This is a preview of subscription content, 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   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

Notes

  1. 1.

    All event logs are provided at https://www.researchgate.net/project/Lifecycle-Conformance-Checking-RCIS.

References

  1. van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997). https://doi.org/10.1007/3-540-63139-9_48

    Chapter  Google Scholar 

  2. van der Aalst, W.M.P., et al.: Process mining manifesto. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM 2011. LNBIP, vol. 99, pp. 169–194. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-28108-2_19

    Chapter  Google Scholar 

  3. van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. WIREs Data Min. Knowl. Discovery 2(2), 182–192 (2012)

    Article  Google Scholar 

  4. van der Aalst, W.M.P., Berti, A.: Discovering object-centric Petri Nets. Fundamenta informaticae 175(1/4), 1–40 (2020)

    Article  MathSciNet  Google Scholar 

  5. van der Aalst, W.M.P., Weske, M., Grünbauer, D.: Case handling: a new paradigm for business process support. DKE 53(2), 129–162 (2005)

    Article  Google Scholar 

  6. Andrews, K., Steinau, S., Reichert, M.: Enabling ad-hoc changes to object-aware processes. In: 22nd International Enterprise Distributed Object Computing Conference (EDOC 2018), pp. 85–94. IEEE Computer Society Press, October 2018

    Google Scholar 

  7. Andrews, K., Steinau, S., Reichert, M.: Enabling runtime flexibility in data-centric and data-driven process execution engines. Inf. Syst. 101, 101447 (2021)

    Article  Google Scholar 

  8. Berti, A., van der Aalst, W.M.P.: A novel token-based replay technique to speed up conformance checking and process enhancement. In: Koutny, M., Kordon, F., Pomello, L. (eds.) Transactions on Petri Nets and Other Models of Concurrency XV. LNCS, vol. 12530, pp. 1–26. Springer, Heidelberg (2021). https://doi.org/10.1007/978-3-662-63079-2_1

    Chapter  Google Scholar 

  9. Berti, A., van Zelst, S.J., van der Aalst, W.M.P.: Process mining for Python (PM4Py): bridging the gap between process- and data science. CoRR abs/1905.06169 (2019)

    Google Scholar 

  10. Carmona, J., Dongen, B., Solti, A., Weidlich, M.: Conformance Checking: Relating Processes and Models, January 2018. https://doi.org/10.1007/978-3-319-99414-7

  11. Cohn, D., Hull, R.: Business artifacts: a data-centric approach to modeling business operations and processes. IEEE TCDE 32(3), 3–9 (2009)

    Google Scholar 

  12. Dunzer, S., Stierle, M., Matzner, M., Baier, S.: Conformance checking: a state-of-the-art literature review. CoRR abs/2007.10903 (2020)

    Google Scholar 

  13. Estañol, M., Munoz-Gama, J., Carmona, J., Teniente, E.: Conformance checking in UML artifact-centric business process models. Softw. Syst. Model. 18(4), 2531–2555 (2018). https://doi.org/10.1007/s10270-018-0681-6

    Article  Google Scholar 

  14. Fahland, D., de Leoni, M., van Dongen, B.F., van der Aalst, W.M.P.: Behavioral conformance of artifact-centric process models. In: Abramowicz, W. (ed.) BIS 2011. LNBIP, vol. 87, pp. 37–49. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21863-7_4

    Chapter  Google Scholar 

  15. Fahland, D., de Leoni, M., van Dongen, B.F., van der Aalst, W.M.P.: Conformance checking of interacting processes with overlapping instances. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 345–361. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-23059-2_26

    Chapter  Google Scholar 

  16. Künzle, V., Reichert, M.: PHILharmonicFlows: towards a framework for object-aware process management. JSME 23(4), 205–244 (2011)

    Google Scholar 

  17. de Leoni, M., Maggi, F.M., van der Aalst, W.M.P.: Aligning event logs and declarative process models for conformance checking. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 82–97. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-32885-5_6

    Chapter  Google Scholar 

  18. Munoz-Gama, J., Carmona, J., van der Aalst, W.M.P.: Single-entry single-exit decomposed conformance checking. Inf. Syst. 46, 102–122 (2014)

    Google Scholar 

  19. Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)

    Article  Google Scholar 

  20. Steinau, S., Andrews, K., Reichert, M.: Executing lifecycle processes in object-aware process management. In: Ceravolo, P., van Keulen, M., Stoffel, K. (eds.) SIMPDA 2017. LNBIP, vol. 340, pp. 25–44. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-11638-5_2

    Chapter  Google Scholar 

  21. Steinau, S., Marrella, A., Andrews, K., Leotta, F., Mecella, M., Reichert, M.: DALEC: a framework for the systematic evaluation of data-centric approaches to process management software. Softw. Syst. Model. 18(4), 2679–2716 (2019)

    Article  Google Scholar 

Download references

Acknowledgments

This work is part of the SoftProc project, funded by the KMU Innovativ Program of the Federal Ministry of Education and Research, Germany (F.No. 01IS20027A).

Author information

Authors and Affiliations

  1. Institute of Databases and Information Systems, Ulm University, Ulm, Germany

    Marius Breitmayer, Lisa Arnold & Manfred Reichert

Authors
  1. Marius Breitmayer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lisa Arnold
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Manfred Reichert
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marius Breitmayer .

Editor information

Editors and Affiliations

  1. University of Twente, Enschede, The Netherlands

    Renata Guizzardi

  2. University of Geneva, CUI, Carouge, Switzerland

    Jolita Ralyté

  3. Polytechnic University of Catalonia, Barcelona, Spain

    Xavier Franch

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

Breitmayer, M., Arnold, L., Reichert, M. (2022). Enabling Conformance Checking for Object Lifecycle Processes. In: Guizzardi, R., Ralyté, J., Franch, X. (eds) Research Challenges in Information Science. RCIS 2022. Lecture Notes in Business Information Processing, vol 446. Springer, Cham. https://doi.org/10.1007/978-3-031-05760-1_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-05760-1_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-05759-5

  • Online ISBN: 978-3-031-05760-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation