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

被引:5
作者
王路
杜玉越
祁宏达
机构
[1] 山东科技大学计算机科学与工程学院
关键词
流程挖掘; 合规性检查; 引发序列; 模型修正; 重演;
D O I
暂无
中图分类号
TP311.13 [];
学科分类号
1201 ;
摘要
随着信息系统在业务流程中的广泛应用,对事件日志与业务流程的需求也随之增加.由于事件日志的爆炸式增长,有些事件日志不能被流程模型正确地重演.通过合规性检查可以检测与诊断模型与日志之间存在的差异.但是,合规性检查技术不能对流程模型做出正确的修正.基于事件日志中的引发序列,从移除活动、增加活动及改变模型子流程3个方面解决了流程模型的修正问题.在进行模型修正时,需要确定移除的活动在模型中所在的结构、增加的活动与相邻活动的关系以及需要改变的子流程.流程模型修正的目的在于使修正的流程模型可以重演(大多数)的事件日志,并且使得到的修正模型尽可能与原模型相似.通过仿真模拟提出的修正方法,实验验证了该方法的正确性与实用性.
引用
收藏
页码:585 / 601
页数:17
相关论文
共 11 条
[1]   基于Petri网的模型偏差域识别与模型修正 [J].
杜玉越 ;
孙亚男 ;
刘伟 .
计算机研究与发展, 2016, 53 (08) :1766-1780
[2]   一种基于校准的模型问题域识别方法 [J].
王路 ;
杜玉越 .
山东科技大学学报(自然科学版), 2015, 34 (01) :42-46+53
[3]  
Model repair — aligning process models to reality[J] . Dirk Fahland,Wil M.P. van der Aalst.Information Systems . 2013
[4]   A vector matching method for analysing logic Petri nets [J].
Du, YuYue ;
Qi, Liang ;
Zhou, MengChu .
ENTERPRISE INFORMATION SYSTEMS, 2011, 5 (04) :449-468
[5]   Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages [J].
Bergenthum, Robin ;
Desel, Joerg ;
Mauser, Sebastian ;
Lorenz, Robert .
FUNDAMENTA INFORMATICAE, 2009, 95 (01) :187-217
[6]  
Process Discovery using Integer Linear Programming[J] . K. v. Hee,R. Valk.Fundamenta Informaticae . 2009 (3-4)
[7]  
Modeling and monitoring of E-commerce workflows[J] . YuYue Du,ChangJun Jiang,MengChu Zhou,You Fu.Information Sciences . 2008 (7)
[8]  
Conformance checking of processes based on monitoring real behavior[J] . A. Rozinat,W.M.P. van der Aalst.Information Systems . 2007 (1)
[9]   Mining process models with non-free-choice constructs [J].
Wen, Lijie ;
van der Aalst, Wil M. P. ;
Wang, Jianmin ;
Sun, Jiaguang .
DATA MINING AND KNOWLEDGE DISCOVERY, 2007, 15 (02) :145-180
[10]   Formalization and verification of event-driven process chains [J].
van der Aalst, WMP .
INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (10) :639-650