(山东科技大学计算机科学与工程学院 山东青岛 266590) (wanglu253@126.com)
出版日期:
2018-03-01基金资助:
国家自然科学基金项目(61170078,61472228);山东省泰山****建设工程专项基金项目;山东省自然科学基金项目(ZR2014FM009);山东科技大学科技创新项目(SDKDYC170222);山东省重点研发计划项目(2016GGX101031)Process Model Repair Based on Firing Sequences
Wang Lu, Du Yuyue, Qi Hongda(College of Computer Science and Engineering, Shandong University of Science and Technology, Qingdao, Shandong 266590)
Online:
2018-03-01摘要/Abstract
摘要: 随着信息系统在业务流程中的广泛应用,对事件日志与业务流程的需求也随之增加.由于事件日志的爆炸式增长,有些事件日志不能被流程模型正确地重演.通过合规性检查可以检测与诊断模型与日志之间存在的差异.但是,合规性检查技术不能对流程模型做出正确的修正.基于事件日志中的引发序列,从移除活动、增加活动及改变模型子流程3个方面解决了流程模型的修正问题.在进行模型修正时,需要确定移除的活动在模型中所在的结构、增加的活动与相邻活动的关系以及需要改变的子流程.流程模型修正的目的在于使修正的流程模型可以重演(大多数)的事件日志,并且使得到的修正模型尽可能与原模型相似.通过仿真模拟提出的修正方法,实验验证了该方法的正确性与实用性.
参考文献
相关文章 3
[1] | 杜玉越,孙亚男,刘伟. 基于Petri网的模型偏差域识别与模型修正[J]. 计算机研究与发展, 2016, 53(8): 1766-1780. |
[2] | 朱素霞,陈德运,季振洲,孙广路,张浩. 面向监听一致性协议的并发内存竞争记录算法[J]. 计算机研究与发展, 2016, 53(6): 1238-1248. |
[3] | 朱素霞, 季振洲, 李 东, 张 浩,. 基于硬件签名的循环式内存竞争记录算法[J]. 计算机研究与发展, 2014, 51(5): 1149-1157. |
PDF全文下载地址:
https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=3654