业务流程变化传播机理及控制分析

前言 第1章 业务流程的Petri网建模与分析 1.1 业务流程概述 1.2 Petri网基础知识及性质 1.2.1 Petri网的基本概念 1.2.2 Petri网的性质 1.2.3 Petri网行为轮廓的基本概念 1.2.4 Petri网行为轮廓的性质 1.3 业务流程的控制流建模和数据流建模及分析 1.3.1 引例 1.3.2 基本概念 1.3.3 业务流程的控制流与数据流建模与分析 第2章 业务流程变化及其分类 2.1 业务流程变化概述 2.2 业务流程变化分类 2.3 业务流程变化相关研究 第3章 业务流程模型行为一致性分析 3.1 业务流程模型行为一致性概述 3.1.1 日志与模型间的一致性 3.1.2 行为一致性与交互一致性 3.1.3 一致性评价方法 3.2 基于行为轮廓和行为语义的合并模型一致性分析 3.2.1 引例 3.2.2 基本概念 3.2.3 基于匹配节点之间的行为轮廓与语义约束分析合并模型的一致性 3.2.4 实例分析 3.3 基于行为Petri网的业务流程模型一致性分析 3.3.1 引例 3.3.2 控制流和数据流的概念 3.3.3 基于行为Petri网计算行为兼容度 3.3.4 实例分析 3.4 数据约束模型的相似 对齐一致性分析 3.4.1 引例 3.4.2 基本概念 3.4.3 数据约束模型的一致性检测算法 3.4.4 实例分析 3.5 复杂对应条件下交互行为的行为轮廓一致性分析 3.5.1 复杂对应关系的处理分析 3.5.2 基于复杂对应关系的Petri网的行为轮廓一致性分析 3.5.3 实例分析 3.6 小结 第4章 业务流程中变化域的定位 4.1 业务流程变化域定位概述 4.2 基于动作模式的寻找流程Petri网模型变化区域方法 4.2.1 引例 4.2.2 基于行为轮廓的动作模式寻找变化区域 4.2.3 实例分析 4.3 基于行为包含发现局部变化域 4.3.1 基本概念 4.3.2 基于行为包含的日志变化挖掘方法