Process Discovery for Structured Program Synthesis

08/13/2020
by   Dell Zhang, et al.
0

A core task in process mining is process discovery which aims to learn an accurate process model from event log data. In this paper, we propose to use (block-) structured programs directly as target process models so as to establish connections to the field of program synthesis and facilitate the translation from abstract process models to executable processes, e.g., for robotic process automation. Furthermore, we develop a novel bottom-up agglomerative approach to the discovery of such structured program process models. In comparison with the popular top-down recursive inductive miner, our proposed agglomerative miner enjoys the similar theoretical guarantee to produce sound process models (without deadlocks and other anomalies) while exhibiting some advantages like avoiding silent activities and accommodating duplicate activities. The proposed algorithm works by iteratively applying a few graph rewriting rules to the directly-follows-graph of activities. For real-world (sparse) directly-follows-graphs, the algorithm has quadratic computational complexity with respect to the number of distinct activities. To our knowledge, this is the first process discovery algorithm that is made for the purpose of program synthesis. Experiments on the BPI-Challenge 2020 dataset and the Karel programming dataset have demonstrated that our proposed algorithm can outperform the inductive miner not only according to the traditional process discovery metrics but also in terms of the effectiveness in finding out the true underlying structured program from a small number of its execution traces.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/04/2023

Comparing Ordering Strategies For Process Discovery Using Synthesis Rules

Process discovery aims to learn process models from observed behaviors, ...
research
03/19/2021

Discovering Redundant Activities in Event Logs for the Simplification of Process Models

Process mining acts as a valuable tool to analyse the behaviour of an or...
research
05/15/2015

A Theory of Formal Synthesis via Inductive Learning

Formal synthesis is the process of generating a program satisfying a hig...
research
11/29/2019

Prototype Selection Based on Clustering and Conformance Metrics for Model Discovery

Process discovery aims at automatically creating process models on the b...
research
09/30/2021

Process discovery on deviant traces and other stranger things

As the need to understand and formalise business processes into a model ...
research
06/21/2018

Log Skeletons: A Classification Approach to Process Discovery

To test the effectiveness of process discovery algorithms, a Process Dis...
research
04/07/2022

Equivariance Discovery by Learned Parameter-Sharing

Designing equivariance as an inductive bias into deep-nets has been a pr...

Please sign up or login with your details

Forgot password? Click here to reset