Efficient process conformance checking on the basis of uncertain event-to-activity mappings

Han van der Aa (Corresponding author), Henrik Leopold, Hajo A. Reijers

Research output: Contribution to journalArticleAcademicpeer-review

11 Citations (Scopus)
56 Downloads (Pure)


Conformance checking enables organizations to automatically identify compliance violations based on the analysis of observed event data. A crucial requirement for conformance-checking techniques is that observed events can be mapped to normative process models used to specify allowed behavior. Without a mapping, it is not possible to determine if an observed event trace conforms to the specification 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 conformance of an event trace to a specification, this uncertainty represents a major issue for conformance checking. To overcome this issue, we introduce a probabilistic conformance-checking technique that can deal with uncertain mappings. Our technique avoids the need to select a single mapping by taking the entire spectrum of possible mappings into account. A quantitative evaluation demonstrates that our technique can be applied on a considerable number of real-world processes where existing conformance-checking techniques fail.

Original languageEnglish
Article number8634941
Pages (from-to)927-940
Number of pages14
JournalIEEE Transactions on Knowledge and Data Engineering
Issue number5
Publication statusPublished - 1 May 2020


  • Business process management
  • Business process monitoring


Dive into the research topics of 'Efficient process conformance checking on the basis of uncertain event-to-activity mappings'. Together they form a unique fingerprint.

Cite this