循环并发结构的过程模型修正方法

摘要：

过程模型描述的行为与事件日志记录的行为之间存在很多偏差,为了使模型可以重演日志中记录的行为,需要对现有模型进行修正.对于存在循环并发结构的模型,现有修正方法得到的模型结构比较复杂,且不能正确地描述活动之间的关系,导致模型精确度较低.因此,针对循环并发结构,提出一种基于逻辑Petri网的动态模型修正方法.基于过程树,提出并发变迁集概念,通过连续日志动作的标识库所集与相应变迁前集之间的关系,进行偏差定位,并根据逻辑Petri网对模型进行动态修正.最后,通过实例验证了所提修正方法的正确性和有效性.

关键词：过程模型修正、循环并发结构、逻辑Petri网、一致性检测、校准

所属期刊栏目：25

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61170078,61472228;山东省泰山学者建设工程专项资助项目;山东省重点研发计划资助项目2018GGX101011

在线出版日期：2019-06-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：882-893