TY - CHAP
T1 - Computing alignments of event data and process models
AU - van Zelst, Sebastiaan J.
AU - Bolt, Alfredo
AU - van Dongen, Boudewijn F.
PY - 2018/1/1
Y1 - 2018/1/1
N2 - The aim of conformance checking is to assess whether a process model and event data, recorded in an event log, conform to each other. In recent years, alignments have proven extremely useful for calculating conformance statistics. Computing optimal alignments is equivalent to solving a shortest path problem on the state space of the synchronous product net of a process model and event data. State-of-the-art alignment based conformance checking implementations exploit the -algorithm, a heuristic search method for shortest path problems, and include a wide range of parameters that likely influence their performance. In previous work, we presented a preliminary and exploratory analysis of the effect of these parameters. This paper extends the aforementioned work by means of large-scale statistically-sound experiments that describe the effects and trends of these parameters for different populations of process models. Our results show that, indeed, there exist parameter configurations that have a significant positive impact on alignment computation efficiency.
AB - The aim of conformance checking is to assess whether a process model and event data, recorded in an event log, conform to each other. In recent years, alignments have proven extremely useful for calculating conformance statistics. Computing optimal alignments is equivalent to solving a shortest path problem on the state space of the synchronous product net of a process model and event data. State-of-the-art alignment based conformance checking implementations exploit the -algorithm, a heuristic search method for shortest path problems, and include a wide range of parameters that likely influence their performance. In previous work, we presented a preliminary and exploratory analysis of the effect of these parameters. This paper extends the aforementioned work by means of large-scale statistically-sound experiments that describe the effects and trends of these parameters for different populations of process models. Our results show that, indeed, there exist parameter configurations that have a significant positive impact on alignment computation efficiency.
KW - Alignments
KW - Conformance checking
KW - Process mining
UR - http://www.scopus.com/inward/record.url?scp=85057200177&partnerID=8YFLogxK
U2 - 10.1007/978-3-662-58381-4_1
DO - 10.1007/978-3-662-58381-4_1
M3 - Chapter
AN - SCOPUS:85057200177
SN - 978-3-662-58380-7
SN - 978-3-662-58381-4
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 26
BT - Transactions on Petri Nets and Other Models of Concurrency XIII
A2 - Koutny, Maciej
A2 - Kristensen, Lars Michael
A2 - Penczek, Wojciech
PB - Springer
CY - Berlin
ER -