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

第一部分 概念
第1章 緒論 3
1.1 從程序和數(shù)據(jù)到過(guò)程 3
1.2 PAIS：定義與基本原理 4
1.3 技術(shù)與工具 6
1.3.1 PAIS歷史回顧 6
1.3.2 PAIS開(kāi)發(fā)工具 7
1.4 分類 8
1.4.1 面向設(shè)計(jì)與面向?qū)崿F(xiàn) 8
1.4.2 人員與應(yīng)用軟件 9
1.4.3 過(guò)程結(jié)構(gòu)與可預(yù)測(cè)性 10
1.4.4 組織內(nèi)與組織間 11
1.5 關(guān)于本書(shū) 12
1.5.1 目標(biāo)和適用讀者 12
1.5.2 內(nèi)容組織 12
參考文獻(xiàn) 14
第2章 Person-to-Application過(guò)程： 工作流管理 16
2.1 引言 16
2.2 工作流術(shù)語(yǔ)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過(guò)程： 計(jì)算機(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 問(wèn)題和誤區(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集成過(guò)程46
4.1 引言 46
4.1.1 企業(yè)應(yīng)用集成 47
4.1.2 B2B集成 48
4.1.3 EAI和B2B過(guò)程協(xié)作 50
4.2 EAI和B2B過(guò)程舉例 50
4.2.1 多應(yīng)用系統(tǒng)業(yè)務(wù)過(guò)程 50
4.2.2 業(yè)務(wù)數(shù)據(jù)復(fù)制 51
4.2.3 報(bào)價(jià)請(qǐng)求的不完全回應(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 未來(lái)發(fā)展 58
4.5 練習(xí) 58
4.5.1 集成狀態(tài)不一致問(wèn)題的解決方案 58
4.5.2 主/從系統(tǒng)數(shù)據(jù)更新 60
4.5.3 應(yīng)用集成的擴(kuò)展 60
4.5.4 B2B過(guò)程的終止 60
4.5.5 事件的轉(zhuǎn)換 61
4.5.6 業(yè)務(wù)伙伴的擴(kuò)展 61
參考文獻(xiàn) 62
第二部分 建 模 語(yǔ) 言
第5章 使用UML進(jìn)行過(guò)程建模 65
5.1 引言65
5.2 使用活動(dòng)圖對(duì)控制流進(jìn)行建模 66
5.2.1 基本的控制流結(jié)構(gòu) 66
5.2.2 高級(jí)概念 69
5.3 對(duì)象與對(duì)象流建模 71
5.3.1 對(duì)象類型與實(shí)例 71
5.3.2 用對(duì)象流擴(kuò)展活動(dòng) 73
5.4 組織結(jié)構(gòu)建模 76
5.4.1 使用對(duì)象圖和類圖進(jìn)行組織結(jié)構(gòu)建模 76
5.4.2 在活動(dòng)圖中集成組織結(jié)構(gòu) 79
5.5 對(duì)業(yè)務(wù)伙伴之間的交互進(jìn)行建模 80
5.6 系統(tǒng)特定過(guò)程建模 82
5.7 小結(jié) 85
5.8 練習(xí) 86
參考文獻(xiàn) 87
第6章 用事件驅(qū)動(dòng)過(guò)程鏈進(jìn)行過(guò)程建模 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ù)過(guò)程模型 93
6.3 ARIS業(yè)務(wù)過(guò)程元模型 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)過(guò)程建模 110
7.1 引言 110
7.2 Petri網(wǎng) 111
7.2.1 入門(mén)案例 111
7.2.2 作為可視化語(yǔ)言的Petri網(wǎng) 113
7.2.3 作為數(shù)學(xué)結(jié)構(gòu)的Petri網(wǎng) 114
7.2.4 作為形式化語(yǔ)言的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 高級(jí)Petri網(wǎng) 117
7.4 建模單個(gè)無(wú)資源過(guò)程 118
7.4.1 基本構(gòu)造塊 118
7.4.2 其他構(gòu)造塊 119
7.4.3 建模重復(fù)過(guò)程 121
7.5 建模帶資源過(guò)程 122
7.5.1 用基本Petri網(wǎng)建模資源 122
7.5.2 用高級(jí)Petri網(wǎng)建模過(guò)程和資源 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 模型檢測(cè) 127
7.7.3 證明 128
7.8 幾種典型的Petri網(wǎng) 129
7.8.1 狀態(tài)機(jī) 129
7.8.2 標(biāo)識(shí)圖 129
7.8.3 自由選擇網(wǎng) 130
7.8.4 工作流網(wǎng) 131
7.9 練習(xí) 132
參考文獻(xiàn) 132
第8章 過(guò)程建模模式 134
8.1 引言 134
8.2 模式分類 135
8.3 控制流模式舉例 137
8.3.1 基本控制流模式 137
8.3.2 高級(jí)分支和同步模式（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章 過(guò)程設(shè)計(jì)與再設(shè)計(jì) 155
9.1 引言 155
9.2 方法學(xué)、技術(shù)和工具 156
9.3 業(yè)務(wù)過(guò)程性能指標(biāo) 157
9.3.1 時(shí)間 157
9.3.2 成本 158
9.3.3 質(zhì)量 158
9.3.4 靈活性 158
9.4 過(guò)程再設(shè)計(jì)最佳實(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ù)過(guò)程設(shè)計(jì) 166
9.5.1 案例：空軍測(cè)試機(jī)構(gòu) 167
9.5.2 實(shí)用性 169
9.6 總結(jié) 170
9.7 練習(xí) 170
參考文獻(xiàn) 171
第10章 過(guò)程挖掘 173
10.1 引言 173
10.2 過(guò)程挖掘概述 175
10.3 利用α算法進(jìn)行過(guò)程挖掘 178
10.3.1 輸入 178
10.3.2 α算法 179
10.3.3 α算法是如何工作的 180
10.3.4 示例 181
10.4 α算法的局限性和可能的解決方案 182
10.4.1 邏輯問(wèn)題 182
10.4.2 噪聲、異常和不完備性 185
10.5 小結(jié) 186
10.6 練習(xí) 186
致謝 187
參考文獻(xiàn) 187
第11章 事務(wù)型業(yè)務(wù)過(guò)程 189
11.1 引言 189
11.2 事務(wù)一致性 189
11.2.1 ACID模型 190
11.2.2 數(shù)據(jù)庫(kù)之外的事務(wù) 191
11.2.3 數(shù)據(jù)庫(kù)事務(wù)中的原子性 192
11.3 原子性 192
11.3.1 問(wèn)題描述 193
11.3.2 補(bǔ)償——Sagas 193
11.3.3 替代——半原子性 194
11.3.4 映射到工作流過(guò)程 195
11.3.5 過(guò)程建模語(yǔ)言的原子性 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ù)型過(guò)程 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ù)語(yǔ)表 212
12.3.1 WfMC術(shù)語(yǔ)表 212
12.3.2 WfMC參考模型 214
12.4 XPDL中的過(guò)程定義 215
12.4.1 XPDL的目標(biāo) 215
12.4.2 XPDL簡(jiǎn)介 216
12.4.3 XPDL實(shí)踐2 24
12.5 使用WF-XML進(jìn)行過(guò)程調(diào)用 226
12.5.1 Wf-XML的宗旨 226
12.5.2 Wf-XML簡(jiǎn)介 226
12.5.3 Wf-XML實(shí)踐 230
12.6 趨勢(shì) 231
12.7 練習(xí) 233
參考文獻(xiàn) 235
第13章 基于Web Service的業(yè)務(wù)過(guò)程執(zhí)行語(yǔ)言 238
13.1 Web Service簡(jiǎn)介 238
13.1.1 WSDL的背景知識(shí) 238
13.2 BPEL4WS 239
13.2.1 抽象與可執(zhí)行過(guò)程 239
13.2.2 BPEL過(guò)程模型 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 開(kāi)發(fā)工具集 264
14.3.1 過(guò)程定義器 264
14.3.2 集成工具 265
14.4 方法論2 67
14.4.1 十條“金科玉律” 267
14.4.2 快速應(yīng)用程序開(kāi)發(fā) 269
14.4.3 參考過(guò)程框架 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 過(guò)程設(shè)計(jì) 283
15.3.2 組織設(shè)計(jì) 288
15.3.3 工作分配 288
15.3.4 工作的執(zhí)行 290
15.3.5 維護(hù) 291
15.3.6 管理信息 291
15.3.7 過(guò)程持續(xù)改進(jìn) 292
15.4 過(guò)程管理的“金科玉律” 292
15.5 小結(jié)
致謝 294
參考文獻(xiàn) 294
附錄 297
閱讀材料和相關(guān)資源 297
書(shū)目 297
相關(guān)的門(mén)戶和網(wǎng)站 298
標(biāo)準(zhǔn)組織 299
工具 300
術(shù)語(yǔ)表 301