Single-Entry Single-Exit decomposed conformance checking

Muñoz-Gama, Jorge; Carmona, Josep; Aalst, Wil M. P. van der

doi:10.1016/j.is.2014.04.003

Cited by 107 publications

(107 citation statements)

References 12 publications

Supporting

Mentioning

102

Contrasting

Unclassified

Order By: Relevance

“…We have selected two considerably large models, initially proposed in [7,16]. The table shows the size of the models (number of places and transitions), the number of traces in the log and the size of the alphabet of the log.…”

Section: Combining the Two Metricsmentioning

confidence: 99%

Anti-alignments in Conformance Checking – The Dark Side of Process Models

Chatain

Carmona

2016

Application and Theory of Petri Nets and Concurrency

Self Cite

View full text Add to dashboard Cite

Abstract. Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. These techniques suffer from the wellknown state space explosion problem, hence handling process models exhibiting large or even infinite state spaces remains a challenge. One important metric in conformance checking is to asses the precision of the model with respect to the observed executions, i.e., characterize the ability of the model to produce behavior unrelated to the one observed. By avoiding the computation of the full state space of a model, current techniques only provide estimations of the precision metric, which in some situations tend to be very optimistic, thus hiding real problems a process model may have. In this paper we present the notion of antialignment as a concept to help unveiling traces in the model that may deviate significantly from the observed behavior. Using anti-alignments, current estimations can be improved, e.g., in precision checking. We show how to express the problem of finding anti-alignments as the satisfiability of a Boolean formula, and provide a tool which can deal with large models efficiently.

show abstract

Section: Combining the Two Metricsmentioning

confidence: 99%

Anti-alignments in Conformance Checking – The Dark Side of Process Models

Chatain

Carmona

2016

Application and Theory of Petri Nets and Concurrency

Self Cite

View full text Add to dashboard Cite

show abstract

“…Def.16). The proposed strategy decomposes the Petri net with data in a number of Single-Entry SingleExit (SESE) components, which have recently been shown to create meaningful fragments of a process model [11,8]. SESE decomposition is indicated for well-structured models, whereas for unstructured models some automatic transformation techniques can be considered as a pre-processing step [12].…”

Section: Sese-based Strategy For Realizing a Valid Decompositionmentioning

confidence: 99%

“…4(b). By selecting a particular set of SESEs in the RPST (e.g., k-decomposition [8]), it is possible to obtain a partitioning of the arcs. We refer the reader to the aforementioned work for a formal description of the SESE-based decomposition.…”

Section: Sese-based Strategy For Realizing a Valid Decompositionmentioning

confidence: 99%

“…... L n M n ... [6,7,8] up the computation of alignments by using a divide-and-conquer approach. The dataaware process model is split into smaller partly overlapping model fragments.…”

Section: Introductionmentioning

confidence: 99%

“…As described in [6], it is possible to decompose process mining problems in a variety of ways. Special cases of this more general theory are passages [7] and SESE-based decomposition [8]. However, these approaches are limited to control-flow.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models

Leoni

Muñoz-Gama

Carmona

et al. 2014

On the Move to Meaningful Internet Systems: OTM 2014 Conferences

Self Cite

View full text Add to dashboard Cite

Abstract. Process mining techniques relate observed behavior to modeled behavior, e.g., the automatic discovery of a Petri net based on an event log. Process mining is not limited to process discovery and also includes conformance checking. Conformance checking techniques are used for evaluating the quality of discovered process models and to diagnose deviations from some normative model (e.g., to check compliance). Existing conformance checking approaches typically focus on the control-flow, thus being unable to diagnose deviations concerning data. This paper proposes a technique to check the conformance of data-aware process models. We use so-called Petri nets with Data to model data variables, guards, and read/write actions. Data-aware conformance checking problem may be very time consuming and sometimes even intractable when there are many transitions and data variables. Therefore, we propose a technique to decompose large data-aware conformance checking problems into smaller problems that can be solved more efficiently. We provide a general correctness result showing that decomposition does not influence the outcome of conformance checking. The approach is supported through ProM plug-ins and experimental results show significant performance improvements. Experiments have also been conducted with a real-life case study, thus showing that the approach is also relevant in real business settings.

show abstract

Uncertainty measurement of a configurable business process

Saidi

Tissaoui

Benslimane

et al. 2022

Systems Engineering

View full text Add to dashboard Cite

Today, the economic crisis is putting enormous pressure on most organizations. It evolves in a crucial competitive environment with a multiplication of production cycles and implementation on the market. Due to this dynamism, organizations must be scalable and agile by adopting an approach that aims to make the process model of a given organization reusable. Indeed, according to the new paradigm which is called “Design by reuse” the models of configurable processes, gain recently in importance since these models have the capacity to represent explicitly the common parts and variables of identical processes in a customizable model. These configurable process which group several execution choices through a variation point called configurable connector will present an uncertainty related to the execution (or not) of the conditional tasks in a process model. In this paper, we propose a measure based on Shannon's entropy in order to model the uncertainty of the process at design time to guide configurable business process designers and analysts in developing and improving processes to be more predictable, less complex, and more understandable.

show abstract

Single-Entry Single-Exit decomposed conformance checking

Cited by 107 publications

References 12 publications

Anti-alignments in Conformance Checking – The Dark Side of Process Models

Anti-alignments in Conformance Checking – The Dark Side of Process Models

Decomposing Alignment-Based Conformance Checking of Data-Aware Process Models

Uncertainty measurement of a configurable business process

Contact Info

Product

Resources

About