Statechart Workbench and Alignments Software Event Log

Extensible Event Stream (XES) software event log obtained through instrumenting the Statechart Workbench ProM plugin using the tool available at {https://svn.win.tue.nl/repos/prom/XPort/}. This event log contains method-call level events describing a workbench run invoking the Alignments algorithm using the BPI Challenge 2012 event log available and documented at {https://doi.org/10.4121/uuid:3926db30-f712-4394-aebc-75976070e91f} . Note that the life-cycle information in this log corresponds to method call (start) and return (complete), and captures a method-call hierarchy.

可扩展事件流（Extensible Event Stream，XES）格式的软件事件日志，通过对状态图工作台ProM插件进行插桩，并使用https://svn.win.tue.nl/repos/prom/XPort/ 处提供的工具生成。该事件日志包含方法调用级别的事件，描述了基于公开且已文档化的BPI Challenge 2012事件日志（https://doi.org/10.4121/uuid:3926db30-f712-4394-aebc-75976070e91f）调用对齐（Alignments）算法的工作台运行流程。请注意，该日志中的生命周期信息对应方法调用（开始）与方法返回（完成）状态，并捕获了方法调用的层级结构。