删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

基于引发序列的流程模型修正

本站小编 Free考研考试/2022-01-01

王路,杜玉越,祁宏达
(山东科技大学计算机科学与工程学院 山东青岛 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个方面解决了流程模型的修正问题.在进行模型修正时,需要确定移除的活动在模型中所在的结构、增加的活动与相邻活动的关系以及需要改变的子流程.流程模型修正的目的在于使修正的流程模型可以重演(大多数)的事件日志,并且使得到的修正模型尽可能与原模型相似.通过仿真模拟提出的修正方法,实验验证了该方法的正确性与实用性.






[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
相关话题/流程 计算机 山东科技大学 实验 计算机科学