论文标题
基于时间逻辑模式的面向结果的规定过程监视
Outcome-Oriented Prescriptive Process Monitoring Based on Temporal Logic Patterns
论文作者
论文摘要
规定过程监视系统建议,在执行业务流程期间,如果遵循的话,请防止该过程的负面结果。这种干预措施必须是可靠的,也就是说,他们必须保证实现所需的结果或绩效,并且必须灵活,也就是说,他们必须避免推翻正常的过程执行或强迫给定活动的执行。但是,大多数现有的规范过程监视解决方案在建议可靠性方面表现良好,但在不关心这些建议的可行性的情况下为用户提供了非常具体的(序列)活动。为了面对这个问题,我们提出了一个新的面向结果的规范过程监控系统,建议在过程执行过程中必须保证的活动之间的时间关系,以实现预期的结果。这样可以在给定时间点强制执行活动的强制执行,从而为用户提供了更大的自由,以决定要进行的干预措施。我们的方法将这些时间性关系定义为有限的痕迹模式的线性时间逻辑,这些模式被用作描述事件日志中记录的历史过程数据的功能,该信息由支持该过程执行的信息系统记录。这种编码的日志用于训练机器学习分类器,以学习时间模式和过程执行结果之间的映射。然后在运行时查询分类器,以返回,作为建议,最大的时间模式要满足,以最大程度地提高输入过程执行的一定结果。使用22个现实生活事件日志的池对所提出的系统进行了评估,这些日志已被用作流程采矿社区的基准。
Prescriptive Process Monitoring systems recommend, during the execution of a business process, interventions that, if followed, prevent a negative outcome of the process. Such interventions have to be reliable, that is, they have to guarantee the achievement of the desired outcome or performance, and they have to be flexible, that is, they have to avoid overturning the normal process execution or forcing the execution of a given activity. Most of the existing Prescriptive Process Monitoring solutions, however, while performing well in terms of recommendation reliability, provide the users with very specific (sequences of) activities that have to be executed without caring about the feasibility of these recommendations. In order to face this issue, we propose a new Outcome-Oriented Prescriptive Process Monitoring system recommending temporal relations between activities that have to be guaranteed during the process execution in order to achieve a desired outcome. This softens the mandatory execution of an activity at a given point in time, thus leaving more freedom to the user in deciding the interventions to put in place. Our approach defines these temporal relations with Linear Temporal Logic over finite traces patterns that are used as features to describe the historical process data recorded in an event log by the information systems supporting the execution of the process. Such encoded log is used to train a Machine Learning classifier to learn a mapping between the temporal patterns and the outcome of a process execution. The classifier is then queried at runtime to return as recommendations the most salient temporal patterns to be satisfied to maximize the likelihood of a certain outcome for an input ongoing process execution. The proposed system is assessed using a pool of 22 real-life event logs that have already been used as a benchmark in the Process Mining community.