Aligning modeled and observed behavior: a compromise between computation complexity and quality

B.F. Van Dongen, J. Carmona, T. Chatain, F. Taymouri

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

    25 Citations (Scopus)

    Abstract

    Certifying that a process model is aligned with the real process executions is perhaps the most desired feature a process model may have: aligned process models are crucial for organizations, since strategic decisions can be made easier on models instead of on plain data. In spite of its importance, the current algorithmic support for computing alignments is limited: either techniques that explicitly explore the model behavior (which may be worst-case exponential with respect to the model size), or heuristic approaches that cannot guarantee a solution, are the only alternatives. In this paper we propose a solution that sits right in the middle in the complexity spectrum of alignment techniques; it can always guarantee a solution, whose quality depends on the exploration depth used and local decisions taken at each step. We use linear algebraic techniques in combination with an iterative search which focuses on progressing towards a solution. The experiments show a clear reduction in the time required for reaching a solution, without sacrificing significantly the quality of the alignment obtained.

    Original languageEnglish
    Title of host publicationAdvanced Information Systems Engineering
    Subtitle of host publication29th International Conference, CAiSE 2017, Essen, Germany, June 12-16, 2017, Proceedings
    EditorsE. Dubois, K. Pohl
    Place of PublicationDordrecht
    PublisherSpringer
    Pages94-109
    Number of pages16
    ISBN (Electronic)978-3-319-59536-8
    ISBN (Print)978-3-319-59535-1
    DOIs
    Publication statusPublished - 2017
    EventForum and Doctoral Consortium Papers Presented at the 29th International Conference on Advanced Information Systems Engineering, CAiSE-Forum-DC 2017 - Essen, Germany
    Duration: 12 Jun 201716 Jun 2017

    Publication series

    NameLecture Notes in Computer Science

    Conference

    ConferenceForum and Doctoral Consortium Papers Presented at the 29th International Conference on Advanced Information Systems Engineering, CAiSE-Forum-DC 2017
    CountryGermany
    CityEssen
    Period12/06/1716/06/17

    Keywords

    • Alignments
    • Conformance checking
    • Heuristics
    • ILP
    • Process mining

    Fingerprint Dive into the research topics of 'Aligning modeled and observed behavior: a compromise between computation complexity and quality'. Together they form a unique fingerprint.

    Cite this