论文部分内容阅读
使用事件日志进行符合性检查的主要方法是：使用过程模型模拟执行事件日志中的任务序列，通过统计可被模型再现的任务序列及模型运行中可能触发的非运行序列中的任务个数，判断模型与日志的符合程度．但这种判断方法并不完备：如果模型中包含大量选择结构，则即使日志是模型本身的日志，也会因为模拟执行较多任务时会触发当前序列外的其他任务，而误判日志与模型的符合性较低；或者，如果模型中只包含少数的并发结构和多数的顺序结构，则即使日志只包含顺序结构的内容且非该模型对应日志时，也会因为在模拟执行时只有个别任务会导致模型无法继续执行，