Standard
Efficient Optimal Alignment Between Dynamic Condition Response Graphs and Traces. / Christfort, Axel Kjeld Fjelrad; Slaats, Tijs.
Business Process Management - 21st International Conference, BPM 2023, Proceedings. ed. / Chiara Di Francescomarino; Andrea Burattin; Christian Janiesch; Shazia Sadiq. Springer, 2023. p. 3-19 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14159 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Christfort, AKF & Slaats, T 2023,
Efficient Optimal Alignment Between Dynamic Condition Response Graphs and Traces. in C Di Francescomarino, A Burattin, C Janiesch & S Sadiq (eds),
Business Process Management - 21st International Conference, BPM 2023, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14159 LNCS, pp. 3-19, Proceedings of the 21st International Conference on Business Process Management , BPM 2023, Utrecht, Netherlands,
11/09/2023.
https://doi.org/10.1007/978-3-031-41620-0_1
APA
Christfort, A. K. F., & Slaats, T. (2023).
Efficient Optimal Alignment Between Dynamic Condition Response Graphs and Traces. In C. Di Francescomarino, A. Burattin, C. Janiesch, & S. Sadiq (Eds.),
Business Process Management - 21st International Conference, BPM 2023, Proceedings (pp. 3-19). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 14159 LNCS
https://doi.org/10.1007/978-3-031-41620-0_1
Vancouver
Christfort AKF, Slaats T.
Efficient Optimal Alignment Between Dynamic Condition Response Graphs and Traces. In Di Francescomarino C, Burattin A, Janiesch C, Sadiq S, editors, Business Process Management - 21st International Conference, BPM 2023, Proceedings. Springer. 2023. p. 3-19. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14159 LNCS).
https://doi.org/10.1007/978-3-031-41620-0_1
Author
Christfort, Axel Kjeld Fjelrad ; Slaats, Tijs. / Efficient Optimal Alignment Between Dynamic Condition Response Graphs and Traces. Business Process Management - 21st International Conference, BPM 2023, Proceedings. editor / Chiara Di Francescomarino ; Andrea Burattin ; Christian Janiesch ; Shazia Sadiq. Springer, 2023. pp. 3-19 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14159 LNCS).
Bibtex
@inproceedings{b138f7c46aa240238e318192f7114509,
title = "Efficient Optimal Alignment Between Dynamic Condition Response Graphs and Traces",
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{\textquoteright}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.",
keywords = "Conformance checking, DCR graphs, Declarative process models, Test-driven Modelling, Trace alignment",
author = "Christfort, {Axel Kjeld Fjelrad} and Tijs Slaats",
note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.; Proceedings of the 21st International Conference on Business Process Management , BPM 2023 ; Conference date: 11-09-2023 Through 15-09-2023",
year = "2023",
doi = "10.1007/978-3-031-41620-0_1",
language = "English",
isbn = "9783031416194",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "3--19",
editor = "{Di Francescomarino}, Chiara and Andrea Burattin and Christian Janiesch and Shazia Sadiq",
booktitle = "Business Process Management - 21st International Conference, BPM 2023, Proceedings",
address = "Switzerland",
}
RIS
TY - GEN
T1 - Efficient Optimal Alignment Between Dynamic Condition Response Graphs and Traces
AU - Christfort, Axel Kjeld Fjelrad
AU - Slaats, Tijs
N1 - Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2023
Y1 - 2023
N2 - 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.
AB - 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.
KW - Conformance checking
KW - DCR graphs
KW - Declarative process models
KW - Test-driven Modelling
KW - Trace alignment
UR - http://www.scopus.com/inward/record.url?scp=85172235408&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-41620-0_1
DO - 10.1007/978-3-031-41620-0_1
M3 - Article in proceedings
AN - SCOPUS:85172235408
SN - 9783031416194
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 3
EP - 19
BT - Business Process Management - 21st International Conference, BPM 2023, Proceedings
A2 - Di Francescomarino, Chiara
A2 - Burattin, Andrea
A2 - Janiesch, Christian
A2 - Sadiq, Shazia
PB - Springer
T2 - Proceedings of the 21st International Conference on Business Process Management , BPM 2023
Y2 - 11 September 2023 through 15 September 2023
ER -