Enhancing workflow-nets with data for trace completion

by   Riccardo De Masellis, et al.
Free University of Bozen-Bolzano
Fondazione Bruno Kessler

The growing adoption of IT-systems for modeling and executing (business) processes or services has thrust the scientific investigation towards techniques and tools which support more complex forms of process analysis. Many of them, such as conformance checking, process alignment, mining and enhancement, rely on complete observation of past (tracked and logged) executions. In many real cases, however, the lack of human or IT-support on all the steps of process execution, as well as information hiding and abstraction of model and data, result in incomplete log information of both data and activities. This paper tackles the issue of automatically repairing traces with missing information by notably considering not only activities but also data manipulated by them. Our technique recasts such a problem in a reachability problem and provides an encoding in an action language which allows to virtually use any state-of-the-art planning to return solutions.


page 1

page 2

page 3

page 4


Verification of data-aware workflows via reachability: formalisation and experiments

The growing adoption of IT-systems for the modelling and execution of (b...

Efficient Conformance Checking using Alignment Computation with Tandem Repeats

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

Visualizing Trace Variants From Partially Ordered Event Data

Executing operational processes generates event data, which contain info...

Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions

Capturing stochastic behaviors in business and work processes is essenti...

Process-oriented Iterative Multiple Alignment for Medical Process Mining

Adapted from biological sequence alignment, trace alignment is a process...

Conformance Checking of Mixed-paradigm Process Models

Mixed-paradigm process models integrate strengths of procedural and decl...

Stakeholder utility measures for declarative processes and their use in process comparisons

We present a method for calculating and analyzing stakeholder utilities ...

Please sign up or login with your details

Forgot password? Click here to reset