業(yè)務(wù)流程變化傳播機(jī)理及控制分析

前言
第1章 業(yè)務(wù)流程的Petri網(wǎng)建模與分析
1.1 業(yè)務(wù)流程概述
1.2 Petri網(wǎng)基礎(chǔ)知識及性質(zhì)
1.2.1 Petri網(wǎng)的基本概念
1.2.2 Petri網(wǎng)的性質(zhì)
1.2.3 Petri網(wǎng)行為輪廓的基本概念
1.2.4 Petri網(wǎng)行為輪廓的性質(zhì)
1.3 業(yè)務(wù)流程的控制流建模和數(shù)據(jù)流建模及分析
1.3.1 引例
1.3.2 基本概念
1.3.3 業(yè)務(wù)流程的控制流與數(shù)據(jù)流建模與分析
第2章 業(yè)務(wù)流程變化及其分類
2.1 業(yè)務(wù)流程變化概述
2.2 業(yè)務(wù)流程變化分類
2.3 業(yè)務(wù)流程變化相關(guān)研究
第3章 業(yè)務(wù)流程模型行為一致性分析
3.1 業(yè)務(wù)流程模型行為一致性概述
3.1.1 日志與模型間的一致性
3.1.2 行為一致性與交互一致性
3.1.3 一致性評價(jià)方法
3.2 基于行為輪廓和行為語義的合并模型一致性分析
3.2.1 引例
3.2.2 基本概念
3.2.3 基于匹配節(jié)點(diǎn)之間的行為輪廓與語義約束分析合并模型的一致性
3.2.4 實(shí)例分析
3.3 基于行為Petri網(wǎng)的業(yè)務(wù)流程模型一致性分析
3.3.1 引例
3.3.2 控制流和數(shù)據(jù)流的概念
3.3.3 基于行為Petri網(wǎng)計(jì)算行為兼容度
3.3.4 實(shí)例分析
3.4 數(shù)據(jù)約束模型的相似最優(yōu)對齊一致性分析
3.4.1 引例
3.4.2 基本概念
3.4.3 數(shù)據(jù)約束模型的一致性檢測算法
3.4.4 實(shí)例分析
3.5 復(fù)雜對應(yīng)條件下交互行為的行為輪廓一致性分析
3.5.1 復(fù)雜對應(yīng)關(guān)系的處理分析
3.5.2 基于復(fù)雜對應(yīng)關(guān)系的Petri網(wǎng)的行為輪廓一致性分析
3.5.3 實(shí)例分析
3.6 小結(jié)
第4章 業(yè)務(wù)流程中變化域的定位
4.1 業(yè)務(wù)流程變化域定位概述
4.2 基于動作模式的尋找流程Petri網(wǎng)模型變化區(qū)域方法
4.2.1 引例
4.2.2 基于行為輪廓的動作模式尋找變化區(qū)域
4.2.3 實(shí)例分析
4.3 基于行為包含發(fā)現(xiàn)局部變化域
4.3.1 基本概念
4.3.2 基于行為包含的日志變化挖掘方法
4.3.3 實(shí)例分析
4.4 尋找數(shù)據(jù)約束下的變化域
4.4.1 引例
4.4.2 數(shù)據(jù)約束下的業(yè)務(wù)流程Petri網(wǎng)中的依賴關(guān)系
4.4.3 數(shù)據(jù)約束下尋找工作流Petri網(wǎng)的變化域
4.5 基于交互行為變遷優(yōu)化的變化域分析
4.5.1 引例
4.5.2 基于交互行為變遷優(yōu)化的變化域分析
4.5.3 實(shí)例分析
4.6 基于特征網(wǎng)的模塊日志變化挖掘隱變化
4.6.1 基本概念
4.6.2 基于特征網(wǎng)下的模塊日志變化挖掘
4.6.3 基于擬間接依賴的日志變化挖掘
4.6.4 實(shí)例分析
4.7 小結(jié)
第5章 業(yè)務(wù)流程中的變化域分析與處理
5.1 業(yè)務(wù)流程中的變化域分析概述
5.2 基于事件日志的無目標(biāo)模型的變化分析
5.2.1 引例
5.2.2 基本概念
5.2.3 日志誘導(dǎo)下的變化分析方法
5.2.4 實(shí)例分析
5.3 基于Petri網(wǎng)動態(tài)切片的最小變化域分析
5.3.1 基本概念
5.3.2 基于Petri網(wǎng)的動態(tài)切片技術(shù)分析目標(biāo)模型的最小變化域
5.3.3 實(shí)例分析
5.4 基于Petri網(wǎng)動力學(xué)表達(dá)式的尋找最小變化區(qū)域的分析方法
5.4.1 引例
5.4.2 基于Petri網(wǎng)動力學(xué)表達(dá)式尋找最小變化區(qū)域的分析
5.4.3 實(shí)例分析
5.5 基于Petri網(wǎng)行為和結(jié)構(gòu)相似性度的業(yè)務(wù)流程變化域分析
5.5.1 引例
5.5.2 基本概念
5.5.3 基于Petri網(wǎng)尋找源模型和目標(biāo)模型的行為和結(jié)構(gòu)相似性度
5.5.4 實(shí)例分析
5.6 數(shù)據(jù)流約束下變化域分析
5.6.1 引例
5.6.2 基于行為Petri網(wǎng)的數(shù)據(jù)約束下變化域的分析方法
5.6.3 實(shí)例分析
5.7 小結(jié)
第6章 交互業(yè)務(wù)流程變化傳播分析
6.1 業(yè)務(wù)流程變化傳播概述
6.2 基于Petri網(wǎng)行為包含的業(yè)務(wù)流程變化傳播分析
6.2.1 基本定義
6.2.2 變化域傳播分析
6.2.3 實(shí)例分析
6.3 基于配置和撤銷狀態(tài)的業(yè)務(wù)流程變化傳播分析
6.3.1 引例
6.3.2 基本概念
6.3.3 基于變化類型和變化域的配置
6.3.4 基于最小域的撤銷優(yōu)化
6.3.5 仿真分析
6.4 基于融合網(wǎng)的業(yè)務(wù)流程變化傳播優(yōu)劣性分析
6.4.1 融合網(wǎng)的生成
6.4.2 變化傳播的時(shí)間成本
6.4.3 實(shí)例分析
6.4.4 計(jì)算變化傳播的敏感度
6.5 小結(jié)
第7章 基于配置的業(yè)務(wù)流程變化域優(yōu)化分析
7.1 基于配置的業(yè)務(wù)流程變化域優(yōu)化分析概述
7.1.1 研究背景
7.1.2 配置信息分析
7.1.3 配置挖掘
7.1.4 配置優(yōu)化分析
7.1.5 本章主要內(nèi)容
7.2 基于配置變遷Petri網(wǎng)模型優(yōu)化分析方法
7.2.1 基于配置變遷的變化域優(yōu)化分析
7.2.2 實(shí)例分析
7.3 業(yè)務(wù)流程配置適合性檢測和優(yōu)化算法
7.3.1 業(yè)務(wù)流程不適合配置檢測
7.3.2 業(yè)務(wù)流程不適合配置優(yōu)化
7.3.3 實(shí)例分析
7.4 基于片段適配的業(yè)務(wù)模型的優(yōu)化方法
7.4.1 引例
7.4.2 基本概念
7.4.3 基于Petri網(wǎng)優(yōu)化交互業(yè)務(wù)流程模型
7.