论文部分内容阅读
基于α-算法，提出了能发现工作流日志中重复任务的过程挖掘算法α^＊＊，并给出了正确性证明．该算法先通过机器学习的方法分析重复任务的性质，给出了判定重复任务的定理并证明了其正确性；然后使用这些定理判断并标识出日志中的所有重复任务；最后，采用α-算法从标识后的日志中提取出工作流网，并对其进行调整得到包含重复任务的工作流网模型．通过模拟实验验证了算法的有效性，与现有的重复任务挖掘方法的实验结果相比证实了文中提出的方法具有更高的效率．