论文部分内容阅读
如今,随着电子信息技术的发展,用户在银行ATM取款机上的取款的流程也变得更加便捷和便利化。用户在取款过程中的各种操作会留下许多取款日志,通过对保存的日志进行整理和分析,有利于建立更加完善的业务流程模型。同时有利于银行对ATM取款机的管控,提高取款业务的执行效率,保证取款的可靠性,保障取款的安全性,具有重要的现实意义。本文利用Petri网和行为轮廓从日志中进行挖掘流程模型,通过寻找变化域,利用配置三种变迁优化模型的算法来对模型进行配置优化,使得模型变得更加合理,本文的主要研究如下:(1)针对目标业务流程中模型的建立问题,提出了从事件日志中挖掘业务流程的方法。本文基于Petri网行为轮廓的弱序关系对日志中活动间的行为关系的分析,提出了基于Petri网从事件日志中挖掘业务流程的算法,该算法首先通过抽取日志,对其中的数条轨迹进行分类计数,选取频数较大的轨迹进行行为轮廓的分析,找到各条轨迹活动之间的关系,建立起初始模型,然后利用模型合理性值的评价标准进行计算分析后,进行调整模型,最后确定最优的模型。(2)针对业务流程中变化域的配置问题,提出了对变化域进行查找后进行配置优化的方法。现有的变化域的确定都只是从结构上单纯的增加控制结构,生成控制结构比较困难,且对于变化的部分没有一个有效的算法进行配置。本文首先就变化域的查找,提出了两个算法进行变化域的查找和确定。其一,查找目标模型可变点的集合的算法,用来查找目标模型中可变点的集合。该算法通过输入一个目标模型,计算可变点前边界点集合后边界点集,以及这些点集的变迁关系,来输出目标模型中可变点的集合。其二,确定目标模型的变化域的算法,用来确定目标模型的变化域,该算法将第一个算法中的可变点作为输入,经过计算子模型的服从度和支持度,来输出模型的变化域。然后,就变迁的配置优化,提出了一个配置变迁的算法对Petri网进行配置优化。该算法通过将模型中的变化域集合作为输入,通过配置允许,隐藏,阻塞三种变迁后,输出了配置后的模型的变化域。最后,本文通过针对不同用户在银行ATM取款机具有取款限额的问题,对变化域的查找以及配置优化变迁方面作了具体说明。图[18]表[8]参[70]