文件名称:LTLChecker:LTL Checker,ProM 框架插件
文件大小:3.77MB
文件格式:ZIP
更新时间:2024-06-28 06:27:42
java process-mining linear-temporal-logic prom-framework Java
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