English
Related papers

Related papers: A Task Taxonomy for Conformance Checking

200 papers

With the growing number of devices, sensors and digital systems, data logs may become uncertain due to, e.g., sensor reading inaccuracies or incorrect interpretation of readings by processing programs. At times, such uncertainties can be…

Artificial Intelligence · Computer Science 2023-11-22 Eli Bogdanov , Izack Cohen , Avigdor Gal

Real-world processes operate on objects that are inter-dependent. To accurately reflect the nature of such processes, object-centric process mining techniques are needed, notably conformance checking. However, while the object-centric…

Logic in Computer Science · Computer Science 2024-04-08 Alessandro Gianola , Marco Montali , Sarah Winkler

Within process mining, a relevant activity is conformance checking. Such activity consists of establishing the extent to which actual executions of a process conform the expected behavior of a reference model. Current techniques focus on…

Artificial Intelligence · Computer Science 2022-01-25 Andrea Burattin

Despite decision-making being a vital goal of data visualization, little work has been done to differentiate decision-making tasks within the field. While visualization task taxonomies and typologies exist, they often focus on more granular…

Human-Computer Interaction · Computer Science 2026-02-18 Camelia D. Brumar , Sam Molnar , Gabriel Appleby , Kristi Potter , Remco Chang

Detecting undesired process behavior is one of the main tasks of process mining and various conformance-checking techniques have been developed to this end. These techniques typically require a normative process model as input, specifically…

Software Engineering · Computer Science 2025-08-25 Adrian Rebmann , Timotheus Kampik , Carl Corea , Han van der Aa

Organizations need to manage numerous business processes for delivering their services and products to customers. One important consideration thereby lies in the adherence to regulations such as laws, guidelines, or industry standards. In…

Computers and Society · Computer Science 2025-11-12 Finn Klessascheck , Luise Pufahl

Conformance checking, one of the main process mining operations, aims to identify discrepancies between a process model and an event log. The model represents the expected behaviour, whereas the event log represents the actual process…

Cryptography and Security · Computer Science 2026-05-04 Luis Rodríguez-Flores , Luciano García-Bañuelos , Abel Armas-Cervantes , Astrid Rivera-Partida

Conformance checking, one of the main process mining operations, aims to identify discrepancies between a process model and an event log. The model represents the expected behaviour, whereas the event log represents the actual process…

Genomic data visualization is essential for interpretation and hypothesis generation as well as a valuable aid in communicating discoveries. Visual tools bridge the gap between algorithmic approaches and the cognitive skills of…

Genomics · Quantitative Biology 2019-11-04 Sabrina Nusrat , Theresa Harbig , Nils Gehlenborg

Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log. While this problem has been extensively studied for pure control-flow processes,…

Artificial Intelligence · Computer Science 2021-04-20 Paolo Felli , Alessandro Gianola , Marco Montali , Andrey Rivkin , Sarah Winkler

Designing suitable tasks for visualization evaluation remains challenging. Traditional evaluation techniques commonly rely on 'low-level' or 'open-ended' tasks to assess the efficacy of a proposed visualization, however, nontrivial…

Human-Computer Interaction · Computer Science 2022-05-13 Ashley Suh , Ab Mosca , Shannon Robinson , Quinn Pham , Dylan Cashman , Alvitta Ottley , Remco Chang

The business processes of organizations may deviate from normal control flow due to disruptive anomalies, including unknown, skipped, and wrongly-ordered activities. To identify these control-flow anomalies, process mining can check…

Machine Learning · Computer Science 2025-02-17 Francesco Vitale , Marco Pegoraro , Wil M. P. van der Aalst , Nicola Mazzocca

Gantt charts are a widely-used idiom for visualizing temporal discrete event sequence data where dependencies exist between events. They are popular in domains such as manufacturing and computing for their intuitive layout of such data.…

Human-Computer Interaction · Computer Science 2024-08-22 Sayef Azad Sakin , Katherine E. Isaacs

The literature describes many visualization techniques for different types of data, tasks, and application contexts, and new techniques are proposed on a regular basis. Visualization surveys try to capture the immense space of techniques…

Human-Computer Interaction · Computer Science 2025-07-23 Abdulhaq Adetunji Salako , Christian Tominski

Association rule mining is intended for searching for the relationships between attributes in transaction databases. The whole process of rule discovery is very complex, and involves pre-processing techniques, a rule mining step, and…

Databases · Computer Science 2023-02-27 Iztok Fister , Iztok Fister , Dušan Fister , Vili Podgorelec , Sancho Salcedo-Sanz

Processes are a crucial artefact in organizations, since they coordinate the execution of activities so that products and services are provided. The use of models to analyse the underlying processes is a well-known practice. However, due to…

Artificial Intelligence · Computer Science 2019-12-13 Thomas Chatain , Mathilde Boltenhagen , Josep Carmona

Executing operational processes generates event data, which contain information on the executed process activities. Process mining techniques allow to systematically analyze event data to gain insights that are then used to optimize…

Databases · Computer Science 2022-11-23 Daniel Schuster , Lukas Schade , Sebastiaan J. van Zelst , Wil M. P. van der Aalst

The subject of this paper is to study conformance checking for timed models, that is, process models that consider both the sequence of events in a process as well as the timestamps at which each event is recorded. Time-aware process mining…

Formal Languages and Automata Theory · Computer Science 2022-10-28 Neha Rino , Thomas Chatain

A chart sequence is used to describe a series of visualization charts generated in the exploratory analysis by data analysts. It provides information details in each chart as well as a logical relationship among charts. While existing…

Human-Computer Interaction · Computer Science 2019-08-08 Danqing Shi , Yang Shi , Xinyue Xu , Nan Chen , Siwei Fu , Hongjin Wu , Nan Cao

[Context and motivation] When developing software, coordination between different organizational units is essential in order to develop a good quality product, on time and within budget. Particularly, the synchronization between…