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

M. de Leoni, G. Lanciano, A. Marrella

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

    35 Downloads (Pure)

    Abstract

    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 (Planning Domain Definition Language) for which state-of-The-Art planners can find a correct solution in a finite amount of time. If alignment problems are converted into planning problems, one can seamlessly update to the recent versions of the best performing automated planners, with advantages in term of versatility and customization. Furthermore, by employing several processes and event logs of different sizes, we show how our tool outperforms existing approaches of several order of magnitude and, in certain cases, carries out the task while existing approaches run out of memory.

    Original languageEnglish
    Title of host publicationProceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Management (BPM 2017)
    PublisherCEUR-WS.org
    Number of pages5
    Publication statusPublished - 2017
    EventBPM Demo Track and BPM Dissertation Award
    co-located with 15th International Conference on Business Process Management (BPM 2017)
    - Barcelona, Spain
    Duration: 13 Sep 201713 Sep 2017

    Publication series

    NameCEUR Workshop Proceedings
    Volume1920
    ISSN (Print)1613-0073

    Conference

    ConferenceBPM Demo Track and BPM Dissertation Award
    co-located with 15th International Conference on Business Process Management (BPM 2017)
    Abbreviated titleBPM-D&DA 2017
    CountrySpain
    CityBarcelona
    Period13/09/1713/09/17

    Fingerprint Dive into the research topics of 'A tool for aligning event logs and prescriptive process models through automated planning'. Together they form a unique fingerprint.

    Cite this