基于抽象技术的流程模型变化传播分析
摘要 | 第5-7页 |
Abstract | 第7-8页 |
引言 | 第17-20页 |
1 绪论 | 第20-26页 |
1.1 研究背景 | 第20-21页 |
1.2 国内外研究现状 | 第21-24页 |
1.2.1 流程模型抽象技术分析 | 第21-23页 |
1.2.2 变化传播的分析技术 | 第23-24页 |
1.3 研究动机 | 第24页 |
1.4 本文的内容安排 | 第24-26页 |
2 基本知识 | 第26-30页 |
2.1 网以及网系统的相关知识 | 第26-28页 |
2.1.1 Petri网相关定义 | 第26-28页 |
2.1.2 Petri网的性质 | 第28页 |
2.2 行为轮廓 | 第28-30页 |
2.2.1 行为轮廓的基本概念 | 第29页 |
2.2.2 行为轮廓的性质 | 第29-30页 |
3 流程模型抽象技术概述 | 第30-35页 |
3.1 流程模型抽象的目标 | 第30-32页 |
3.2 流程模型抽象存在的问题 | 第32页 |
3.3 流程模型抽象的操作分类 | 第32-33页 |
3.4 抽象视图中的变化传播 | 第33-35页 |
4 基于行为轮廓的抽象技术 | 第35-46页 |
4.1 概述 | 第35页 |
4.2 问题概述 | 第35-36页 |
4.3 基本概念 | 第36-37页 |
4.4 行为轮廓的抽象技术 | 第37-44页 |
4.4.1 块结构的控制流结构抽象 | 第37-40页 |
4.4.2 数据流结构抽象化简 | 第40-44页 |
4.4.3 流程模型行为轮廓的抽象化简算法 | 第44页 |
4.5 实例分析 | 第44-45页 |
4.6 本章小结 | 第45-46页 |
5 基于搜索树的抽象技术 | 第46-56页 |
5.1 问题概述 | 第46页 |
5.2 基本概念 | 第46-48页 |
5.3 搜索树的抽象技术 | 第48-51页 |
5.3.1 变迁关联DFS树 | 第48-49页 |
5.3.2 二叉搜索树的网系统块结构构造方法 | 第49-50页 |
5.3.3 搜索树的模型抽象化简算法 | 第50-51页 |
5.4 实例分析 | 第51-53页 |
5.5 抽象方法的性质分析 | 第53-54页 |
5.6 本章小结 | 第54-56页 |
6 基于抽象的变化传播分析方法 | 第56-66页 |
6.1 概述 | 第56页 |
6.2 问题概述 | 第56-57页 |
6.3 基本概念 | 第57页 |
6.4 变化传播分析 | 第57-61页 |
6.4.1 四种变化操作规则 | 第57-59页 |
6.4.2 变更传播分析 | 第59-60页 |
6.4.3 变更传播的冲突检测和解决 | 第60-61页 |
6.5 实例分析 | 第61-65页 |
6.5.1 流程子类型 | 第61-62页 |
6.5.2 冲突视图与不相交视图条件 | 第62-63页 |
6.5.3 冲突视图与重叠的视图条件 | 第63-65页 |
6.6 本章小结 | 第65-66页 |
7 结论 | 第66-68页 |
7.1 本文的主要工作 | 第66页 |
7.2 未来工作 | 第66-68页 |
参考文献 | 第68-74页 |
致谢 | 第74-75页 |
作者简介及硕士研究生期间主要科研成果 | 第75页 |