中文
相关论文

相关论文: CoCoMoT: Conformance Checking of Multi-Perspective…

200 篇论文

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…

计算机科学中的逻辑 · 计算机科学 2024-04-08 Alessandro Gianola , Marco Montali , Sarah Winkler

Conformance checking is a set of process mining functions that compare process instances with a given process model. It identifies deviations between the process instances' actual behaviour ("as-is") and its modelled behaviour ("to-be").…

软件工程 · 计算机科学 2020-07-22 Sebastian Dunzer , Matthias Stierle , Martin Matzner , Stephan Baier

Process mining is a family of techniques that aim at analyzing business process execution data recorded in event logs. Conformance checking is a branch of this discipline embracing approaches for verifying whether the behavior of a process,…

软件工程 · 计算机科学 2016-08-19 Andrea Burattin , Fabrizio Maria Maggi , Alessandro Sperduti

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 processes. Specifically, we…

人工智能 · 计算机科学 2022-06-28 Paolo Felli , Alessandro Gianola , Marco Montali , Andrey Rivkin , 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…

人工智能 · 计算机科学 2022-01-25 Andrea Burattin

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.…

信息检索 · 计算机科学 2025-01-24 Majid Rafiei , Mahsa Pourbafrani , Wil M. P. van der Aalst

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…

密码学与安全 · 计算机科学 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…

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…

人工智能 · 计算机科学 2019-12-13 Thomas Chatain , Mathilde Boltenhagen , Josep Carmona

Mixed-paradigm process models integrate strengths of procedural and declarative representations like Petri nets and Declare. They are specifically interesting for process mining because they allow capturing complex behaviour in a compact…

形式语言与自动机理论 · 计算机科学 2020-11-30 Boudewijn van Dongen , Johannes De Smedt , Claudio Di Ciccio , Jan Mendling

Business processes need to have certain constraints such that they can lead to sustainable outcomes. These constraints can be manifold and their adherence has to be monitored. In the past compliance checking has been applied in several…

计算机与社会 · 计算机科学 2020-06-19 Clemens Schreiber

Process Mining has recently gained popularity in healthcare due to its potential to provide a transparent, objective and data-based view on processes. Conformance checking is a sub-discipline of process mining that has the potential to…

人工智能 · 计算机科学 2020-10-23 An Nguyen , Wenyu Zhang , Leo Schwinn , Bjoern Eskofier

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…

人工智能 · 计算机科学 2023-11-22 Eli Bogdanov , Izack Cohen , Avigdor Gal

The execution of different cases of a process is often restricted by inter-case dependencies through e.g., queueing or shared resources. Various high-level Petri net formalisms have been proposed that are able to model and analyze…

形式语言与自动机理论 · 计算机科学 2023-04-12 Dominique Sommers , Natalia Sidorova , Boudewijn F. van Dongen

The conformance testing problem for dynamical systems asks, given two dynamical models (e.g., as Simulink diagrams), whether their behaviors are "close" to each other. In the semi-formal approach to conformance testing, the two systems are…

系统与控制 · 计算机科学 2015-05-22 Jyotirmoy V. Deshmukh , Rupak Majumdar , Vinayak S. Prabhu

Conformance checking techniques let us find out to what degree a process model and real execution data correspond to each other. In recent years, alignments have proven extremely useful in calculating conformance statistics. Most techniques…

人工智能 · 计算机科学 2019-12-12 Mohammadreza Fani Sani , Sebastiaan J. van Zelst , Wil M. P. van der Aalst

Conformance checking techniques aim to provide diagnostics on the conformity between process models and event data. Conventional methods, such as trace alignments, assume strict total ordering of events, leading to inaccuracies when…

数据库 · 计算机科学 2025-04-08 Ariba Siddiqui , Wil M. P. van der Aalst , Daniel Schuster

Given a model of the expected behavior of a business process and an event log recording its observed behavior, the problem of business process conformance checking is that of identifying and describing the differences between the model and…

Process mining sheds new light on the relationship between process models and real-life processes. Process discovery can be used to learn process models from event logs. Conformance checking is concerned with quantifying the quality of a…

人工智能 · 计算机科学 2019-09-06 Anja F. Syring , Niek Tax , Wil M. P. van der Aalst

Conformance checking techniques aim to collate observed process behavior with normative/modeled process models. The majority of existing approaches focuses on completed process executions, i.e., offline conformance checking. Recently, novel…

计算机科学中的逻辑 · 计算机科学 2022-11-23 Daniel Schuster , Gero J. Kolhof
‹ 上一页 1 2 3 10 下一页 ›