UML對(duì)象、組件和框架：Catalysis方法

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