過程感知的信息系統(tǒng)

第一部分 概念
第1章 緒論 3
1.1 從程序和數(shù)據(jù)到過程 3
1.2 PAIS：定義與基本原理 4
1.3 技術(shù)與工具 6
1.3.1 PAIS歷史回顧 6
1.3.2 PAIS開發(fā)工具 7
1.4 分類 8
1.4.1 面向設(shè)計與面向?qū)崿F(xiàn) 8
1.4.2 人員與應(yīng)用軟件 9
1.4.3 過程結(jié)構(gòu)與可預(yù)測性 10
1.4.4 組織內(nèi)與組織間 11
1.5 關(guān)于本書 12
1.5.1 目標(biāo)和適用讀者 12
1.5.2 內(nèi)容組織 12
參考文獻(xiàn) 14
第2章 Person-to-Application過程： 工作流管理 16
2.1 引言 16
2.2 工作流術(shù)語17
2.3 工作流建模18
2.3.1 多視角看工作流18
2.3.2 任務(wù)路由 20
2.3.3 工作流模型 20
2.3.4 工作流生命周期 21
2.4 工作流管理系統(tǒng) 22
2.4.1 基本功能 22
2.4.2 WfMC參考模型 22
2.4.3 工作流引擎 23
2.4.4 接口 23
目錄
2.5 展望 24
2.6 練習(xí) 25
參考文獻(xiàn) 26
第3章 Person-to-Person過程： 計算機(jī)支持的協(xié)同工作 28
3.1 引言 28
3.2 人與人交互的特征 28
3.2.1 協(xié)同工作 28
3.2.2 模式探索 30
3.2.3 規(guī)范化的交互 31
3.2.4 協(xié)同技術(shù)的內(nèi)涵 31
3.2.5 問題和誤區(qū) 32
3.3 人與人系統(tǒng)的特點(diǎn)3 3
3.3.1 CSCW 33
3.3.2 定義 34
3.3.3 例子 34
3.3.4 P2P系統(tǒng)特性 35
3.4 P2P系統(tǒng)實(shí)例 37
3.4.1 CoWord（格里菲斯大學(xué)，澳大利亞）38
3.4.2 WebEx Meeting Center（WebExTM通信公司）38
3.4.3 IPMM（香港理工大學(xué)，香港）38
3.4.4 LeadLine（微軟公司）39
3.4.5 Caramba （Caramba 實(shí)驗(yàn)室軟件股份公司）40
3.5 小結(jié) 42
3.6 練習(xí) 42
參考文獻(xiàn) 44
第4章 企業(yè)應(yīng)用集成（EAI）和B2B集成過程46
4.1 引言 46
4.1.1 企業(yè)應(yīng)用集成 47
4.1.2 B2B集成 48
4.1.3 EAI和B2B過程協(xié)作 50
4.2 EAI和B2B過程舉例 50
4.2.1 多應(yīng)用系統(tǒng)業(yè)務(wù)過程 50
4.2.2 業(yè)務(wù)數(shù)據(jù)復(fù)制 51
4.2.3 報價請求的不完全回應(yīng) 52
4.2.4 訂單更新 52
4.3 概念、體系結(jié)構(gòu)和工具 53
4.3.1 集成的相關(guān)概念 53
4.3.2 集成的體系結(jié)構(gòu) 56
4.3.3 集成的系統(tǒng)和工具 57
4.4 未來發(fā)展 58
4.5 練習(xí) 58
4.5.1 集成狀態(tài)不一致問題的解決方案 58
4.5.2 主/從系統(tǒng)數(shù)據(jù)更新 60
4.5.3 應(yīng)用集成的擴(kuò)展 60
4.5.4 B2B過程的終止 60
4.5.5 事件的轉(zhuǎn)換 61
4.5.6 業(yè)務(wù)伙伴的擴(kuò)展 61
參考文獻(xiàn) 62
第二部分 建 模 語 言
第5章 使用UML進(jìn)行過程建模 65
5.1 引言65
5.2 使用活動圖對控制流進(jìn)行建模 66
5.2.1 基本的控制流結(jié)構(gòu) 66
5.2.2 高級概念 69
5.3 對象與對象流建模 71
5.3.1 對象類型與實(shí)例 71
5.3.2 用對象流擴(kuò)展活動 73
5.4 組織結(jié)構(gòu)建模 76
5.4.1 使用對象圖和類圖進(jìn)行組織結(jié)構(gòu)建模 76
5.4.2 在活動圖中集成組織結(jié)構(gòu) 79
5.5 對業(yè)務(wù)伙伴之間的交互進(jìn)行建模 80
5.6 系統(tǒng)特定過程建模 82
5.7 小結(jié) 85
5.8 練習(xí) 86
參考文獻(xiàn) 87
第6章 用事件驅(qū)動過程鏈進(jìn)行過程建模 89
6.1 引言 89
6.2 EPC概述 89
6.2.1 責(zé)任實(shí)體及其關(guān)系 90
6.2.2 功能流 90
6.2.3 輸出流 90
6.2.4 信息流 93
6.2.5 綜合業(yè)務(wù)過程模型 93
6.3 ARIS業(yè)務(wù)過程元模型 96
6.4 EPC建模指導(dǎo) 99
6.5 ARIS體系結(jié)構(gòu) 103
6.6 展望 105
6.7 練習(xí) 106
參考文獻(xiàn) 108
第7章 Petri網(wǎng)過程建模 110
7.1 引言 110
7.2 Petri網(wǎng) 111
7.2.1 入門案例 111
7.2.2 作為可視化語言的Petri網(wǎng) 113
7.2.3 作為數(shù)學(xué)結(jié)構(gòu)的Petri網(wǎng) 114
7.2.4 作為形式化語言的Petri網(wǎng) 115
7.2.5 Petri網(wǎng)原理 115
7.3 Petri網(wǎng)類型和行為 116
7.3.1 基本Petri網(wǎng) 116
7.3.2 高級Petri網(wǎng) 117
7.4 建模單個無資源過程 118
7.4.1 基本構(gòu)造塊 118
7.4.2 其他構(gòu)造塊 119
7.4.3 建模重復(fù)過程 121
7.5 建模帶資源過程 122
7.5.1 用基本Petri網(wǎng)建模資源 122
7.5.2 用高級Petri網(wǎng)建模過程和資源 124
7.6 行為和細(xì)化 125
7.6.1 因果網(wǎng) 125
7.6.2 細(xì)化 126
7.7 分析 127
7.7.1 仿真 127
7.7.2 模型檢測 127
7.7.3 證明 128
7.8 幾種典型的Petri網(wǎng) 129
7.8.1 狀態(tài)機(jī) 129
7.8.2 標(biāo)識圖 129
7.8.3 自由選擇網(wǎng) 130
7.8.4 工作流網(wǎng) 131
7.9 練習(xí) 132
參考文獻(xiàn) 132
第8章 過程建模模式 134
8.1 引言 134
8.2 模式分類 135
8.3 控制流模式舉例 137
8.3.1 基本控制流模式 137
8.3.2 高級分支和同步模式（Advanced Branching and
Synchronization Patterns） 139
8.3.3 結(jié)構(gòu)化模式（Structural Patterns） 142
8.3.4 多實(shí)例模式143
8.3.5 基于狀態(tài)的模式（state-based patterns） 144
8.3.6 取消模式（Cancelation Patterns） 147
8.4 小結(jié) 147
8.5 練習(xí) 148
致謝 150
參考文獻(xiàn) 150
第三部分 技術(shù)
第9章 過程設(shè)計與再設(shè)計 155
9.1 引言 155
9.2 方法學(xué)、技術(shù)和工具 156
9.3 業(yè)務(wù)過程性能指標(biāo) 157
9.3.1 時間 157
9.3.2 成本 158
9.3.3 質(zhì)量 158
9.3.4 靈活性 158
9.4 過程再設(shè)計最佳實(shí)踐 159
9.4.1 任務(wù)最佳實(shí)踐 159
9.4.2 路由最佳實(shí)踐 160
9.4.3 分配最佳實(shí)踐 161
9.4.4 資源最佳實(shí)踐 163
9.4.5 外聯(lián)最佳實(shí)踐 164
9.4.6 整體最佳實(shí)踐 166
9.5 基于信息的業(yè)務(wù)過程設(shè)計 166
9.5.1 案例：空軍測試機(jī)構(gòu) 167
9.5.2 實(shí)用性 169
9.6 總結(jié) 170
9.7 練習(xí) 170
參考文獻(xiàn) 171
第10章 過程挖掘 173
10.1 引言 173
10.2 過程挖掘概述 175
10.3 利用α算法進(jìn)行過程挖掘 178
10.3.1 輸入 178
10.3.2 α算法 179
10.3.3 α算法是如何工作的 180
10.3.4 示例 181
10.4 α算法的局限性和可能的解決方案 182
10.4.1 邏輯問題 182
10.4.2 噪聲、異常和不完備性 185
10.5 小結(jié) 186
10.6 練習(xí) 186
致謝 187
參考文獻(xiàn) 187
第11章 事務(wù)型業(yè)務(wù)過程 189
11.1 引言 189
11.2 事務(wù)一致性 189
11.2.1 ACID模型 190
11.2.2 數(shù)據(jù)庫之外的事務(wù) 191
11.2.3 數(shù)據(jù)庫事務(wù)中的原子性 192
11.3 原子性 192
11.3.1 問題描述 193
11.3.2 補(bǔ)償——Sagas 193
11.3.3 替代——半原子性 194
11.3.4 映射到工作流過程 195
11.3.5 過程建模語言的原子性 196
11.4 實(shí)現(xiàn)原子性的架構(gòu) 196
11.4.1 中間件環(huán)境下的原子性 196
11.4.2 XA接口 198
11.4.3 WS-Coordination和WS-Transaction 199
11.4.4 WS-CAF （Web Service組合應(yīng)用程序框架） 200
11.4.5 假設(shè)有效協(xié)議 201
11.4.6 電子商務(wù)中的事務(wù)型過程 201
11.5 展望 203
11.6 練習(xí) 203
致謝 204
參考文獻(xiàn) 204
第四部分 標(biāo)準(zhǔn)和工具
第12章 工作流定義和執(zhí)行的相關(guān)標(biāo)準(zhǔn) 209
12.1 引言 209
12.2 PAIS相關(guān)的標(biāo)準(zhǔn)化組織 209
12.2.1 WfMC 209
12.2.2 OMG 210
12.2.3 BPMI 210
12.2.4 OASIS 211
12.2.5 W3C 211
12.3 WFMC參考模型和WFMC術(shù)語表 212
12.3.1 WfMC術(shù)語表 212
12.3.2 WfMC參考模型 214
12.4 XPDL中的過程定義 215
12.4.1 XPDL的目標(biāo) 215
12.4.2 XPDL簡介 216
12.4.3 XPDL實(shí)踐2 24
12.5 使用WF-XML進(jìn)行過程調(diào)用 226
12.5.1 Wf-XML的宗旨 226
12.5.2 Wf-XML簡介 226
12.5.3 Wf-XML實(shí)踐 230
12.6 趨勢 231
12.7 練習(xí) 233
參考文獻(xiàn) 235
第13章 基于Web Service的業(yè)務(wù)過程執(zhí)行語言 238
13.1 Web Service簡介 238
13.1.1 WSDL的背景知識 238
13.2 BPEL4WS 239
13.2.1 抽象與可執(zhí)行過程 239
13.2.2 BPEL過程模型 240
13.3 小結(jié) 255
13.4 練習(xí) 255
參考文獻(xiàn) 258
第14章 Staffware中的工作流管理 259
14.1 引言 259
14.2 體系結(jié)構(gòu) 260
14.2.1 Staffware組件 260
14.3 開發(fā)工具集 264
14.3.1 過程定義器 264
14.3.2 集成工具 265
14.4 方法論2 67
14.4.1 十條“金科玉律” 267
14.4.2 快速應(yīng)用程序開發(fā) 269
14.4.3 參考過程框架 269
14.5 資源管理 271
14.5.1 業(yè)務(wù)方面的資源 271
14.5.2 技術(shù)方面的資源 272
14.6 小結(jié) 272
14.7 練習(xí) 272
參考文獻(xiàn) 273
第15章 FLOWer案例處理方法： 超越工作流管理 274
15.1 引言 274
15.2 案例處理以及FLOWer概述 275
15.2.1 用于控制的基本元素 275
15.2.2 隱式和顯式路由 277
15.2.3 正在被處理的工作 279
15.2.4 直接分配與間接分配 280
15.2.5 小結(jié) 281
15.3 FLOWer概念完整性 282
15.3.1 過程設(shè)計 283
15.3.2 組織設(shè)計 288
15.3.3 工作分配 288
15.3.4 工作的執(zhí)行 290
15.3.5 維護(hù) 291
15.3.6 管理信息 291
15.3.7 過程持續(xù)改進(jìn) 292
15.4 過程管理的“金科玉律” 292
15.5 小結(jié)
致謝 294
參考文獻(xiàn) 294
附錄 297
閱讀材料和相關(guān)資源 297
書目 297
相關(guān)的門戶和網(wǎng)站 298
標(biāo)準(zhǔn)組織 299
工具 300
術(shù)語表 301