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

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

doi:10.1007/978-3-319-59536-8_6

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

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

Process Analytics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

16 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 language	English
Title of host publication	Advanced Information Systems Engineering - 29th International Conference, CAiSE 2017
Publisher	Springer
Pages	79-93
Number of pages	15
ISBN (Print)	9783319595351
DOIs	https://doi.org/10.1007/978-3-319-59536-8_6
Publication status	Published - 2017
Event	29th International Conference on Advanced Information Systems Engineering, CAiSE 2017 - Essen, Essen, Germany Duration: 12 Jun 2017 → 16 Jun 2017 Conference number: 29 http://caise2017.paluno.de/welcome/

Publication series

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

Conference

Conference	29th International Conference on Advanced Information Systems Engineering, CAiSE 2017
Abbreviated title	CAiSE 2017
Country/Territory	Germany
City	Essen
Period	12/06/17 → 16/06/17
Internet address	http://caise2017.paluno.de/welcome/

Keywords

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

Access to Document

10.1007/978-3-319-59536-8_6

Cite this

van der Aa, H., Leopold, H., & Reijers, H. A. (2017). Checking process compliance on the basis of uncertain event-to-activity mappings. In Advanced Information Systems Engineering - 29th International Conference, CAiSE 2017 (pp. 79-93). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10253 LNCS). Springer. https://doi.org/10.1007/978-3-319-59536-8_6

van der Aa, H. ; Leopold, H. ; Reijers, H.A. / Checking process compliance on the basis of uncertain event-to-activity mappings. Advanced Information Systems Engineering - 29th International Conference, CAiSE 2017. Springer, 2017. pp. 79-93 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{603e6eee9420403291fefeb5f73ed065,

title = "Checking process compliance on the basis of uncertain event-to-activity mappings",

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.",

keywords = "Compliance checking, Event-to-activity mapping, Matching, Process mining, Uncertainty",

author = "{van der Aa}, H. and H. Leopold and H.A. Reijers",

year = "2017",

doi = "10.1007/978-3-319-59536-8_6",

language = "English",

isbn = "9783319595351",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "79--93",

booktitle = "Advanced Information Systems Engineering - 29th International Conference, CAiSE 2017",

address = "Germany",

note = "29th International Conference on Advanced Information Systems Engineering, CAiSE 2017, CAiSE 2017 ; Conference date: 12-06-2017 Through 16-06-2017",

url = "http://caise2017.paluno.de/welcome/",

}

van der Aa, H, Leopold, H & Reijers, HA 2017, Checking process compliance on the basis of uncertain event-to-activity mappings. in Advanced Information Systems Engineering - 29th International Conference, CAiSE 2017. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10253 LNCS, Springer, pp. 79-93, 29th International Conference on Advanced Information Systems Engineering, CAiSE 2017, Essen, Germany, 12/06/17. https://doi.org/10.1007/978-3-319-59536-8_6

Checking process compliance on the basis of uncertain event-to-activity mappings. / van der Aa, H.; Leopold, H.; Reijers, H.A.
Advanced Information Systems Engineering - 29th International Conference, CAiSE 2017. Springer, 2017. p. 79-93 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10253 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - van der Aa, H.

AU - Leopold, H.

AU - Reijers, H.A.

N1 - Conference code: 29

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

KW - Compliance checking

KW - Event-to-activity mapping

KW - Matching

KW - Process mining

KW - Uncertainty

UR - http://www.scopus.com/inward/record.url?scp=85021197609&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-59536-8_6

DO - 10.1007/978-3-319-59536-8_6

M3 - Conference contribution

AN - SCOPUS:85021197609

SN - 9783319595351

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 79

EP - 93

BT - Advanced Information Systems Engineering - 29th International Conference, CAiSE 2017

PB - Springer

T2 - 29th International Conference on Advanced Information Systems Engineering, CAiSE 2017

Y2 - 12 June 2017 through 16 June 2017

ER -

van der Aa H, Leopold H, Reijers HA. Checking process compliance on the basis of uncertain event-to-activity mappings. In Advanced Information Systems Engineering - 29th International Conference, CAiSE 2017. Springer. 2017. p. 79-93. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-59536-8_6

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

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this