過程感知的信息系統

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