计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2007年
8期
1436-1445
,共10页
过程挖掘%工作流挖掘%重复任务%Petri网%工作流网
過程挖掘%工作流挖掘%重複任務%Petri網%工作流網
과정알굴%공작류알굴%중복임무%Petri망%공작류망
基于α-算法,提出了能发现工作流日志中重复任务的过程挖掘算法α**,并给出了正确性证明.该算法先通过机器学习的方法分析重复任务的性质,给出了判定重复任务的定理并证明了其正确性;然后使用这些定理判断并标识出日志中的所有重复任务;最后,采用α-算法从标识后的日志中提取出工作流网,并对其进行调整得到包含重复任务的工作流网模型.通过模拟实验验证了算法的有效性,与现有的重复任务挖掘方法的实验结果相比证实了文中提出的方法具有更高的效率.
基于α-算法,提齣瞭能髮現工作流日誌中重複任務的過程挖掘算法α**,併給齣瞭正確性證明.該算法先通過機器學習的方法分析重複任務的性質,給齣瞭判定重複任務的定理併證明瞭其正確性;然後使用這些定理判斷併標識齣日誌中的所有重複任務;最後,採用α-算法從標識後的日誌中提取齣工作流網,併對其進行調整得到包含重複任務的工作流網模型.通過模擬實驗驗證瞭算法的有效性,與現有的重複任務挖掘方法的實驗結果相比證實瞭文中提齣的方法具有更高的效率.
기우α-산법,제출료능발현공작류일지중중복임무적과정알굴산법α**,병급출료정학성증명.해산법선통과궤기학습적방법분석중복임무적성질,급출료판정중복임무적정리병증명료기정학성;연후사용저사정리판단병표식출일지중적소유중복임무;최후,채용α-산법종표식후적일지중제취출공작류망,병대기진행조정득도포함중복임무적공작류망모형.통과모의실험험증료산법적유효성,여현유적중복임무알굴방법적실험결과상비증실료문중제출적방법구유경고적효솔.
