paper-with-me

홈 › Papers

Conformance Checking Over Stochastically Known Logs

2022-03-14 · Eli Bogdanov, Izack Cohen, Avigdor Gal

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 captured stochastically, especially when using probabilistic data classification models. In this work we focus on conformance checking, which compares a process model with an event log, when event logs are stochastically known. Building on existing alignment-based conformance checking fundamentals, we mathematically define a stochastic trace model, a stochastic synchronous product, and a cost function that reflects the uncertainty of events in a log. Then, we search for an optimal alignment over the reachability graph of the stochastic synchronous product for finding an optimal alignment between a model and a stochastic process observation. Via structured experiments with two well-known process mining benchmarks, we explore the behavior of the suggested stochastic conformance checking approach and compare it to a standard alignment-based approach as well as to an approach that creates a lower bound on performance. We envision the proposed stochastic conformance checking approach as a viable process mining component for future analysis of stochastic event logs.

📄 PDF Abstract BibTeX arXiv:2203.07507

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Uncertain Process Data with Probabilistic Knowledge: Problem Characterization and Challenges

2021-06-07 · Izack Cohen, Avigdor Gal

Motivated by the abundance of uncertain event data from multiple sources including physical devices and sensors, this paper presents the task of relating a stochastic process observation to a process model that can be re…

Conformance Checking with Uncertainty via SMT (Extended Version)

2022-06-15 · Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin 외

Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events. We consider the problem of checking conformance of uncertain logs against data-aware reference process…

Conformance Checking over Uncertain Event Data

2020-09-29 · Marco Pegoraro, Merih Seran Uysal, Wil M. P. van der Aalst

The strong impulse to digitize processes and operations in companies and enterprises have resulted in the creation and automatic recording of an increasingly large amount of process data in information systems. These are…

Partial Order Resolution of Event Logs for Process Conformance Checking

2020-07-05 · Han van der Aa, Henrik Leopold, Matthias Weidlich

While supporting the execution of business processes, information systems record event logs. Conformance checking relies on these logs to analyze whether the recorded behavior of a process conforms to the behavior of a n…

Architecting software monitors for control-flow anomaly detection through large language models and conformance checking

2025-11-14 · Francesco Vitale, Francesco Flammini, Mauro Caporuscio, Nicola Mazzocca arxiv

Context: Ensuring high levels of dependability in modern computer-based systems has become increasingly challenging due to their complexity. Although systems are validated at design time, their behavior can be different …

Anomaly Detection