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.

中文翻译：

---

基于不确定事件到活动映射的高效流程一致性检查

一致性检查使组织能够根据对观察到的事件数据的分析自动识别违规行为。一致性检查技术的一个关键要求是观察到的事件可以映射到用于指定允许行为的规范过程模型。如果没有映射，就不可能确定观察到的事件跟踪是否符合规范。在这方面的一个相当大的问题是，在事件和流程模型活动之间建立映射是一项本质上不确定的任务。由于特定映射的使用直接影响事件跟踪与规范的一致性，因此这种不确定性是一致性检查的主要问题。为了克服这个问题，我们引入了一种可以处理不确定映射的概率一致性检查技术。我们的技术通过考虑可能映射的整个范围来避免选择单个映射的需要。定量评估表明，我们的技术可以应用于大量现有一致性检查技术失败的实际过程。