.png){kind=icon}
返回
Conformance Checking with Time Attributes
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-08573-3_16.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
一致性检查是一种用于评估过程模型行为与记录行为之间差异的常用技术。目前，大多数一致性检查技术仅使用执行任务的顺序来评估这些差异。这种方法存在缺点：它无法正确评估违反模型要求（例如任务完成时间）的流程执行的适应性。本文考虑了以定时自动机形式给出的带时间约束的流程模型，并提出了一种用于评估定时轨迹与定时自动机流程模型适应性的方法。我们提出的一致性检查不仅评估活动顺序的标准适应性，还评估时间适应性这一新概念。为了计算我们提出的适应性，我们实现了三种算法：1）简单的穷举搜索，2）基于对齐的A*算法，3）使用时间属性的改进A*算法。我们使用这些算法进行了多次实验，并证明我们提出的方法能够找到与轨迹最接近的模型执行路径，这得益于考虑了时间适应性。我们还展示了我们改进的A*算法优于其他算法，并指出了进一步改进的方向。
Keyword:
Conformance checking
Timed automaton
Business process model
Process mining
期刊
E
IF:
0
论文数:
17
被引数:
0
机构
引用论文
.png){kind=icon}
分享收藏
分享收藏
查看更多内容