基于模型约束的乱序流程日志高效修复方法研究

《基于模型约束的乱序流程日志高效修复方法研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、基于模型约束的乱序流程日志高效修复方法研究（申请清华大学工程硕士学位论文）培养单位：软件学院学科：软件工程研究生：肖永博指导教师：闻立杰副教授二？一七年六月ＳｔｕｄｏｎａｎＥｆｆｉｃｉｅｎｔＡｒｏａｃｈｔｏＲｅａｉｒｙｐｐｐ－ｔｈｅＭｉｓｓｉｎｏｒｄｅｒＥｖｅｎｔＬｏｓＢａｓｅｄｏｎｇｇＰｒｏｃｅｓｓＭｏｄｅｌｓＴｈｅｓｉｓＳｕｂｍｉｔｔｅｄｔｏＴｓｉｎｈｕａＵｎｉｖｅｒｓｉｔｇｙｉｎａｒｔｉａｌｆｕｌｆｉｌｌｍｅｎｔｏｆｔｈｅｒｅｕｉｒｅｍｅｎｔ

2、ｐｑｆｏｒｔｈｅｒｏｆｅｓｓｉｏｎａｌｄｅｒｅｅｏｆｐｇＭａｓｔｅｒｏｆＥｎｉｎｅｅｒｉｎｇｇｂｙＹｏｎｂｏＸｉａｏｇＳｏｆｔｗａｒｅＥｇｉｎｅｅｒｉｎｇ（）ＴｈｅｓｉｓＳｕｅｒｖｉｓｏｒ：ＡｓｓｏｃｉａｔｅＰｒｏｆｅｓｓｏｒＬｉｉｅＷｅｎｐｊＪｕｎｅ２０１７，摘要摘要事件日志可以用于记录过程感知信息系统中的任务执行信息。根据任务执行。信息中的执行时刻信息可以推导出任务之间的逻辑关系然而，由于系统设计缺一一陷或者人为因素干扰，方面事件日志中的时刻信息可能无法获

3、取，另方面事件日志可能记录了错误的，、不可靠的任务时刻信息例如说没有记录可供参考的时刻信息或者是没有记录实际的执行时刻。上述这类由于缺少可靠时刻信息而造成事件活动次序丢失的情况被称为日志乱序问题。日志乱序问题将会影响诸如溯一一源分析、数据模式分析、致性检测分析等系列数据分析工作的进行。对于乱一日志修复，、序问题，学术界已经提出了种基于的通过将日志与模型进行对齐并，进而枚举所有可能方案并最终得到最佳修复的修复方法。虽然这种修复方法、、日，可以处理多种日志问题，例如事件缺失事件冗余志乱序等等但是这种修复方法在修复

4、效率方面表现较差、有待提高。一本文针对日志乱序问题展开研究，，并提出了种高效的乱序日志修复方法即、ｉｆ：￡Ｙｒｅｍｏ（ｅｆｉｃｅｎｔｒｅｃｏｖｅｒｏｍｉｓｓｉｎｏｒｄｅｒ。本文白勺主要工作有ｙｇ）方法？本文首先对乱序日志的修复问题进行了形式化定义，并证明了对乱序日志进行修复的问题是ＮＰ－ｈａｒｄ问题；？本文通过使用展开技术简化了对过程模型的行为分析，并提出了针对在因果网模型和不带循环的分支网模型上的启发式过滤规则和高效的修复方法，能够处理包括不可见任务、非自由选择结构等的复杂网模型；？本文通过使用完

5、全前缀展开技术对包含循环结构的复杂网模型进行简化处理，，并提出了针对带循环网模型的候选集过滤规则和高效回溯的修复方法能够处理包含循环嵌套等结构的复杂网模型；？设计实验基于企业实际模型和人工合成模型在性能、可扩展性、处理复杂网结构等方面与现有的通过对齐方式进行修复的算法进行了性能对比试验，验证了算法的高效性。：关键词事件日志；乱序；模型约束；高效修复ＩＡｂｓｔｒａｃｔＡｂｓｔｒａｃｔＥｖｅｎｔｌｏｇｓｒｅｃｏｒｄｔｈｅｅｘｅｃｕｔｉｏｎｉｎｆｏｒｍａｔｉｏｎｆｏｒｄｉｆｆｅｒｅｎｔｋｉ

6、ｎｄｓｏｆｓｙｓｔｅｍｓ．Ｔｈｅｏｒｄｅｒｉｎｆｏｒｍａｔｉｏｎｉｎａｓｅｑｕｅｎｃｅｉｎｄｉｃａｔｅｓｔｈｅｌｏｇｉｃａｌｒｅｌａｔｉｏｎａｎｄｆｉｒｉｎｇｓｕｃｃｅｓｓｉｏｎｂｅｔｗｅｅｎｅｖｅｎｔｓ．Ｈｏｗｅｖｅｒ，ｗｉｔｈｖａｒｉｏｕｓｉｓｓｕｅｓｒａｉｓｅｄｂｙｓｙｓｔｅｍｓｏｒｍａｎｉｐｕｌａｔｉｏｎ，ｅｖｅｎｔｓｍａｙｂｅｒｅｃｏｒｄｅｄｉｎａｗｒｏｎｇｏｒｄｅｒ，ｗｈｉｃｈｉｓｃａｌｌｅｄｍｉｓｓｉｎｇｏｒｄｅｒ．Ｗｉｔｈｏｕｔｒｅｃｏｖ

7、ｅｒｉｎｇｍｉｓｓｉｎｇｏｒｄｅｒｉｓｓｕｅｓａｌｉｃａｔｉｏｎｓｓｕｃｈａｓｒｏｖｅｎａｎｃｅａｎａｌｓｉｓｏｒｃｏｍｌｅｘｅｖｅｎｔｒｏｃｅｓｓｉｎｂｕｉｌｔ，ｐｐｐｙｐｐｇｏｎｅｖｅｎｔｄａｔａｍａｙｇｅｔｐａｒａｌｙｚｅｄ．Ａｂａｓｉｃｍｅｔｈｏｄｆｏｒｒｅｃｏｖｅｒｉｎｇａｎｅｖｅｎｔｌｏｇｉｓｔｏｅｎｕｍｅｒａｔｅａｌｌｔｈｅｏｓｓｉｂｌｅｓｅｕｅｎｃｅｓａｎｄｆｉｎｄｔｈｅｂｅｓｔｒｅｃｏｖｅｒｓｏｌｕｔｉｏｎ．Ａｌｔｈｏｕｈｉｔｃａｎ

8、ｐｑｙｇｈａｎｄｌｅａｌｍｏｓｔｅｖｅｒｙｋｉｎｄｏｆｒｅｃｏｖｅｒｒｏｂｌｅｍｓｓｕｃｈａｓｍｉｓｓｉｎｅｖｅｎｔｓａｎｄｍｉｓｓｉｎｏｒｄｅｒ，ｙ