声明
摘要
插图清单
引言
1 绪论
1.1 研究背景
1.2 研究现状
1.2.1 变化域分析
1.2.2 模型合并
1.2.3 可配置流程模型
1.3 研究动机与意义
1.4 本文内容安排
2 基础知识
2.1 Petri网的基本理论
2.2 Petri网的相关性质
3 基于模型合并和摘要提取的复杂模型变化域分析方法
3.1 概述
3.2 基本概念
3.3 基于复杂匹配关系合并模型
3.3.1 模型的复杂匹配关系确定
3.3.2 通过抽象匹配域进行模型标准化
3.3.3 合并模型
3.4 通过模型摘要确定变化域
3.4.1 提取模型摘要
3.4.2 根据模型摘要确定变化域
3.5 总结与展望
4 基于可配置的业务流程模型的变化域分析研究
4.1 概述
4.2 研究动机
4.3.基于可配置流程模型实现配置约束的方法
4.3.1 可配置流程模型
4.3.2 实现配置约束的方法
4.4 基于合并寻找带约束的可配置流程模型的变化域
4.5 总结
5 结论
5.1 本文主要工作
5.2 未来工作
参考文献
致谢
作者简介及读研期间主要科研成果