Workflow mining bij GGZNHN (in Dutch)

GGZNHN is een specialistische ggz-instelling die behandelingen biedt aan mensen met ernstige psychiatrische aandoeningen[1]. Deze opdracht heeft betrekking op de groep mensen (volwassenen) die wordt aangemeld door de huisarts voor een ambulante ggz-behandeling.  Cliënten worden rechtstreeks via de huisarts aangemeld, via externe ketenpartners of via de aan GGZNHN verbonden basis-ggz (Amici).  Een ambulante behandeling wordt Read More …

2AMI10 Foundations of Process Mining

Data science is the profession of the future, because organizations that are unable to use (big) data in a smart way will not survive. It is not sufficient to focus on data storage and data analysis. The data scientist also needs to relate data to process analysis. Process mining bridges the gap between traditional model-based Read More …

Certif-AI

Certif-AI: Certification of production process quality through Artificial Intelligence Description Production processes can be made ‘smarter’ by exploiting the data streams that are generated by the machines that are used in production. In particular these data streams can be mined to build a model of the production process as it was really executed – as Read More …

A tour in process mining: from practice to algorithmic challenges

van der Aalst, W., Carmona, J., Chatain, T., & van Dongen, B. (2019). A tour in process mining: from practice to algorithmic challenges. In M. Koutny, L. Pomello, & L. M. Kristensen (Eds.), Transactions on Petri Nets and Other Models of Concurrency XIV (pp. 1-35). (Lecture Notes in Computer Science (including subseries Lecture Notes in Read More …

Conformance checking: relating processes and models, relating processes and models

Carmona, J., van Dongen, B., Solti, A., & Weidlich, M. (2018). Conformance checking: relating processes and models. Springer International Publishing Switzerland. https://doi.org/10.1007/978-3-319-99414-7 Abstract This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. Conformance checking interrelates the modelled and recorded behaviour of Read More …

Mercedes-Benz Customer Assistance Center in Maastricht

Mercedes-Benz are well recognized as industry leaders in luxury service and high quality products, pushing the meaning of automobile excellence to new boundaries. You can trace the timeline of Mercedes-Benz all the way back to 1885 when Karl Benz invented the first automobile – cementing Mercedes-Benz a place in history. We know what you’re thinking, Read More …

Computing alignments of event data and process models

van Zelst, S. J., Bolt, A., & van Dongen, B. F. (2018). Computing alignments of event data and process models. In M. Koutny, L. M. Kristensen, & W. Penczek (Eds.), Transactions on Petri Nets and Other Models of Concurrency XIII (pp. 1-26). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Read More …

Improving alignment computation using model-based preprocessing

Syamsiyah, A., & van Dongen, B. F. (2019). Improving alignment computation using model-based preprocessing. In Proceedings – 2019 International Conference on Process Mining, ICPM 2019 (pp. 73-80). [8786043] Piscataway: Institute of Electrical and Electronics Engineers. DOI: 10.1109/ICPM.2019.00021 Abstract Alignments are a fundamental approach in conformance checking to provide an explicit relation between traces of events Read More …

Efficiently computing alignments: algorithm and datastructures

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. DOI: 10.1007/978-3-030-11641-5_4 Abstract Conformance checking is considered to be anything where observed Read More …

Detecting behavioral design patterns from software execution data

Liu, C., van Dongen, B. F., Assy, N., & van der Aalst, W. M. P. (2019). Detecting behavioral design patterns from software execution data. In E. Damiani, G. Spanoudakis, & L. A. Maciaszek (Eds.), Evaluation of Novel Approaches to Software Engineering – 13th International Conference, ENASE 2018, Revised Selected Papers (pp. 137-164). (Communications in Computer Read More …

A general framework to identify software components from execution data

Liu, C., van Dongen, B. F., Assy, N., & van der Aalst, W. M. P. (2019). A general framework to identify software components from execution data. In G. Spanoudakis, E. Damiani, L. Maciaszek, & L. Maciaszek (Eds.), ENASE 2019 – Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering (pp. Read More …

Software architectural model discovery from execution data

Liu, C., van Dongen, B. F., Assy, N., & van der Aalst, W. M. P. (2018). Software architectural model discovery from execution data. In ENASE 2018 – Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (pp. 3-10) Abstract During the execution of software systems, many crashes and exceptions may Read More …

Online conformance checking: relating event streams to process models using prefix-alignments

van Zelst, S. J., Bolt Irondio, A. J., Hassani, M., van Dongen, B. F., & van der Aalst, W. M. P. (2019). Online conformance checking: relating event streams to process models using prefix-alignments. International Journal of Data Science and Analytics, 8(3), 269-284. DOI: 10.1007/s41060-017-0078-6 Abstract Companies often specify the intended behaviour of their business processes Read More …

Enabling efficient process mining on large data sets: realizing an in-database process mining operator

Dijkman, R., Gao, J., Syamsiyah, A., van Dongen, B., Grefen, P., & ter Hofstede, A. (2019). Enabling efficient process mining on large data sets: realizing an in-database process mining operator. Distributed and Parallel Databases, 38(1), 227-253. https://doi.org/10.1007/s10619-019-07270-1 Abstract Process mining can be used to analyze business processes based on logs of their execution. These execution Read More …

Native directly follows operator

Syamsiyah, A., Dongen, B. F. van, & Dijkman, R. M. (2018). Native directly follows operator. arXiv. Abstract Typical legacy information systems store data in relational databases. Process mining is a research discipline that analyzes this data to obtain insights into processes. Many different process mining techniques can be applied to data. In current techniques, an Read More …

2IIH0 Process Modelling and Simulation

Processes are everywhere in organizations and modern life is often governed by all kinds of processes, ranging from administrative processes to handle admission to a university to logistic processes to handle packages being delivered to customers who ordered online. Especially in administrative processes, concurrency plays an important role as multiple things can happen in parallel Read More …

Log Data Anonymization

In the context of process mining, we are often confronted with companies willing to share their data if we can sufficiently anonymize this. However, to date, there are no well-defined plugins to do such anonymizations. Therefore, we are looking for a Master student that is willing to help us with this. Part of the project Read More …

N-out-of-M patterns in alignments

Aligning structured process models to event logs is a far from trivial task. In complex modelling languages, inclusive OR-split/join patterns play an important role and they are known to be notoriously difficult to align to event logs due to their large state-spaces. The known Petri net translations of OR-joins rely either on token coloring or Read More …

Generating non block-structured models and corresponding logs

For experimenting with process discovery and Petri nets, scientists often rely on experiments with artificial models and logs. More often than not, these models are block structured as it is easy to generate such models by simply building a random process tree and translating that into a Petri net. However, Petri nets allow for more Read More …

Petri net reduction rules for replay

Replaying event logs on Petri nets, either through token-replay or using alignments, is a complex task. Especially when models become larger and have more labels, the size of the models becomes a problem. In Petri net theory, many reduction rules exist for reducing Petri nets while retaining, for example, soundness of the model. Can we Read More …

Boudewijn van Dongen

Boudewijn’s research focusses on conformance checking. Conformance checking is considered to be anything where observed behavior, needs to be related to already modeled behavior. Conformance checking is embedded in the larger contexts of Business Process Management and Process Mining. Boudewijn aims to develop techniques and tools to analyze databases and logs of large-scale information systems Read More …

Efficiently computing alignments : using the extended marking equation

Dongen, Boudewijn F. van (2018). Efficiently computing alignments : using the extended marking equation. In Ingo Weber, Jan vom Brocke, Marco Montali & Mathias Weske (Eds.), Business Process Management – 16th International Conference, BPM 2018, Proceedings (pp. 197-214). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Read More …

Online conformance checking using behavioural patterns

Burattin, Andrea, van Zelst, Sebastiaan J., Armas-Cervantes, Abel, van Dongen, Boudewijn F. & Carmona, Josep (2018). Online conformance checking using behavioural patterns. In Ingo Weber, Jan vom Brocke, Marco Montali & Mathias Weske (Eds.), Business Process Management – 16th International Conference, BPM 2018, Proceedings (pp. 250-267). (Lecture Notes in Computer Science (including subseries Lecture Notes Read More …

Maximizing synchronization for aligning observed and modelled behaviour

Bloemen, Vincent, van Zelst, Sebastiaan J., van der Aalst, Wil M.P., van Dongen, Boudewijn F. & van de Pol, Jaco (2018). Maximizing synchronization for aligning observed and modelled behaviour. In Ingo Weber, Jan vom Brocke, Marco Montali & Mathias Weske (Eds.), Business Process Management – 16th International Conference, BPM 2018, Proceedings (pp. 233-249). (Lecture Notes Read More …

Do CHANGE project with Onmi Design

Onmi Design is currently working on the Do CHANGE project, funded in the Horizon 2020 program from the European Commission. In this project they are developing a health ecosystem that provides real-time behaviour change coaching based on input from various sensors. The student would assist in the development of analysis algorithms and integration of these Read More …

A native operator for process discovery

Syamsiyah, Alifah, van Dongen, Boudewijn F. & Dijkman, Remco M. (2018). A native operator for process discovery. In Hui Ma, Günther Pernul, Abdelkader Hameurlain, Sven Hartmann & Roland R. Wagner (Eds.), Database and Expert Systems Applications – 29th International Conference, DEXA 2018, Proceedings (pp. 292-300). (Lecture Notes in Computer Science (including subseries Lecture Notes in Read More …

Component interface identification and behavioral model discovery from software execution data

Liu, Cong, van Dongen, Boudewijn, Assy, Nour & van der Aalst, Wil M.P. (2018). Component interface identification and behavioral model discovery from software execution data. Proceedings – 2018 ACM/IEEE 26th International Conference on Program Comprehension, ICPC 2018 (pp. 97-107). New York: Association for Computing Machinery, Inc Abstract Restructuring an object-oriented software system into a component-based Read More …

A framework to support behavioral design pattern detection from software execution data

Liu, Cong, van Dongen, Boudewijn, Assy, Nour & van der Aalst, Wil M.P. (2018). A framework to support behavioral design pattern detection from software execution data. ENASE 2018 – Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (pp. 65-76). SCITEPRESS-Science and Technology Publications, Lda.. Abstract The detection of design Read More …

Similarity resonance for improving process model matching accuracy

Assy, Nour, van Dongen, Boudewijn F. & van der Aalst, Wil M.P. (2018). Similarity resonance for improving process model matching accuracy. Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018 (pp. 86-93). New York: Association for Computing Machinery, Inc. Abstract Comparing and matching process models is a common task in many process Read More …

DB-XES : Enabling process discovery in the large

Syamsiyah, Alifah, Van Dongen, Boudewijn F. & van der Aalst, Wil M.P. (2018). DB-XES : Enabling process discovery in the large. Data-Driven Process Discovery and Analysis – 6th IFIP WG 2.6 International Symposium, SIMPDA 2016, Revised Selected Papers (pp. 53-77). (Lecture Notes in Business Information Processing, No. 307). BHRA / Springer Verlag. Abstract Dealing with Read More …

Recurrent process mining with live event data

Syamsiyah, Alifah, van Dongen, Boudewijn F. & van der Aalst, Wil M.P. (2018). Recurrent process mining with live event data. Business Process Management Workshops – BPM 2017 International Workshops, Revised Papers (pp. 178-190). (Lecture Notes in Business Information Processing, No. 308). BHRA / Springer Verlag. Abstract In organizations, process mining activities are typically performed in Read More …

A general framework to detect behavioral design patterns

Liu, Cong, Van Dongen, Boudewijn, Assy, Nour & Van Der Aalst, Wil M.P. (2018). A general framework to detect behavioral design patterns. Proceedings – International Conference on Software Engineering (pp. 234-235). IEEE Computer Society. Abstract This paper presents a general framework to detect behavioral design patterns by combining source code and execution data. The framework Read More …