一种基于Token Log的符合性检查方法

作     者：李传艺 葛季栋 胡海洋 胡昊 骆斌 LI Chuan-Yi;GE Ji-Dong;HU Hai-Yang;HU Hao;LUO Bin

作者机构：计算机软件新技术国家重点实验室(南京大学)江苏南京210046 南京大学软件学院江苏南京210093 高维信息智能感知与系统教育部重点实验室(南京理工大学)江苏南京210094 杭州电子科技大学计算机学院浙江杭州310018 南京大学计算机科学与技术系江苏南京210046 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2015年第26卷第3期

页      面：509-532页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

基　　金：国家自然科学基金(61100039 61321491 91318301 61272188 61202002) 国家高技术研究发展计划(863)(2013A A01A213) 国家重点基础研究发展计划(973)(2015CB352202) 中央高校基本科研业务费 江苏省自然科学基金(BK20131277) 浙江省自然科学基金(LY12F02005) 高维信息智能感知与系统教育部重点实验室(南京理工大学)基金(30920130122005) 南京大学计算机软件新技术国家重点实验室开放基金(KFKT2014B15) 浙江省哲学社会科学重点研究基地(信息化与经济社会发展研究中心)课题(14JDXX04YB) 

主　　题：符合性检查 过程挖掘 Petri网 工作流网 T0ken Log T-不变量 S-不变量 ProM 

摘      要：使用事件日志进行符合性检查的主要方法是:使用过程模型模拟执行事件日志中的任务序列,通过统计可被模型再现的任务序列及模型运行中可能触发的非运行序列中的任务个数,判断模型与日志的符合程度.但这种判断方法并不完备:如果模型中包含大量选择结构,则即使日志是模型本身的日志,也会因为模拟执行较多任务时会触发当前序列外的其他任务,而误判日志与模型的符合性较低;或者,如果模型中只包含少数的并发结构和多数的顺序结构,则即使日志只包含顺序结构的内容且非该模型对应日志时,也会因为在模拟执行时只有个别任务会导致模型无法继续执行,而其他多数任务可以执行而误判日志与模型有较高的符合性.基于已有方法的弱点,提出了使用日志内容检查模型结构正确性与使用模型结构检查日志内容完整性的双向检查标准,并提出一种内容特征与模型结构特征一一对应的新型日志——Token Log,用于过程模型与系统日志的符合性检查,使得检查和判断过程更加清晰简洁,结果更加准确.