Checking process compliance on the basis of uncertain event-to-activity mappings

H. van der Aa, H. Leopold, H.A. Reijers

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

    11 Citations (Scopus)

    Abstract

    A crucial requirement for compliance checking techniques is that observed behavior, captured in event traces, can be mapped to the process models that specify allowed behavior. Without a mapping, it is not possible to determine if observed behavior is compliant or not. A considerable problem in this regard is that establishing a mapping between events and process model activities is an inherently uncertain task. Since the use of a particular mapping directly influences the compliance of a trace to a specification, this uncertainty represents a major issue for compliance checking. To overcome this issue, we introduce a probabilistic compliance checking method that can deal with uncertain mappings. Our method avoids the need to select a single mapping, but rather works on a spectrum of possible mappings. A quantitative evaluation demonstrates that our method can be applied on a considerable number of real-world processes where traditional compliance checking methods fail.

    Original languageEnglish
    Title of host publicationAdvanced Information Systems Engineering - 29th International Conference, CAiSE 2017
    PublisherSpringer
    Pages79-93
    Number of pages15
    ISBN (Print)9783319595351
    DOIs
    Publication statusPublished - 2017
    Event29th International Conference on Advanced Information Systems Engineering (CAiSE 2017) - Essen, Germany
    Duration: 12 Jun 201716 Jun 2017
    Conference number: 29
    http://caise2017.paluno.de/welcome/

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume10253 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference29th International Conference on Advanced Information Systems Engineering (CAiSE 2017)
    Abbreviated titleCAiSE'17
    CountryGermany
    CityEssen
    Period12/06/1716/06/17
    Internet address

    Keywords

    • Compliance checking
    • Event-to-activity mapping
    • Matching
    • Process mining
    • Uncertainty

    Fingerprint Dive into the research topics of 'Checking process compliance on the basis of uncertain event-to-activity mappings'. Together they form a unique fingerprint.

    Cite this