版權資訊
書 名: 過程感知的信息系統
出版社： 清華大學出版社
出版時間： 2009
ISBN: 9787302193364
開本： 16
定價: 42.00 元
內容簡介
《過程感知的信息系統（國外經典教材·計算機科學與技術）》全面講述了過程感知的信息系統（PAIS系統）相關理論、技術和工程體系。全書共15章，分為四個部分。第Ⅰ部分闡述了PAIS系統基本概念，深入討論了人與套用（P2A）、人與人（P2P）、套用與套用（A2A）等三類PAIS系統。第Ⅱ部分介紹了過程建模語言，包括統一建模語言（UML）、擴展的事件驅動過程鏈（eEPC）和形式化過程建模語言（PetriNet），並且介紹了用於評價不同語言能力及其特性的過程模式。第Ⅲ部分介紹了PAIS系統實施與開發技術，包括過程設計與再造、過程挖掘和事務型過程管理等技術。第Ⅳ部分介紹了PAIS系統標準和工具，包括工作流管理聯盟標準、可執行業務過程語言（WS-bpel）、緊架構P2A系統Staffware和松架構P2A系統FLOWer。《過程感知的信息系統（國外經典教材·計算機科學與技術）》可以作為信息系統或軟體工程專業研究生或高年級本科生教材，也可以作為相關研究人員和工程開發者的參考書。
目錄
第一部分概念
第1章緒論3
1.1從程式和數據到過程3
1.2PAIS:定義與基本原理4
1.3技術與工具6
1.3.1PAIS歷史回顧6
1.3.2PAIS開發工具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.2WfMC參考模型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規範化的互動31
3.2.4協同技術的內涵31
3.2.5問題和誤區32
3.3人與人系統的特點33
3.3.1CSCW33
3.3.2定義34
3.3.3例子34
3.3.4P2P系統特性35
3.4P2P系統實例37
3.4.1CoWord（格里菲斯大學，澳大利亞）38
3.4.2WebExMeetingCenter(WebExTM通信公司）38
3.4.3IPMM（香港理工大學，香港）38
3.4.4LeadLine（微軟公司）39
3.4.5Caramba(Caramba實驗室軟體股份公司）40
3.5小結42
3.6練習42
參考文獻44
第4章企業套用集成（EAI）和B2B集成過程46
4.1引言46
4.1.1企業套用集成47
4.1.2B2B集成48
4.1.3EAI和B2B過程協作50
4.2EAI和B2B過程舉例50
4.2.1多套用系統業務過程50
4.2.2業務數據複製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未來發展58
4.5練習58
4.5.1集成狀態不一致問題的解決方案58
4.5.2主/從系統數據更新60
4.5.3套用集成的擴展60
4.5.4B2B過程的終止60
4.5.5事件的轉換61
4.5.6業務夥伴的擴展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對業務夥伴之間的互動進行建模80
5.6系統特定過程建模82
5.7小結85
5.8練習86
參考文獻87
第6章用事件驅動過程鏈進行過程建模89
6.1引言89
6.2EPC概述89
6.2.1責任實體及其關係90
6.2.2功能流90
6.2.3輸出流90
6.2.4信息流93
6.2.5綜合業務過程模型93
6.3ARIS業務過程元模型96
6.4EPC建模指導99
6.5ARIS體系結構103
6.6展望105
6.7練習106
參考文獻108
第7章Petri網過程建模110
7.1引言110
7.2Petri網111
7.2.1入門案例111
7.2.2作為可視化語言的Petri網113
7.2.3作為數學結構的Petri網114
7.2.4作為形式化語言的Petri網115
7.2.5Petri網原理115
7.3Petri網類型和行為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狀態機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高級分支和同步模式（AdvancedBranchingand
SynchronizationPatterns)139
8.3.3結構化模式（StructuralPatterns)142
8.3.4多實例模式143
8.3.5基於狀態的模式（state-basedpatterns)144
8.3.6取消模式（CancelationPatterns)147
8.4小結147
8.5練習148
致謝150
參考文獻150
第三部分技術
第9章過程設計與再設計155
9.1引言155
9.2方法學、技術和工具156
9.3業務過程性能指標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基於信息的業務過程設計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章事務型業務過程189
11.1引言189
11.2事務一致性189
11.2.1ACID模型190
11.2.2資料庫之外的事務191
11.2.3資料庫事務中的原子性192
11.3原子性192
11.3.1問題描述193
11.3.2補償——Sagas193
11.3.3替代——半原子性194
11.3.4映射到工作流過程195
11.3.5過程建模語言的原子性196
11.4實現原子性的架構196
11.4.1中間件環境下的原子性196
11.4.2XA接口198
11.4.3WS-Coordination和WS-Transaction199
11.4.4WS-CAF(WebService組合應用程式框架）200
11.4.5假設有效協定201
11.4.6電子商務中的事務型過程201
11.5展望203
11.6練習203
致謝204
參考文獻204
第四部分標準和工具
第12章工作流定義和執行的相關標準209
12.1引言209
12.2PAIS相關的標準化組織209
12.2.1WfMC209
12.2.2OMG210
12.2.3BPMI210
12.2.4OASIS211
12.2.5W3C211
12.3WFMC參考模型和WFMC術語表212
12.3.1WfMC術語表212
12.3.2WfMC參考模型214
12.4XPDL中的過程定義215
12.4.1XPDL的目標215
12.4.2XPDL簡介216
12.4.3XPDL實踐224
12.5使用WF-XML進行過程調用226
12.5.1Wf-XML的宗旨226
12.5.2Wf-XML簡介226
12.5.3Wf-XML實踐230
12.6趨勢231
12.7練習233
參考文獻235
第13章基於WebService的業務過程執行語言238
13.1WebService簡介238
13.1.1WSDL的背景知識238
13.2BPEL4WS239
13.2.1抽象與可執行過程239
13.2.2BPEL過程模型240
13.3小結255
13.4練習255
參考文獻258
第14章Staffware中的工作流管理259
14.1引言259
14.2體系結構260
14.2.1Staffware組件260
14.3開發工具集264
14.3.1過程定義器264
14.3.2集成工具265
14.4方法論267
14.4.1十條“金科玉律”267
14.4.2快速應用程式開發269
14.4.3參考過程框架269
14.5資源管理271
14.5.1業務方面的資源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.3FLOWer概念完整性282
15.3.1過程設計283
15.3.2組織設計288
15.3.3工作分配288
15.3.4工作的執行290
15.3.5維護291
15.3.6管理信息291
15.3.7過程持續改進292
15.4過程管理的“金科玉律”292
15.5小結
致謝294
參考文獻294
附錄297
閱讀材料和相關資源297
書目297
相關的門戶和網站298
標準組織299
工具300
術語表301
……
