首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--一般性问题论文--理论、方法论文--自动机理论论文

基于抽象技术的流程模型变化传播分析

摘要第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页

论文共75页,点击 下载论文
上一篇:B医药公司阿米巴经营模式设计及应用研究
下一篇:水平薪酬差距激励了非CEO高管吗?--基于产权性质的视角