publication . Conference object . 2017

A tool for aligning event logs and prescriptive process models through automated planning

De Leoni, M.; Giacomo Lanciano; Marrella, A.;
Open Access
  • Published: 01 Jan 2017
In Conformance Checking, alignment is the problem of detecting and repairing nonconformity between the actual execution of a business process, as recorded in an event log, and the model of the same process. Literature proposes solutions for the alignment problem that are implementations of planning algorithms built ad-hoc for the specific problem. Unfortunately, in the era of big data, these ad-hoc implementations do not scale sufficiently compared with wellestablished planning systems. In this paper, we tackle the above issue by presenting a tool, also available in ProM, to represent instances of the alignment problem as automated planning problems in PDDL (Pla...
free text keywords: Computer Science(all), Computer Science (all)

1. van der Aalst, W.M.P.: Process Mining: Data Science in Action. Springer Berlin (2016)

2. Adriansyah, A., Sidorova, N., van Dongen, B.F.: Cost-Based Fitness in Conformance Checking. In: 11th Int. Conf. on Application of Concurrency to System Design, IEEE (2011)

3. Van Der Aalst, W., et al.: Process Mining Manifesto. In: 9th Int. Conf. on Business Process Management (BPM 2011), Springer Berlin (2011)

4. McDermott, D., et al.: PDDL-The Planning Domain Definition Language. Technical Report DCS TR-1165, Yale Center for Computational Vision and Control (1998)

5. Geffner, H., Bonet, B.: A Concise Introduction to Models and Methods for Automated Planning. Synthesis Lectures on Artificial Intelligence and Machine Learning 8(1) (2013)

6. de Leoni, M., Marrella, A.: Aligning Real Process Executions and Prescriptive Process Models through Automated Planning. Expert System with Applications 82 (2017)

7. Helmert, M.: The Fast Downward Planning System. JAIR 26 (2006) [OpenAIRE]

8. Mannhardt, F., de Leoni, M., Reijers, H.A., van der Aalst, W.M.P.: Balanced multi-perspective checking of process conformance. Computing 98(4) (2015) 6 Planners are downloadable at:

Any information missing or wrong?Report an Issue