一种基于完整触发序列集合的流程模型行为相似性算法解释.pptx

CFS：一种基于完整触发序列集合的流程模型行为相似性算法 董子禾，闻立杰，黄浩未，王建民 目录 研究背景 研究思路 算法设计 实验分析 总结与展望 1 目录 研究背景 研究思路 算法设计 实验分析 总结与展望 2 研究背景 企业和公用管理机构使用流程模型形式化内部业务流程 业务流程管理有助于企业和组织的正常运转、决策变更、改革创新、提升敏捷性和执行效率 流程模型的相似性计算是业务流程管理的应用中不可缺少的任务 3 研究背景 流程模型的相似性计算是业务流程管理的应用中不可缺少的任务 4 研究背景 模型相似性度量算法 基于执行语义的相似性度量算法 --CF、TAR、BP、PTS、SSDT 基于拓扑结构的相似性度量算法 基于标签的相似性度量算法 5 研究背景 PTS算法分析 分开考虑循环结构与非循环结构，打破完整行为语义 对主变迁序列集合相似性的计算缺少必要加权因素 衡量序列与集合相似度时未考虑集合的整体情况 B C 6 目录 研究背景 研究思路 算法设计 实验分析 总结与展望 7 研究思路 1. 计算Petri网的执行语义——覆盖树 2. 从覆盖树中得到完整的触发序列集合 3. 衡量完整触发序列集合之间的相似度 4. 通过实验证实该方法有效性并与其它方法对比 8 目录 研究背景 研究思路 算法设计 实验分析 总结与展望 9 算法流程 -- CFS 算法设计 计算模型相似性 从覆盖树构造完整触发序列 10 循环的识别和计数方案 算法设计 11 完整触发序列构造算法 算法设计 old节点，同一循环集合执行次数超过上界值-----丢弃 old节点，同一循环集合执行次数未超过上界值-----移动至anchor节点 dead-end节点-----完整触发序列 12 算法设计 13 算法设计 σ1:XYY σ2:XWY σ1:XYZ  14 算法设计 15 算法设计 16 最大值 算法设计 完整触发序列集合间单射构造算法—A*搜索算法 17 算法设计 18 算法设计 19 目录 研究背景 研究思路 算法设计 实验分析 总结与展望 20 实验分析 实验模型集 在实际模型集的基础上衡量三角不等式的满足率用以确定算法参数值，当同一循环集合的执行次数上界k取2、相似性公式中的n取103时，对应的三角不等式满足率最高。 模型集 模型数 唐车(TC)业务过程模型 124 东锅(DG)业务过程模型 115 SAP业务流程参考模型 592 BeehiveZ自动生成的模型 200 21 实验分析 A*算法剪枝策略实验 ----空间角度。衡量应用剪枝策略前后A*算法可执行完毕的模型对儿比率，即在程序结束前计算的模型对儿数与模型总对儿数的比值 22 实验分析 A*算法剪枝策略实验 ----时间角度。以应用剪枝策略前A*算法可执行完毕模型对儿作为数据基础，测量每个模型对儿的平均执行时间 23 实验分析 PTS++算法与主流模型行为相似性算法对比 ----性质对比 性质 SSDT PTS TAR CF BP CFS 互斥结构漂移不变性 √ √ √ √ 跨度负相关性 √ √ √ 无关递减性 √ √ √ √ √ 循环序列长度负相关性 √ √ √ 顺序结构漂移不变性 √ √ √ √ √ 24 实验分析 新的性质 ----业务行为分布的不平衡性 算法 SSDT PTS TAR CF BP CFS 相似性 0.84 0.83 0.33 0.86 0.68 0.29 25 实验分析 26 目录 研究背景 研究思路 算法设计 实验分析 总结与展望 27 本文提出了一种基于执行语义的过程模型相似性算法--PTS++算法 利用完整触发序列表达模型行为，可应用于包含循环结构的模型，能有效处理Petri网中各类结构 设计有效的剪枝策略提升了A*搜索算法的运行效率 在衡量过程模型相似性算法方面提出了新的性质 工作总结 28 展望 提升覆盖树的计算效率 设计更为有效的剪枝策略 针对过程模型相似性算法提出一种更为全面的评估标准 29 Thanks！ QA