Mohammad Bakhtiari (11838264) · Figshare · 2025
<div> Radiation oncology is known for its complexity, inherent risks, and sheer volume of data. Adopting a process-oriented management approach and systemic thinking is essential for ensuring safety, efficiency, and the highest quality of care. Process mining offers a data-centric method for analyzing and improving clinical workflows to ensure optimal patient outcomes. This study utilizes process mining techniques along with a quality management system to analyze event logs obtained from an electronic medical record system. Conformance checking and process improvement methodologies were utilized to detect inefficiencies and bottlenecks. Examining the treatment planning process through process mining revealed two principal bottlenecks—OAR contouring and physics chart checks. This led to specific interventions that markedly decreased the time to complete treatment planning processes. Additionally, applying organizational mining methods provided valuable information on how resources are utilized and how teams collaborate within the organization. Process mining is a useful tool for improving efficiency, quality, and decision-making in radiation oncology. By transitioning from traditional management to a data-driven leadership approach, radiation oncology departments can optimize workflows, enhance patient care, and adapt to the evolving demands of modern healthcare. </div>
Cited by 0Open access
Wil M. P. van der Aalst · 2011
Cited by 11
Wil M. P. van der Aalst · 2016
Cited by 3
Josep Carmona, Boudewijn F. van Dongen, Andreas Solti et al. · 2018
Cited by 301
Jorge Muñoz-Gama · Lecture notes in business information processing · 2016
Cited by 0
Alessandro Burigana, Alessandro Gianola, Marco Montali et al. · Lecture notes in computer science · 2024
Cited by 1
Majid Rafiei, Mahsa Pourbafrani, Wil M. P. van der Aalst · ArXiv.org · 2025
Conformance checking is a crucial aspect of process mining, where the main objective is to compare the actual execution of a process, as recorded in an event log, with a reference process model, e.g., in the form of a Petri net or a BPMN. Conformance checking enables identifying deviations, anomalies, or non-compliance instances. It offers different perspectives on problems in processes, bottlenecks, or process instances that are not compliant with the model. Performing conformance checking in federated (inter-organizational) settings allows organizations to gain insights into the overall process execution and to identify compliance issues across organizational boundaries, which facilitates process improvement efforts among collaborating entities. In this paper, we propose a privacy-aware federated conformance-checking approach that allows for evaluating the correctness of overall cross-organizational process models, identifying miscommunications, and quantifying their costs. For evaluation, we design and simulate a supply chain process with three organizations engaged in purchase-to-pay, order-to-cash, and shipment processes. We generate synthetic event logs for each organization as well as the complete process, and we apply our approach to identify and evaluate the cost of pre-injected miscommunications.
Cited by 0Open access
Josep Carmona, Boudewijn F. van Dongen, Andreas Solti et al. · 2018
Cited by 1
Eli Bogdanov, Izack Cohen, Avigdor Gal · ArXiv.org · 2025
Long event sequences (termed traces) and large data logs that originate from sensors and prediction models are becoming increasingly common in our data-rich world. In such scenarios, conformance checking-validating a data log against an expected system behavior (the process model) can become computationally infeasible due to the exponential complexity of finding an optimal alignment. To alleviate scalability challenges for this task, we propose ConLES, a sliding-window conformance checking approach for long event sequences that preserves the interpretability of alignment-based methods. ConLES partitions traces into manageable subtraces and iteratively aligns each against the expected behavior, leading to significant reduction of the search space while maintaining overall accuracy. We use global information that captures structural properties of both the trace and the process model, enabling informed alignment decisions and discarding unpromising alignments, even if they appear locally optimal. Performance evaluations across multiple datasets highlight that ConLES outperforms the leading optimal and heuristic algorithms for long traces, consistently achieving the optimal or near-optimal solution. Unlike other conformance methods that struggle with long event sequences, ConLES significantly reduces the search space, scales efficiently, and uniquely supports both predefined and discovered process models, making it a viable and leading option for conformance checking of long event sequences.
Cited by 0Open access
Sunny Huynh, Yuanfang Cai, Yuanyuan Song et al. · 2008
According to Parnas's information hiding principle and Baldwin and Clark's design rule theory, the key step to decomposing a system into modules is to determine the design rules (or in Parnas's terms, interfaces) that decouple otherwise coupled design decisions and to hide decisions that are likely to change in independent modules. Given a modular design, it is often difficult to determine whether and how its implementation realizes the designed modularity. Manually comparing code with abstract design is tedious and error-prone. We present an automated approach to check the conformance of implemented modularity to designed modularity, using design structure matrices as a uniform representation for both. Our experiments suggest that our approach has the potential to manifest the decoupling effects of design rules in code, and to detect modularity deviation caused by implementation faults. We also show that design and implementation models together provide a comprehensive view of modular structure that makes certain implicit dependencies within code explicit.
Cited by 35
Sherif Sakr, Albert Y. Zomaya · Encyclopedia of Big Data Technologies · 2019
Cited by 0
Gert Janssenswillen · Lecture notes in business information processing · 2021
Cited by 0
Gert Janssenswillen · Lecture notes in business information processing · 2021
Cited by 1
Bose, Adrija · Document Server@UHasselt (UHasselt) · 2024
Cited by 0Open access
Aalst, van der, WMP Wil, Dumas, M, Ouyang, C Chun et al. · Data Archiving and Networked Services (DANS) · 2008
Cited by 0
Aalst, WMP Wil van der, Dumas, Marlon, Ouyang, C Chun et al. · TU/e Research Portal (Eindhoven University of Technology) · 2008
A service-oriented system is composed of independent software units, namely services, that interact with one another exclusively through message exchanges. The proper functioning of such system depends on whether or not each individual service behaves as the other services expect it to behave. Since services may be developed and operated independently, it is unrealistic to assume that this is always the case. This article addresses the problem of checking and quantifying how much the actual behavior of a service, as recorded in message logs, conforms to the expected behavior as specified in a process model. We consider the case where the expected behavior is defined using the BPEL industry standard (Business Process Execution Language for Web Services). BPEL process definitions are translated into Petri nets and Petri net-based conformance checking techniques are applied to derive two complementary indicators of conformance: fitness and appropriateness. The approach has been implemented in a toolset for business process analysis and mining, namely ProM, and has been tested in an environment comprising multiple Oracle BPEL servers.
Cited by 0
Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang et al. · TU/e Research Portal · 2008
A service-oriented system is composed of independent software units, namely services, that interact with one another exclusively through message exchanges. The proper functioning of such system depends on whether or not each individual service behaves as the other services expect it to behave. Since services may be developed and operated independently, it is unrealistic to assume that this is always the case. This article addresses the problem of checking and quantifying how much the actual behavior of a service, as recorded in message logs, conforms to the expected behavior as specified in a process model. We consider the case where the expected behavior is defined using the BPEL industry standard (Business Process Execution Language for Web Services). BPEL process definitions are translated into Petri nets and Petri net-based conformance checking techniques are applied to derive two complementary indicators of conformance: fitness and appropriateness. The approach has been implemented in a toolset for business process analysis and mining, namely ProM, and has been tested in an environment comprising multiple Oracle BPEL servers.
Cited by 136
Unknown · TU/e Research Portal (Eindhoven University of Technology) · 2019
Cited by 0
TU/e Research Portal (Eindhoven University of Technology) · 2019
Cited by 0
Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang et al. · ACM Transactions on Internet Technology · 2008
A service-oriented system is composed of independent software units, namely services, that interact with one another exclusively through message exchanges. The proper functioning of such system depends on whether or not each individual service behaves as the other services expect it to behave. Since services may be developed and operated independently, it is unrealistic to assume that this is always the case. This article addresses the problem of checking and quantifying how much the actual behavior of a service, as recorded in message logs, conforms to the expected behavior as specified in a process model. We consider the case where the expected behavior is defined using the BPEL industry standard (Business Process Execution Language for Web Services). BPEL process definitions are translated into Petri nets and Petri net-based conformance checking techniques are applied to derive two complementary indicators of conformance: fitness and appropriateness . The approach has been implemented in a toolset for business process analysis and mining, namely ProM, and has been tested in an environment comprising multiple Oracle BPEL servers.
Cited by 53