Conformance checking of processes based on monitoring real behavior

Rozinat, A Anne; Aalst, Wil M. P. van der

doi:10.1016/j.is.2007.07.001

Cited by 891 publications

(751 citation statements)

References 23 publications

Supporting

Mentioning

736

Contrasting

Unclassified

Order By: Relevance

“…Measuring Fitness can be performed using several approaches such as the "Alignment-based Replay Fitness" [13] and the Petri-net replay technique that allows to detect possible mismatches [9]. The Precision dimension is used to quantify the extra behaviour allowed by a process model that is not recorded in the log [11].…”

Section: Control-flow Quality Dimensionsmentioning

confidence: 99%

Toward an Automated Labeling of Event Log Attributes

Andaloussi

Burattin

Weber

2018

Enterprise, Business-Process and Information Systems Modeling

View full text Add to dashboard Cite

Abstract. Process mining aims at exploring the data produced by executable business processes to mine the underlying control-flow and dataflow. Most of the process mining algorithms assume the existence of an event log with a certain maturity level. Unfortunately, the logs provided by process unaware information systems often do not comply with the required maturity level, since they lack the notion of process instance, also referred in process mining as "case id". Without a proper identification of the case id attribute in log files, the outcome of process mining algorithms is unpredictable. This paper proposes a new approach that aims to overcome this challenge by automatically inferring the case id attribute from log files. The approach has been implemented as a ProM plugin and evaluated with several real-world event logs. The results demonstrate a high accuracy in inferring the case id attribute.

show abstract

Section: Control-flow Quality Dimensionsmentioning

confidence: 99%

Toward an Automated Labeling of Event Log Attributes

Andaloussi

Burattin

Weber

2018

Enterprise, Business-Process and Information Systems Modeling

View full text Add to dashboard Cite

show abstract

“…In the seminal work [1], a tness metric is presented to describe the extent to which event traces can be associated with valid execution paths in the process model, and an appropriateness metric is proposed to asses whether the process model describes the observed behavior accurately enough. The aforementioned approach replays the traces of the log in the model to evaluate these metrics.…”

Section: Related Workmentioning

confidence: 99%

Event-Based Real-Time Decomposed Conformance Analysis

Broucke

Muñoz-Gama

Carmona

et al. 2014

On the Move to Meaningful Internet Systems: OTM 2014 Conferences

View full text Add to dashboard Cite

Abstract. Process mining deals with the extraction of knowledge from event logs. One important task within this research eld is denoted as conformance checking, which aims to diagnose deviations and discrepancies between modeled behavior and real-life, observed behavior. Conformance checking techniques still face some challenges, among which scalability, timeliness and traceability issues. In this paper, we propose a novel conformance analysis methodology to support the real-time monitoring of event-based data streams, which is shown to be more e cient than related approaches and able to localize deviations in a more ne-grained manner. Our developed approach can be directly applied in business process contexts where rapid reaction times are crucial; an exhaustive case example is provided to evidence the validity of the approach.

show abstract

“…[14,22] used a language based on linear temporal logic to model processes to check conformance by symbolic model checking, [23] show how to use Concurrent Transaction Logic to represent the structure of of workflows, while [24] advance a prolog-like language for the same scope. The use of logic and rule based languages to describe business processes is not new.…”

Section: Summary and Related Workmentioning

confidence: 99%

Norm Compliance in Business Process Modeling

Governatori

Rotolo

2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic and a logic of violation, with a richer deontic language capable of capture many different facets of normative requirements. The resulting logic, called Process Compliance Logic (PCL), is able to capture both semantic compliance and structural compliance. This paper focuses on structural compliance, that is we show how PCL can capture obligations concerning the structure of a business process.

show abstract

Conformance checking of processes based on monitoring real behavior

Cited by 891 publications

References 23 publications

Toward an Automated Labeling of Event Log Attributes

Toward an Automated Labeling of Event Log Attributes

Event-Based Real-Time Decomposed Conformance Analysis

Norm Compliance in Business Process Modeling

Contact Info

Product

Resources

About