Aligning partially-ordered process-execution traces and models using automated planning

Massimiliano de Leoni, Giacomo Lanciano, Andrea Marrella

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
10 Downloads (Pure)

Abstract

Conformance checking is the problem of verifying if the actual executions of business processes, which are recorded by information systems in dedicated event logs, are compliant with a process model that encodes the process’ constraints. Within conformance checking, alignment-based techniques can exactly pinpoint where deviations are observed. Existing alignment-based techniques rely on the assumption of a perfect knowledge of the order with which process’ activities were executed in reality. However, experience shows that, due to logging errors and inaccuracies, it is not always possible to determine the exact order with which certain activities were executed. This paper illustrates an alignment-based technique where the perfect knowledge assumption of the execution’s order is removed. The technique transforms the problem of alignment-based conformance checking into a planning problem encoded in PDDL, for which planners can find a correct solution in a finite amount of time. We implemented the technique as a software tool that is integrated with state-of-the-art planners. To showcase its practical relevance and scalability, we report on experiments with a real-life case study and several synthetic ones of increasing complexity.

Original languageEnglish
Title of host publication28th International Conference on Automated Planning and Scheduling, ICAPS 2018
Pages321-329
Number of pages9
DOIs
Publication statusPublished - 1 Jan 2018
Event28th International Conference on Automated Planning and Scheduling, ICAPS 2018 - Delft, Netherlands
Duration: 24 Jun 201829 Jun 2018

Conference

Conference28th International Conference on Automated Planning and Scheduling, ICAPS 2018
CountryNetherlands
CityDelft
Period24/06/1829/06/18

Fingerprint Dive into the research topics of 'Aligning partially-ordered process-execution traces and models using automated planning'. Together they form a unique fingerprint.

  • Cite this

    de Leoni, M., Lanciano, G., & Marrella, A. (2018). Aligning partially-ordered process-execution traces and models using automated planning. In 28th International Conference on Automated Planning and Scheduling, ICAPS 2018 (pp. 321-329) https://doi.org/10.4121/uuid:a02afec8-b7c7-42b7-8dff-36d3de3032be