過程感知的信息系統

《過程感知的信息系統（國外經典教材·計算機科學與技術）》全面講述了過程感知的信息系統（PAIS系統）相關理論、技術和工程體系。

基本介紹

• 書名：過程感知的信息系統
• 作者：(愛沙尼亞)Marlon Dumas, (荷蘭)Wil van der Aalst, (美國)ArthurH.M.terHofstede
• 譯者：王建民
• ISBN： 9787302193364
• 定價：42.00 元
• 出版社：清華大學出版社
• 出版時間：2009
• 開本：16

內容簡介

全書共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(WebEx?TM通信公司）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

……