摘要
模型修复是一种过程增强技术。现有模型修复方法较少考虑含间接依赖关系的过程模型,在表示结构间的间接依赖关系时存在不足,修复含循环选择驱动循环结构的模型时难以描述结构间的间接依赖关系。本研究基于逻辑Petri网,针对循环选择驱动循环结构,提出在修复循环选择驱动循环结构的同时可以表达结构间的间接依赖关系的方法。在从日志中获取循环序列和选择序列算法的基础上,通过定理确定模型与日志是否存在偏差并找到偏差位置;根据不同结构提出修复算法修复模型,并使用关联规则描述结构间的间接依赖关系;最后通过实验证明方法的可行性。
Model repair is a technique applied to process enhancement.But due to the rare consideration of process models involving indirect dependencies,the existing model repair methods are insufficient in representing the indirect dependencies among different structures,especially in describing the indirect dependencies between structures when they are used to repair a model with a loop-choice-driven loop structure.This paper proposed a model repair method for loop-choice-driven loop structures based on logic Petri nets,which could express the indirect dependencies between structures while repairing the loop-choice-driven loop structure.Based on the proposed algorithms for extracting loop sequence and choice sequence from the logs,deviations between the model and logs,as well as the deviation locations,were determined by using theorems.Then a repair algorithm was presented to repair the model according to different structures and the indirect dependencies among different structures were described by using the association rules.Finally,the feasibility of the proposed method was validated by experiments.
作者
刘伟
薄玉娟
杜玉越
孙红伟
LIU Wei;BO Yujuan;DU Yuyue;SUN Hongwei(College of Computer Science and Engineering,Shandong University of Science and Technology,Qingdao 266590,China)
出处
《山东科技大学学报（自然科学版）》
CAS
北大核心
2023年第6期75-84,共10页
Journal of Shandong University of Science and Technology(Natural Science)
基金
教育部人文社科规划基金项目(23YJAZH084)
青岛市社会科学规划项目(QDSKL2201131)
山东省教育教学研究重点课题(2023JXZ001)。
