软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2015年
3期
509-532
,共24页
李传艺%葛季栋%胡海洋%胡昊%骆斌
李傳藝%葛季棟%鬍海洋%鬍昊%駱斌
리전예%갈계동%호해양%호호%락빈
符合性检查%过程挖掘%Petri网%工作流网%Token Log%T-不变量%S-不变量%ProM
符閤性檢查%過程挖掘%Petri網%工作流網%Token Log%T-不變量%S-不變量%ProM
부합성검사%과정알굴%Petri망%공작류망%Token Log%T-불변량%S-불변량%ProM
conformance checking%process mining%Petri-net%Token Log%T-invariant%S-invariant%ProM
使用事件日志进行符合性检查的主要方法是:使用过程模型模拟执行事件日志中的任务序列,通过统计可被模型再现的任务序列及模型运行中可能触发的非运行序列中的任务个数,判断模型与日志的符合程度.但这种判断方法并不完备:如果模型中包含大量选择结构,则即使日志是模型本身的日志,也会因为模拟执行较多任务时会触发当前序列外的其他任务,而误判日志与模型的符合性较低;或者,如果模型中只包含少数的并发结构和多数的顺序结构,则即使日志只包含顺序结构的内容且非该模型对应日志时,也会因为在模拟执行时只有个别任务会导致模型无法继续执行,而其他多数任务可以执行而误判日志与模型有较高的符合性.基于已有方法的弱点,提出了使用日志内容检查模型结构正确性与使用模型结构检查日志内容完整性的双向检查标准,并提出一种内容特征与模型结构特征一一对应的新型日志——Token Log,用于过程模型与系统日志的符合性检查,使得检查和判断过程更加清晰简洁,结果更加准确.
使用事件日誌進行符閤性檢查的主要方法是:使用過程模型模擬執行事件日誌中的任務序列,通過統計可被模型再現的任務序列及模型運行中可能觸髮的非運行序列中的任務箇數,判斷模型與日誌的符閤程度.但這種判斷方法併不完備:如果模型中包含大量選擇結構,則即使日誌是模型本身的日誌,也會因為模擬執行較多任務時會觸髮噹前序列外的其他任務,而誤判日誌與模型的符閤性較低;或者,如果模型中隻包含少數的併髮結構和多數的順序結構,則即使日誌隻包含順序結構的內容且非該模型對應日誌時,也會因為在模擬執行時隻有箇彆任務會導緻模型無法繼續執行,而其他多數任務可以執行而誤判日誌與模型有較高的符閤性.基于已有方法的弱點,提齣瞭使用日誌內容檢查模型結構正確性與使用模型結構檢查日誌內容完整性的雙嚮檢查標準,併提齣一種內容特徵與模型結構特徵一一對應的新型日誌——Token Log,用于過程模型與繫統日誌的符閤性檢查,使得檢查和判斷過程更加清晰簡潔,結果更加準確.
사용사건일지진행부합성검사적주요방법시:사용과정모형모의집행사건일지중적임무서렬,통과통계가피모형재현적임무서렬급모형운행중가능촉발적비운행서렬중적임무개수,판단모형여일지적부합정도.단저충판단방법병불완비:여과모형중포함대량선택결구,칙즉사일지시모형본신적일지,야회인위모의집행교다임무시회촉발당전서렬외적기타임무,이오판일지여모형적부합성교저;혹자,여과모형중지포함소수적병발결구화다수적순서결구,칙즉사일지지포함순서결구적내용차비해모형대응일지시,야회인위재모의집행시지유개별임무회도치모형무법계속집행,이기타다수임무가이집행이오판일지여모형유교고적부합성.기우이유방법적약점,제출료사용일지내용검사모형결구정학성여사용모형결구검사일지내용완정성적쌍향검사표준,병제출일충내용특정여모형결구특정일일대응적신형일지——Token Log,용우과정모형여계통일지적부합성검사,사득검사화판단과정경가청석간길,결과경가준학.
