LTL Checker,ProM 框架插件
2004 年,作为我在(TU/e)计算机科学与工程硕士学位的一部分,我在技术与社会系 (TeMa) 的信息系统组实习。 该小组致力于流程挖掘,即从流程生成的事件日志中提取有价值信息的过程。 该小组用 Java 开发了一个名为的工具,用于挖掘(大型)基于 XML 的流程日志。
在我的实习中,我为他们的 ProM 框架开发了一个插件,用于检查事件日志中是否符合或不符合(LTL) 中指定的某些属性的跟踪。 在 LTL 中,可以指定以下属性:
步骤 X 始终跟随步骤 Y
所有价值超过 $45.000 的案件均由经理 B 处理
周末创建的所有问题最多在两天内得到确认
等等。
有关此插件的更多信息,请参阅其以及与我的指导教授合着的论文:WMP van der Aalst 和 HT de Beer 和 BF van Dongen (2005) Proc
1