声明
摘要
插图清单
表清单
引言
1 绪论
1.1 研究背景
1.2 研究现状
1.2.1 相似性与一致性分析
1.2.2 变化域分析
1.2.3 行为分析
1.3 研究动机与意义
1.4 本文内容安排
2 基础知识
2.1 Petri网的相关理论
2.1.1 Petri网的定义
2.1.2 Petri网的性质
2.2 行为轮廓
2.2.1 行为轮廓的定义
2.2.2 行为轮廓的性质
3 基于Petri网弱行为轮廓的业务流程模型变化域优化分析
3.1 概述
3.2 动机实例
3.3 模块流程Petri网的相关概念
3.4 基于Petri网可疑模块的弱行为轮廓分析流程模型的变化域
3.5 实例分析
3.6 本章小结
4 基于Petri网动态切片的最小变化域分析
4.1 概述
4.2 基本概念
4.3 基于Petri网的动态切片技术分析目标模型的最小变化域
4.4 实例分析
4.5 本章小结
5 基于Petri网行为和结构相似性度的业务流程变化域分析
5.1 概述
5.2 动机实例
5.3 基本定义
5.4 基于Petri网寻找源模型和目标模型的行为和结构相似性度
5.5 实例分析
5.6 本章小结
6 基于Petri网行为包含和行为继承的业务流程变化域传播分析
6.1 概述
6.2 基本定义
6.3 基于Petri网的行为包含和行为继承关系分析变化域传播
6.4 实例分析
6.5 本章小结
7 结论
7.1 本文的主要工作
7.2 未来工作
参考文献
致谢
作者简介及读研期间主要科研成果