Skip to main content
Springer Nature Link
Log in

Efficient Optimal Alignment Between Dynamic Condition Response Graphs and Traces

  • Conference paper
  • First Online:
Business Process Management (BPM 2023)

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

Included in the following conference series:

  • 1704 Accesses

Abstract

Dynamic Condition Response (DCR) Graphs is a popular declarative process modelling notation which is supported by commercial modelling tools and has seen significant industrial adoption. The problem of aligning traces with DCR Graphs, with it’s multitude of applications such as conformance checking and log repair, has surprisingly not been solved yet. In this paper we address this open gap in the research by developing an algorithm for efficiently computing the optimal alignment of a DCR Graph and a trace. We evaluate the algorithm on the PDC 2022 dataset, showing that even for large models and traces alignment problems can be solved within milliseconds, and present a case study based on test-driven modelling.

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.

    https://www.isa-afp.org/entries/DCR-ExecutionEquivalence.html.

  2. 2.

    https://github.com/Axel0087/DCR-Alignment.

  3. 3.

    https://dreyersfond.dk/fonden/oekonomi/.

  4. 4.

    https://github.com/Axel0087/DCR-Alignment/blob/main/runDreyers.ts.

References

  1. van der Aalst, W.M., Pesic, M.: DecSerFlow: towards a truly declarative service flow language. In: Bravetti, M., Nunez, M., Zavattaro, G. (eds.) Proceedings of Web Services and Formal Methods (WS-FM 2006), vol. 4184, pp. 1–23 (2006)

    Google Scholar 

  2. Adriansyah, A.: Aligning observed and modeled behavior. Ph.D. thesis, Mathematics and Computer Science (2014)

    Google Scholar 

  3. 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 (2021)

    Google Scholar 

  4. Back, C.O., Slaats, T., Hildebrandt, T.T., Marquard, M.: Discover: accurate and efficient discovery of declarative process models. Int. J. Softw. Tools Technol. Transf. 24, 1–25 (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. Carmona, J., van Dongen, B., Solti, A., Weidlich, M.: Conformance Checking. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-99414-7

    Book  Google Scholar 

  7. De Giacomo, G., Maggi, F.M., Marrella, A., Sardina, S.: Computing trace alignment against declarative process models through planning. In: Proceedings of the International Conference on Automated Planning and Scheduling, vol. 26, no. 1, pp. 367–375 (2016)

    Google Scholar 

  8. de Leoni, M., Maggi, F.M., van der Aalst, W.M.: An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data. Inf. Syst. 47, 258–277 (2015)

    Article  Google Scholar 

  9. Debois, S., Hildebrandt, T., Slaats, T., Marquard, M.: A case for declarative process modelling: Agile development of a grant application system. In: 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, pp. 126–133. IEEE (2014)

    Google Scholar 

  10. Debois, S., Slaats, T.: The analysis of a real life declarative process. In: IEEE Symposium Series on Computational Intelligence, SSCI 2015, pp. 1374–1382 (2015)

    Google Scholar 

  11. Fani Sani, M., van Zelst, S.J., van der Aalst, W.M.P.: Conformance checking approximation using subset selection and edit distance. In: Advanced Information Systems Engineering, pp. 234–251 (2020)

    Google Scholar 

  12. Felli, P., Gianola, A., Montali, M., Rivkin, A., Winkler, S.: Cocomot: conformance checking of multi-perspective processes via SMT. In: Business Process Management, pp. 217–234 (2021)

    Google Scholar 

  13. Hildebrandt, T.T., Normann, H., Marquard, M., Debois, S., Slaats, T.: Decision modelling in timed dynamic condition response graphs with data. In: Business Process Management Workshops, pp. 362–374 (2022)

    Google Scholar 

  14. Jagadeesh Chandra Bose, R., van der Aalst, W.M.: Process diagnostics using trace alignment: opportunities, issues, and challenges. Inf. Syst. 37(2), 117–141 (2012). Management and Engineering of Process-Aware Information Systems

    Google Scholar 

  15. Korf, R.E.: Depth-first iterative-deepening: an optimal admissible tree search. Artif. Intell. 27(1), 97–109 (1985)

    Article  MathSciNet  MATH  Google Scholar 

  16. Lee, W.L.J., Verbeek, H., Munoz-Gama, J., van der Aalst, W.M., Sepúlveda, M.: Recomposing conformance: closing the circle on decomposed alignment-based conformance checking in process mining. Inf. Sci. 466, 55–91 (2018)

    Article  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: Business Process Management, pp. 82–97 (2012)

    Google Scholar 

  18. de Leoni, M., Munoz-Gama, J., Carmona, J., van der Aalst, W.M.P.: Decomposing alignment-based conformance checking of data-aware process models. In: On the Move to Meaningful Internet Systems: OTM 2014 Conferences, pp. 3–20 (2014)

    Google Scholar 

  19. Lu, X., Fahland, D., van der Aalst, W.M.P.: Conformance checking based on partially ordered event data. In: Business Process Management Workshops, pp. 75–88 (2015)

    Google Scholar 

  20. Reijers, H.A., Slaats, T., Stahl, C.: Declarative modeling-an academic dream or the future for BPM? In: Business Process Management, pp. 307–322 (2013)

    Google Scholar 

  21. Reißner, D., Conforti, R., Dumas, M., La Rosa, M., Armas-Cervantes, A.: Scalable conformance checking of business processes. In: On the Move to Meaningful Internet Systems, OTM 2017 Conferences, pp. 607–627 (2017)

    Google Scholar 

  22. Sani, M.F., Gonzalez, J.J.G., van Zelst, S.J., van der Aalst, W.M.: Conformance checking approximation using simulation. In: 2020 2nd International Conference on Process Mining (ICPM), pp. 105–112 (2020)

    Google Scholar 

  23. Slaats, T., Debois, S., Hildebrandt, T.: Open to change: a theory for iterative test-driven modelling. In: Business Process Management, pp. 31–47 (2018)

    Google Scholar 

  24. van Dongen, B.F., De Smedt, J., Di Ciccio, C., Mendling, J.: Conformance checking of mixed-paradigm process models. Inf. Syst. 102, 101685 (2021)

    Article  Google Scholar 

  25. van Zelst, S.J., Bolt, A., Hassani, M., van Dongen, B.F., van der Aalst, W.M.P.: 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 

  26. Zugal, S., Pinggera, J., Weber, B.: Creating declarative process models using test driven modeling suite. In: IS Olympics: Information Systems in a Diverse World, pp. 16–32 (2012)

    Google Scholar 

Download references

Acknowledgements

This work is supported by Digital Research Centre Denmark (DIREC). We acknowledge Søren Debois for sharing his Isabelle/HOL DCR Graph formalization.

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Copenhagen, Copenhagen, Denmark

    Axel Kjeld Fjelrad Christfort & Tijs Slaats

Authors
  1. Axel Kjeld Fjelrad Christfort
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tijs Slaats
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Axel Kjeld Fjelrad Christfort .

Editor information

Editors and Affiliations

  1. University of Trento, Trento, Italy

    Chiara Di Francescomarino

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

    Andrea Burattin

  3. TU Dortmund University, Dortmund, Germany

    Christian Janiesch

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

    Shazia Sadiq

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

Christfort, A.K.F., Slaats, T. (2023). Efficient Optimal Alignment Between Dynamic Condition Response Graphs and Traces. In: Di Francescomarino, C., Burattin, A., Janiesch, C., Sadiq, S. (eds) Business Process Management. BPM 2023. Lecture Notes in Computer Science, vol 14159. Springer, Cham. https://doi.org/10.1007/978-3-031-41620-0_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-41620-0_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-41619-4

  • Online ISBN: 978-3-031-41620-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics