Merging alignments for decomposed replay

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    14 Citaten (Scopus)

    Samenvatting

    In the area of process mining, conformance checking aims to find an optimal alignment between an event log (which captures the activities that actually have happened) and a Petri net (which describes expected or normative behavior). Optimal alignments highlight discrepancies between observed and modeled behavior. To find an optimal alignment, a potentially challenging optimization problem needs to be solved based on a predefined cost function for misalignments. Unfortunately, this may be very time consuming for larger logs and models and often intractable. A solution is to decompose the problem of finding an optimal alignment in many smaller problems that are easier to solve. Decomposition can be used to detect conformance problems in less time and provides a lower bound for the costs of an optimal alignment. Although the existing approach is able to decide whether a trace fits or not, it does not provide an overall alignment. In this paper, we provide an algorithm that is able provide such an optimal alignment from the decomposed alignments if this is possible. Otherwise, the algorithm produces a so-called pseudo-alignment that can still be used to pinpoint non-conforming parts of log and model. The approach has been implemented in ProM and tested on various real-life event logs.
    Originele taal-2Engels
    TitelApplication and Theory of Petri Nets and Concurrency
    Subtitel37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
    RedacteurenF. Kordon, D. Moldt
    Plaats van productieDordrecht
    UitgeverijSpringer
    Pagina's219-239
    Aantal pagina's21
    ISBN van elektronische versie978-3-319-39086-4
    ISBN van geprinte versie978-3-319-39085-7
    DOI's
    StatusGepubliceerd - jun 2016

    Publicatie series

    NaamLNCS
    UitgeverijSpringer
    Volume9698

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Merging alignments for decomposed replay'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit