第Ⅰ部分概述
第1章 Catalysis指南 3
1.1 對象和動作 3
1.2 細化:不同規(guī)模的對象和動作 5
1.3 開發(fā)的層次 9
1.4 業(yè)務建模 9
1.5 作為模板的模型框架 11
1.6 軟件的放大:系統(tǒng)上下文 12
1.7 需求規(guī)范模型 14
1.8 組件 16
1.9 分配職責 21
1.10 面向對象的設計 25
1.11 開發(fā)過程 26
1.12 3個構成部分與框架 27
1.13 建模的3個層次 29
1.14 3個原則 30
1.15 小結 32
第Ⅱ部分對 象 建 模
第2章 靜態(tài)模型:對象的屬性和不變式 37
2.1 什么是靜態(tài)模型 37
2.2 對象狀態(tài):對象和屬性 40
2.3 對象狀態(tài)實現(xiàn) 44
2.4 為對象狀態(tài)建模:類型. 屬性和關聯(lián) 46
2.5 靜態(tài)不變式 54
2.6 詞典 60
2.7 業(yè)務模型和組件模型 62
2.8 小結 63
第3章 行為模型:對象的類型和操作 64
3.1 對象行為:對象和動作 64
3.2 更精確的動作規(guī)范 70
3.3 日歷的兩種Java實現(xiàn) 74
3.4 日歷的類型規(guī)范 79
3.5 動作與不變式 84
3.6 解釋動作規(guī)范 89
3.7 子類型和類型擴展 93
3.8 細分動作規(guī)范 97
3.9 狀態(tài)圖 103
3.10 動作的輸出 110
3.11 主體化模型:包含的含義 113
3.12 類型規(guī)范:小結 114
3.13 程序設計語言:類和類型 117
第4章 交互模型:用例. 動作和協(xié)作 125
4.1 設計對象間的協(xié)作 125
4.2 用動作(用例)抽象復雜的交互 126
4.3 用例是聯(lián)合動作 134
4.4 動作和效果 137
4.5 并發(fā)動作 137
4.6 協(xié)作 140
4.7 協(xié)作的使用 142
4.8 協(xié)作規(guī)范 146
4.9 協(xié)作:小結149
第5章 有效文檔 151
5.1 目的 151
5.2 歸檔簡單. 有趣, 而且加快了設計 152
5.3 接近文檔的讀者 156
5.4 主要文檔:規(guī)范和實現(xiàn) 158
5.5 編制業(yè)務模型文檔 160
5.6 編制組件規(guī)范文檔 164
5.7 編制組件實現(xiàn)文檔 166
5.8 小結 168
第Ⅲ部分 分解模型和設計
第6章抽象. 細化和測試 173
6.1 放大和縮小:為什么要抽象和細化 173
6.2 編制細化和一致性文檔 186
6.3 電子表格:一個細化的例子 189
6.4 電子表格:模型細化 193
6.5 電子表格:動作細化 200
6.6 電子表格:對象細化 206
6.7 電子表格:操作細化 214
6.8 狀態(tài)圖的細化 218
6.9 小結 220
6.10 細化的處理模式 221
模式6.1面向對象的黃金規(guī)則(無縫或連續(xù)性) 221
模式6.2黃金規(guī)則與其他優(yōu)化規(guī)則 223
模式6.3正交的抽象和細化 224
模式6.4細化是關系,不是序列 225
模式6.5遞歸細化 227
第7章使用包 228
7.1 什么是包 228
7.2 包的導入 233
7.3 如何使用包和導入 238
7.4 用包解耦 242
7.5 嵌套的包 246
7.6 包的封裝 247
7.7 多重導入和名稱沖突 249
7.8 發(fā)布,版本控制和建立 252
7.9 編程語言包 253
7.10 小結 254
第8章組建模型和規(guī)范 256
8.1 銜接片段 256
8.2 聯(lián)接與子類型 257
8.3 組合包和包的定義 258
8.4 動作異常與組合規(guī)范 264
8.5 小結 269
第9章模型框架和模板包 270
9.1 模型框架綜述 270
9.2 類型和屬性的模型框架 272
9.3 協(xié)作框架 276
9.4 細化框架 281
9.5 框架組合 284
9.6 屬性包裝模板 286
9.7 等價模板和復制模板 292
9.8 包語義 295
9.9 模板基礎 298
9.10 模型框架概念總結 302
第Ⅳ部分組 裝 實 現(xiàn)
第10章 組件與連接器 307
10.1 基于組件的開發(fā)綜述 307
10.2 組件的發(fā)展 313
10.3 用Java建立組件 318
10.4 COM+組件 320
10.5 CORBA組件 322
10.6 組件包:可插式組件庫 323
10.7 組件構架 326
10.8 定義Cat One——一種組件構架 330
10.9 規(guī)范Cat One組件 336
10.10 連接Cat One組件 339
10.11 異構組件 342
模式10.1提取通用的代碼組件 354
模式10.2組件件管理 355
模式10.3通過框架建立模型 356
模式10.4插頭一致性 357
模式10.5使用傳統(tǒng)組件或者第三方組件 357
10.12 小結 358
第11章 用代碼表示的重用和可插式設計框架 360
11.1重用和開發(fā)過程 360
11.2通用組件和插入點 363
11.3代碼重用的框架方法 366
11.4框架:代碼規(guī)范 370
11.5基本插入技術 374
11.6小結 379
模式11.1角色委派 379
模式11.2可插式角色 380
第12章構架382
12.1 何謂構架 382
12.2 為什么架構 385
12.3 通過各種場景評估構架 388
12.4 在已定義的元素上創(chuàng)建構架 389
12.5 構架使用恒定模式 390
12.6 應用與技術構架 392
12.7 典型的四層業(yè)務構架 393
12.8 用戶接口 394
12.9 對象和數(shù)據(jù)庫 396
12.10 小結 397
第13章 過程概述 401
13.1 遞歸建模. 設計. 實現(xiàn)和測試 401
13.2 過程中的一般注釋 404
13.3 典型的項目演變 411
13.4 典型的包結構 415
13.5 主要過程模式 417
模式13.1 從頭開始的對象開發(fā) 419
模式13.2 二次工程 420
模式13.3 短周期開發(fā)422
模式13.4 并行工作423
第14章 如何建立一個業(yè)務模型 425
14.1 業(yè)務建模過程模式 425
模式14.1業(yè)務過程增強 425
模式14.2建立業(yè)務模型 427
模式14.3表達業(yè)務詞匯和規(guī)則 430
模式14.4包括業(yè)務專家 430
模式14.5創(chuàng)建一個通用的業(yè)務模型 431
模式14.6選擇抽象級別 432
14.2 建模模式 433
模式14.7 類型模型是一個術語表 433
模式14.8 概念的分離:正規(guī)化 434
模式14.9 項和描述符 435
模式14.10 通用化和規(guī)范化 436
模式14.11 遞歸合成 437
模式14.12 來自關聯(lián)循環(huán)的不變式 438
14.3 錄像帶案例研究:抽象業(yè)務模型 439
14.4 錄像帶業(yè)務:用例細化 444
模式14.13 動作具體化447
第15章 如何規(guī)范組件 449
15.1 規(guī)范組件的模式 449
模式15.1 規(guī)范組件 449
模式15.2 橋接需求和規(guī)范 450
模式15.3 基于用例的系統(tǒng)規(guī)范 451
模式15.4 遞歸分解:分割與克服 452
模式15.5 用用例建立上下文模型 453
模式15.6 故事板 456
模式15.7 構造系統(tǒng)的行為規(guī)范 457
模式15.8 規(guī)范系統(tǒng)動作 460
模式15.9 在系統(tǒng)類型模型中使用狀態(tài)圖 462
模式15.10 規(guī)范組件視圖 464
模式15.11 組合組件視圖 465
模式15.12 避免奇跡, 細化規(guī)范 466
模式15.13 為客戶解釋模型 467
15.2 錄像帶案例研究:系統(tǒng)規(guī)范 468
15.3 系統(tǒng)上下文圖 474
15.4 系統(tǒng)規(guī)范 476
15.5 使用模型框架 483
第16章 如何實現(xiàn)組件 486
16.1 符合規(guī)范的設計 486
模式16.1 解耦 486
模式16.2 高級組件設計 487
模式16.3 具體化主要的并發(fā)用例 488
模式16.4 分離虛包 489
模式16.5 平臺獨立性 491
模式16.6 從業(yè)務組件中分離出中間件 492
模式16.7 實現(xiàn)技術構架 493
模式16.8 基本設計 494
模式16.9 基本設計后的通用化 498
模式16.10 協(xié)作和責任 499
模式16.11 鏈接和屬性所有權 501
模式16.12 對象位置和鏈接實現(xiàn) 502
模式16.13 優(yōu)化 503
16.2 具體的設計模式 504
模式16.14 雙向鏈接 504
模式16.15 角色解耦 505
模式16.16 工廠 506
模式16.17 觀察者 507
模式16.18 插入點和插件程序 508
16.3錄像帶案例研究:基于組件的設計 510
附錄A 對象約束語言 518
附錄B UML概覽 526
附錄C Catalysis支持工具. 服務和經驗 531
附注 532
術語表 539
參考文獻 545