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

• 作者: 李传艺 胡昊 胡海洋 葛季栋 骆斌
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 符合性检查 过程挖掘 Petri网 工作流网 Token Log T-不变量 S-不变量 ProM
• 年，卷（期）: 2015,（3）
• 所属期刊栏目: 业务过程管理技术专题
• 页码范围: 509-532
• 页数: 24页
• 分类号: TP311
• 字数: 19832字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004771

摘要

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