.png){kind=icon}
返回
Optimized SAT encoding of conformance checking artefacts
.png){kind=icon}
PRE
AI
DOI：10.1007/s00607-020-00831-8.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Conformance checking is a growing discipline that aims at assisting organizations in monitoring their processes. On its core, conformance checking relies on the computation of particular artefacts which enable reasoning on the relation between observed and modeled behavior. It is widely acknowledge that the computation of these artifacts is the lion's share of conformance checking techniques. This paper shows how important conformance artefacts likealignments,anti-alignmentsormulti-alignments, defined over the Levenshtein edit distance, can be efficiently computed by encoding the problem as an optimized SAT instance. From a general perspective, the work advocates for a unified family of techniques that can compute conformance artefacts in the same way. The implementation of the techniques presented in this paper show capabilities for dealing with both synthetic and real-life instances, which may open the door for a fresh way of applying conformance checking in the near future.
Keyword:
Process mining
Conformance checking
Satisfiability
期刊
C
IF:
2.8
论文数:
2.3K
被引数:
3.5K
机构
引用论文
Allogeneic Stem Cell Transplantation as Treatment for Relapsed and High-Risk Peripheral T-Cell Lymphoma..png)
Blood
BloodIF0
PREAI
分享收藏Lunar atmospheric tidal effects in the plasma drifts observed by the Low-Latitude Ionospheric Sensor Network低纬电离层传感器网络观测到的月球大气潮汐效应对等离子体漂移的影响
OAAI
OAAI分享收藏分享收藏Determination of Sequence-Specific Intrinsic Size Parameters from Cross Sections for 162 Tripeptides
PREAI
分享收藏
查看更多内容