CN119477231A 基于托肯重演的对象为中心业务流程违规检查方法及系统 （山东科技大学）

基于托肯重演的对象为中心业务流程违规本发明公开了一种基于托肯重演的对象为2步骤3、使用绑定执行规则在多对象Petri网上2.根据权利要求1所述基于托肯重演的对象为中心业务流程违规检查方法，其特征在;;;其中，trace(o)表示与对象0关联的事件序列；;其中，extcomp(-)为连通分量提取方法；por表示从最大连通子图中获取的流程执o'为最大连通子图中的对象集合；;;;3其中，p为空集；conu表示对象为中心业务流程事件日志L中事件间的直接跟随关;3.根据权利要求2所述基于托肯重演的对象为中心业务流程违规检查方法，其特征在绑定序列如下：;其中，tn为第个变迁，ba为第个变迁执行时消耗的各对象类型的具体对象；(ta,bn)为第个变迁对应的绑定。4.根据权利要求3所述基于托肯重演的对象为中心业务流程违规检查方法，其特征在;F:P→O；;其中，t·为变迁t的后集库所集合；b为变迁执行时消耗的各对象类型的具体对象；4;·t为变迁t的前集库所集合；缺失的托肯数mis定义为：;;;当cons(t,b)>M时，绑定(t,b)无法在标识M下使能，变迁t为未正常使能的变缺失托肯信息infomiss定义为：;缺失托肯信息为变迁t在库所中缺少绑定正常使能所需的对象o。5.根据权利要求4所述基于托肯重演的对象为中心业务流程违规检查方法，其特征在;其中，fit(-)为拟合度；k表示对象为中心业务流程事件日志中的流程执行数目；;;其中，diap(-)为流程执行p的未正常使能变迁一致性局部诊断结果；dia()为对象为中心业务流程事件日志L的未正常使能变迁一致性局部诊断结果；tunETun是5表示对象为中心业务流程事件日志L中包含tun对应的日志活动;重演结果、偏差结果、拟合度结果和局部诊断结果即为所6.一种基于托肯重演的对象为中心业务流程违规利要求1_5任意一项所述的基于托肯重演的对象为中心业务流程违规检查方法，该系统的输入为对象为中心业务流程事件日志和多对象Petri网，输出为对象为中心业务流程违规获取对象图及流程执行模块，用于根据对象为中心业务流程事件获取绑定序列模块，用于根据传递归约方法删除流程执行中的获取重演结果及偏差结果模块，用于根据绑定执行规则在多对象Petri网模型上进行获取对象为中心业务流程违规检查结果模块，用于将得到的重取对象为中心业务流程违规检查结果中的拟合度结果和局部诊断结果6步骤4、计算拟合度结果和局部诊断结果，得到对象为中心业务流程违规检查结步骤1.2、通过分析对象间依赖关系构造对象为中心业务流程事件日志的对象7;;志中所有事件；obji(e)表示对象为中心业务流程事件日志l中与事件e关联的所有对;其中，trace(o)表示与对象0关联的事件序列；;其中，extcomp(-)为连通分量提取方法；por表示从最大连通子图中获取的流o'为最大连通子图中的对象集合；;;;;i+1个事件。点间依赖关系，保持原图传递闭包特性是指删除冗余依赖后图中节点间的可达性关系不8;(ta,bn)为第个变迁对应的绑定。;F:P→O；;其中，t·为变迁t的后集库所集合；b为变迁执行时消耗的各对象类型的具体对;·t为变迁t的前集库所集合；缺失的托肯数mis定义为：;;9当cons(t,b)>M时，绑定(t,b)无法在标识M下使能，变迁t为未正常使能缺失托肯信息infomiss定义为：;缺失托肯信息为变迁t在库所中缺少绑定正常使能所需的对象o。;其中，fit(-)为拟合度；k表示对象为中心业务流程事件日志中的流程执行数;;其中，diap(-)为流程执行p的未正常使能变迁一致性局部诊断结果；dia()为对象为中心业务流程事件日志L的未正常使能变迁一致性局部诊断结果；tunETun执行p重演中缺失的托肯数；consp(tun)是tun在流程执行p重演中消耗的托肯数；算公式为：;获取重演结果及偏差结果模块，用于根据绑定执行规则在多对象Petri网模型上代入所定义的拟合度公式量化合规性，然后使用局部诊断方法展示流程中偏差严重的部[0015]图4为本发明实施例中使用本发明方法得到的删除跨层冗余依赖后的流程执行[0017]图6为本发明实施例中使用本发明方法采购销售场景标准流程模型的多对象步骤1.2、对象图是描述对象为中心业务流程事件日志中对象间依赖关系的无向;;志中所有事件；obji(e)表示对象为中心业务流程事件日志l中与事件e关联的所有对;;步骤1.3、连通分量提取方法是从对象图的所有最大连通子图中获得流程执行的;(0',con(0'x0'))是对象图GU的最大连通子图；por表示从最大连通子图中获取的流程执行；o'为最大;;;;其中，e'为不同于事件e的事件；cn为第n个事件；ei为第i个事件；ci+1为第i+1个事件。[0024]使用本发明方法获取的对象图如图2所示，其无向图节点集合为={A,X1,。;[0026]使用本发明方法获取的删除跨层冗余依赖后的流程执行如图4所示，即由于事件C3和事件可通过事件C4到达，所以使用传递归约方法删除导致跨层冗余依赖的有向图,获取的对应绑定序列梯队为：[[('CO',{';F:P→O；;;;其中，t·为变迁t的后集库所集合；b为变迁执行时消耗的各对象类型的具体对;·t为变迁t的前集库所集合；缺失的托肯数mis为：;偏差结果为流程执行中未正常使能的变迁以及为保证其顺利执行添加的缺失托;当cons(t,b)>M时，绑定(t,b)无法在标识M下使能，变迁t为未正常使能缺失托肯信息infomiss定义为：;缺失托肯信息是变迁t在库所n中缺少绑定正常使能所需的对象0。详情(即Item)、供应商(SupplierOrder)、客户订单(Order)、发票(Invoice)和支付[0029]使用本发明方法在图5模型上进行托肯重演，得到采购销售场景标准流程模型的。[0030]根据表2绑定序列在图6的多对象Petri网进行托肯重演，得到产生的托肯数为25使用局部诊断方法展示流程中偏差严重的部分，得到对象为中心业务流程违规检查结果。;其中，fit(-)为拟合度；k表示对象为中心业务流程事件日志中的流程执行数[0033]步骤4.2、使用局部诊断;其中，diap()为流程执行p的未正常使能变迁一致性局部诊断结果；diaz()为对象为中心业务流程事件日志L的未正常使能变迁一致性局部诊断结果；tunETumn是表示对象为中心业务流程事件日志L中包含tun对应的日志活动的流程执行数量，计算公式为：;方法得到的局部诊断结果包括单条流程执行的未正常使能变迁一致性和事件日志中未正获取重演结果及偏差结果模块，用于根据绑定执行规则在多对象Petri网模型上代入所定义的拟合度公式量化合规性，然后使用局部诊断方法展示流程中偏差严重的部的基于托肯重演的对象为中心业务流程违规检查方法和基于托肯重演的对象为中心业务[0037]本发明为已有合规性检查技术处理对象为中心业务流程时无法准确识别偏差以[0039]对比实验采用表1所示的采购销售事件日志，此流程为对象为中心业务流程事件[0040]将本发明方法与目前已有的扁平化托肯重演合规性检查技术进行对比分析。图6。查技术将表4日志在发货单对象类型模型上重演得到货单对