Enhancing precision in Process Conformance: Stability, confidence and severity
Published 1 April 2011Open access
Jorge Muñoz-Gama, Josep Carmona
Citations61
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
Novel techniques to enrich the process conformance analysis for the precision dimension are presented and the new features of the metric proposed provides a complete view of the precision between a log and a model.
Abstract
Process Conformance is becoming a crucial area due to the changing nature of processes within an Information System. By confronting specifications against system executions (the main problem tackled in process conformance), both system bugs and obsolete/incorrect specifications can be revealed. This paper presents novel techniques to enrich the process conformance analysis for the precision dimension. The new features of the metric proposed in this paper provides a complete view of the precision between a log and a model. The techniques have been implemented as a plug-in in an open-source Process Mining platform and experimental results witnessing both the theory and the goals of this work are presented.
Keywords
Computer ScienceBusiness, Management and Accounting
Proceedings of the IEEEPetri nets: Properties, analysis and applications
10,546 Citations1989T. Murata
The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Journal of the Operational Research SocietyTheory of Linear and Integer Programming
5,693 Citations2000Adam N. Letchford, Alexander Schrijver
Statistics for experimenters. An introduction to design, data analysis, and model building.
4,028 Citations1978George E. P. Box, William G. Hunter +1 more
Information SystemsYAWL: yet another workflow language
1,340 Citations2004Wil M. P. van der Aalst, Arthur H. M. ter Hofstede
This paper motivates the need for a new workflow language, specifies the semantics of the language, and shows that soundness can be verified in a compositional way.
Information SystemsConformance checking of processes based on monitoring real behavior
1,075 Citations2007A. Rozinat, Wil M. P. van der Aalst
An incremental approach to check the conformance of a process model and an event log is proposed and a Conformance Checker has been implemented within the ProM framework and it has been evaluated using artificial and real-life event logs.
Data & Knowledge EngineeringWorkflow mining: A survey of issues and approaches
1,047 Citations2003Wil M. P. van der Aalst, Boudewijn F. van Dongen +4 more
This paper introduces the concept of workflow mining and presents a common format for workflow logs, and discusses the most challenging problems and present some of the workflow mining approaches available today.
Software & Systems ModelingProcess mining: a two-step approach to balance between underfitting and overfitting
438 Citations2008Wil M. P. van der Aalst, Vladimir Rubin +4 more
The two-step process mining approach, implemented in the context of ProM, overcomes many of the limitations of traditional approaches and enables the user to control the balance between “overfitting” and “underfitting’.
Physical Review ERobustness of community structure in networks
350 Citations2008Brian Karrer, Elizaveta Levina +1 more
It is shown that the significance of community structure can be effectively quantified by measuring its robustness to small perturbations in network structure.
Lecture notes in computer scienceProcess Discovery Using Integer Linear Programming
337 Citations2008Jan Martijn E. M. van der Werf, Boudewijn F. van Dongen +2 more
Lecture notes in computer scienceGenetic Process Mining
331 Citations2005Wil M. P. van der Aalst, Ana Karla Alves de Medeiros +1 more
A genetic process mining approach using the so-called causal matrix as a representation for individuals is shown and it is shown that genetic algorithms can be used to discover Petri net models from event logs.
IEEE Transactions on Knowledge and Data EngineeringDiscovering expressive process models by clustering log traces
316 Citations2006Gianluigi Greco, Antonella Guzzo +2 more
A novel process mining framework is introduced and some relevant computational issues are deeply studied, where an iterative, hierarchical, refinement of the process model is founded, where traces sharing similar behavior patterns are clustered together and equipped with a specialized schema.
Fundamenta InformaticaeProcess Discovery using Integer Linear Programming
220 Citations2009J.M.E.M. van derWerf, Boudewijn F. van Dongen +2 more
This paper presents a process discovery algorithm where concepts taken from the language-based theory of regions, a well-known Petri net research area, are used and solutions based on integer linear programming are provided.
Lecture notes in computer scienceA Fresh Look at Precision in Process Conformance
181 Citations2010Jorge Muñoz-Gama, Josep Carmona
A novel measure for precision is proposed, based on the simple idea of counting these situations were the model deviates from the log, and a log-based traversal of the model that avoids inspecting its whole behavior is presented.
Lecture notes in business information processingTowards Robust Conformance Checking
129 Citations2011Arya Adriansyah, Boudewijn F. van Dongen +1 more
The growing complexity of processes in many organizations stimulates the adoption of business process management techniques, and the problem of checking to what extent the operational process conforms to the process model is increasingly important.
Data & Knowledge EngineeringQuantifying process equivalence based on observed behavior
125 Citations2007Ana Karla Alves de Medeiros, Wil M. P. van der Aalst +1 more
This paper proposes a completely new way of comparing process models that is able to avoid the two problems just mentioned: directly comparing two models and compared with respect to some typical behavior.
Structural Patterns for Soundness of Business Process Models
74 Citations2006Boudewijn F. van Dongen, Jan Mendling +1 more
A novel approach to reason about soundness based on so-called causal footprints is presented, which proves that the "vicious circle", that is heavily discussed in EPC literature, is unsound.
Data Archiving and Networked Services (DANS)Process mining:conformance and extension
73 Citations2010A. Rozinat
This dissertation broadens the field of process mining to include the aspect of conformance and extension, and develops several Petri-net based approaches to measure conformance in these dimensions and describes five case studies in which these conformance checking techniques were successfully applied to real and artificial examples.
Lecture notes in business information processingPLG: A Framework for the Generation of Business Process Models and Their Execution Logs
71 Citations2011Andrea Burattin, Alessandro Sperduti
An approach for the random generation of business processes and their execution logs is proposed based on the generation of process descriptions via a stochastic context-free grammar whose definition is based on well-known process patterns.
TU/e Research PortalTowards an evaluation framework for process mining algorithms
62 Citations2007A. Rozinat, de Aka Ana Karla Medeiros +3 more
Using minimum description length for process mining
55 Citations2009Toon Calders, Christian Günther +2 more
A new measure, based on the minimal description length principle, is proposed to evaluate the quality of process models that does not have several disadvantages, including model-dependent, assume that the model that generated the log is known, or need negative examples of event sequences.
Lecture notes in business information processingA Critical Evaluation Study of Model-Log Metrics in Process Discovery
25 Citations2011Jochen De Weerdt, Manu De Backer +2 more
This paper aims to provide a tangible analysis of the currently available model-log evaluation metrics for mined control-flow models and indicate strengths and weaknesses of the existing metrics and propose a number of opportunities for future research.