Efficiently computing alignments: algorithm and datastructures

Boudewijn F. van Dongen

doi:10.1007/978-3-030-11641-5_4

Efficiently computing alignments: algorithm and datastructures

Boudewijn F. van Dongen

Information Systems WSK&I

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Downloads (Pure)

Abstract

Conformance checking is considered to be anything where observed behaviour needs to be related to already modelled behaviour. Fundamental to conformance checking are alignments which provide a precise relation between a sequence of activities observed in an event log and a execution sequence of a model. However, computing alignments is a complex task, both in time and memory, especially when models contain large amounts of parallelism. In this tool paper we present the actual algorithm and memory structures used for the experiments of [15]. We discuss the time complexity of the algorithm, as well as the space and time complexity of the main data structures. We further present the integration in ProM and a basic code snippet in Java for computing alignments from within any tool.

Original language	English
Title of host publication	Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers
Editors	Florian Daniel, Quan Z. Sheng, Hamid Motahari
Publisher	Springer
Pages	44-55
Number of pages	12
ISBN (Print)	9783030116408
DOIs	https://doi.org/10.1007/978-3-030-11641-5_4
Publication status	Published - 29 Jan 2019
Event	16th International Conference on Business Process Management, BPM International Workshops 2018 - Sydney, Australia Duration: 9 Sep 2018 → 14 Sep 2018

Publication series

Name	Lecture Notes in Business Information Processing
Volume	342
ISSN (Print)	1865-1348

Conference

Conference	16th International Conference on Business Process Management, BPM International Workshops 2018
Country	Australia
City	Sydney
Period	9/09/18 → 14/09/18

Fingerprint

Keywords

Alignments
Conformance checking
Process mining

Cite this

van Dongen, B. F. (2019). Efficiently computing alignments: algorithm and datastructures. In F. Daniel, Q. Z. Sheng, & H. Motahari (Eds.), Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers (pp. 44-55). (Lecture Notes in Business Information Processing; Vol. 342). Springer. https://doi.org/10.1007/978-3-030-11641-5_4

@inproceedings{7291f3c7fb39471ba3c52f4a67202dd1,

title = "Efficiently computing alignments: algorithm and datastructures",

abstract = "Conformance checking is considered to be anything where observed behaviour needs to be related to already modelled behaviour. Fundamental to conformance checking are alignments which provide a precise relation between a sequence of activities observed in an event log and a execution sequence of a model. However, computing alignments is a complex task, both in time and memory, especially when models contain large amounts of parallelism. In this tool paper we present the actual algorithm and memory structures used for the experiments of [15]. We discuss the time complexity of the algorithm, as well as the space and time complexity of the main data structures. We further present the integration in ProM and a basic code snippet in Java for computing alignments from within any tool.",

keywords = "Alignments, Conformance checking, Process mining",

author = "{van Dongen}, {Boudewijn F.}",

year = "2019",

month = "1",

day = "29",

doi = "10.1007/978-3-030-11641-5_4",

language = "English",

isbn = "9783030116408",

series = "Lecture Notes in Business Information Processing",

publisher = "Springer",

pages = "44--55",

editor = "Florian Daniel and Sheng, {Quan Z.} and Hamid Motahari",

booktitle = "Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers",

address = "Germany",

}

van Dongen, BF 2019, Efficiently computing alignments: algorithm and datastructures. in F Daniel, QZ Sheng & H Motahari (eds), Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers. Lecture Notes in Business Information Processing, vol. 342, Springer, pp. 44-55, 16th International Conference on Business Process Management, BPM International Workshops 2018, Sydney, Australia, 9/09/18. https://doi.org/10.1007/978-3-030-11641-5_4

Efficiently computing alignments : algorithm and datastructures. / van Dongen, Boudewijn F.

Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers. ed. / Florian Daniel; Quan Z. Sheng; Hamid Motahari. Springer, 2019. p. 44-55 (Lecture Notes in Business Information Processing; Vol. 342).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Efficiently computing alignments

T2 - algorithm and datastructures

AU - van Dongen, Boudewijn F.

PY - 2019/1/29

Y1 - 2019/1/29

N2 - Conformance checking is considered to be anything where observed behaviour needs to be related to already modelled behaviour. Fundamental to conformance checking are alignments which provide a precise relation between a sequence of activities observed in an event log and a execution sequence of a model. However, computing alignments is a complex task, both in time and memory, especially when models contain large amounts of parallelism. In this tool paper we present the actual algorithm and memory structures used for the experiments of [15]. We discuss the time complexity of the algorithm, as well as the space and time complexity of the main data structures. We further present the integration in ProM and a basic code snippet in Java for computing alignments from within any tool.

AB - Conformance checking is considered to be anything where observed behaviour needs to be related to already modelled behaviour. Fundamental to conformance checking are alignments which provide a precise relation between a sequence of activities observed in an event log and a execution sequence of a model. However, computing alignments is a complex task, both in time and memory, especially when models contain large amounts of parallelism. In this tool paper we present the actual algorithm and memory structures used for the experiments of [15]. We discuss the time complexity of the algorithm, as well as the space and time complexity of the main data structures. We further present the integration in ProM and a basic code snippet in Java for computing alignments from within any tool.

KW - Alignments

KW - Conformance checking

KW - Process mining

UR - http://www.scopus.com/inward/record.url?scp=85061389800&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-11641-5_4

DO - 10.1007/978-3-030-11641-5_4

M3 - Conference contribution

AN - SCOPUS:85061389800

SN - 9783030116408

T3 - Lecture Notes in Business Information Processing

SP - 44

EP - 55

BT - Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers

A2 - Daniel, Florian

A2 - Sheng, Quan Z.

A2 - Motahari, Hamid

PB - Springer

ER -

Access to Document

10.1007/978-3-030-11641-5_4

Link to publication in Scopus