| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 插图清单 | 第12-13页 |
| 引言 | 第13-15页 |
| 1 绪论 | 第15-22页 |
| ·研究背景 | 第15页 |
| ·研究现状 | 第15-20页 |
| ·变化域分析 | 第16-17页 |
| ·模型合并 | 第17-18页 |
| ·可配置流程模型 | 第18-20页 |
| ·研究动机与意义 | 第20-21页 |
| ·本文内容安排 | 第21-22页 |
| 2 基础知识 | 第22-24页 |
| ·Petri网的基本理论 | 第22-23页 |
| ·Petri网的相关性质 | 第23-24页 |
| 3 基于模型合并和摘要提取的复杂模型变化域分析方法 | 第24-36页 |
| ·概述 | 第24-25页 |
| ·基本概念 | 第25-26页 |
| ·基于复杂匹配关系合并模型 | 第26-31页 |
| ·模型的复杂匹配关系确定 | 第26-28页 |
| ·通过抽象匹配域进行模型标准化 | 第28-30页 |
| ·合并模型 | 第30-31页 |
| ·通过模型摘要确定变化域 | 第31-35页 |
| ·提取模型摘要 | 第31-32页 |
| ·根据模型摘要确定变化域 | 第32-35页 |
| ·总结与展望 | 第35-36页 |
| 4 基于可配置的业务流程模型的变化域分析研究 | 第36-47页 |
| ·概述 | 第36-37页 |
| ·研究动机 | 第37-39页 |
| ·基于可配置流程模型实现配置约束的方法 | 第39-40页 |
| ·可配置流程模型 | 第39-40页 |
| ·实现配置约束的方法 | 第40页 |
| ·基于合并寻找带约束的可配置流程模型的变化域 | 第40-45页 |
| ·总结 | 第45-47页 |
| 5 结论 | 第47-48页 |
| ·本文主要工作 | 第47页 |
| ·未来工作 | 第47-48页 |
| 参考文献 | 第48-54页 |
| 致谢 | 第54-55页 |
| 作者简介及读研期间主要科研成果 | 第55页 |