Conformance Checking of Mixed-paradigm Process Models

by   Boudewijn van Dongen, et al.

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 way. A key research challenge for the proliferation of mixed-paradigm models for process mining is the lack of corresponding conformance checking techniques. In this paper, we address this problem by devising the first approach that works with intertwined state spaces of mixed-paradigm models. More specifically, our approach uses an alignment-based replay to explore the state space and compute trace fitness in a procedural way. In every state, the declarative constraints are separately updated, such that violations disable the corresponding activities. Our technique provides for an efficient replay towards an optimal alignment by respecting all orthogonal Declare constraints. We have implemented our technique in ProM and demonstrate its performance in an evaluation with real-world event logs.



There are no comments yet.


page 1

page 2

page 3

page 4


A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement

Token-based replay used to be the standard way to conduct conformance ch...

Efficient Conformance Checking using Alignment Computation with Tandem Repeats

Conformance checking encompasses a body of process mining techniques whi...

Conformance Checking Over Stochastically Known Logs

With the growing number of devices, sensors and digital systems, data lo...

DREAM-NAP: Decay Replay Mining to Predict Next Process Activities

In complex processes, various events can happen in different sequences. ...

Alignment Approximation for Process Trees

Comparing observed behavior (event data generated during process executi...

Enhancing workflow-nets with data for trace completion

The growing adoption of IT-systems for modeling and executing (business)...

Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems

This paper presents a compositional conformance checking approach betwee...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.