用UML設(shè)計并發(fā)、分布式、實時應(yīng)用

第一篇 UML表示方法、設(shè)計概念、技術(shù)、生命周期和方法
     第1章 導(dǎo)言3
     1.1 面向?qū)ο蠓椒ê徒y(tǒng)一建模語言UML4
     1.2 方法和表示法5
     1.3 并發(fā)應(yīng)用5
     1.4 實時系統(tǒng)和應(yīng)用7
     1.5 分布式系統(tǒng)和應(yīng)用8
     1.6 小結(jié)9
    
     第2章 UML表示法概述10
     2.1 UML圖10
     2.2 用例圖11
     2.3 類和對象的UML表示法11
     2.4 類圖12
     2.5 交互圖13
     2.6 狀態(tài)圖15
     2.7 包16
     2.8 并發(fā)協(xié)作圖17
     2.9 部署圖18
     2.10 UML的擴展機制19
     2.11 UML的標準化20
     2.12 小結(jié)20
    
     第3章 軟件設(shè)計和體系結(jié)構(gòu)的概念22
     3.1 面向?qū)ο蟮母拍?2
     3.2 信息隱藏24
     3.3 繼承29
     3.4 主動對象和被動對象30
     3.5 并發(fā)處理31
     3.6 并發(fā)任務(wù)間的協(xié)作33
     3.7 訪問同步化中的信息隱藏41
     3.8 管程42
     3.9 設(shè)計定式44
     3.10 軟件體系結(jié)構(gòu)和基于構(gòu)件的系統(tǒng)45
     3.11 小結(jié)46
    
     第4章 并發(fā)和分布式系統(tǒng)技術(shù)47
     4.1 并發(fā)處理環(huán)境47
     4.2 對于多道程序設(shè)計和多處理環(huán)境的運行時支持49
     4.3 任務(wù)調(diào)度52
     4.4 操作系統(tǒng)輸入/輸出考慮54
     4.5 客戶端/服務(wù)器和分布式系統(tǒng)技術(shù)56
     4.6 萬維網(wǎng)技術(shù)60
     4.7 分布式操作系統(tǒng)的服務(wù)62
     4.8 中間件65
     4.9 通用對象請求代理體系結(jié)構(gòu)——CORBA68
     4.10 其他構(gòu)件技術(shù)71
     4.11 事務(wù)處理系統(tǒng)72
     4.12 小結(jié)74
    
     第5章 軟件生命周期和方法75
     5.1 軟件生命周期方法75
     5.2 設(shè)計的驗證和確認82
     5.3 軟件測試83
     5.4 軟件設(shè)計方法的演進84
     5.5 面向?qū)ο蠓治龊驮O(shè)計方法的演進86
     5.6 并發(fā)和實時設(shè)計方法調(diào)查87
     5.7 小結(jié)88
    
    
     第二篇 COMET:用UML的并發(fā)對象建模和體系結(jié)構(gòu)設(shè)計
     第6章 COMET概述91
     6.1 COMET面向?qū)ο筌浖芷?1
     6.2 對比COMET生命周期和其他軟件過程94
     6.3 需求、分析和設(shè)計模型94
     6.4 簡述COMET96
     6.5 小結(jié)98
    
     第7章 用例建模99
     7.1 用例99
     7.2 行為者100
     7.3 行為者、角色和用戶102
     7.4 標識用例102
     7.5 寫出用例模型中的用例文檔104
     7.6 用例的例子104
     7.7 用例關(guān)系108
     7.8 用例包110
     7.9 小結(jié)111
    
     第8章 靜態(tài)建模112
     8.1 類之間的關(guān)聯(lián)112
     8.2 組合和聚集層次結(jié)構(gòu)118
     8.3 泛化/特化層次結(jié)構(gòu)119
     8.4 約束121
     8.5 靜態(tài)建模和UML122
     8.6 系統(tǒng)上下文環(huán)境的靜態(tài)建模123
     8.7 實體類的靜態(tài)建模126
     8.8 小結(jié)127
    
     第9章 構(gòu)造對象和類128
     9.1 對象構(gòu)造準則128
     9.2 應(yīng)用類的歸類129
     9.3 對象構(gòu)造分類129
     9.4 外部類和接口類131
     9.5 接口對象132
     9.6 實體對象137
     9.7 控制對象139
     9.8 應(yīng)用程序邏輯對象141
     9.9 子系統(tǒng)143
     9.10 小結(jié)145
    
     第10章 有限狀態(tài)機和狀態(tài)圖146
     10.1 有限狀態(tài)機146
     10.2 事件和狀態(tài)147
     10.3 有限狀態(tài)機和對象148
     10.4 狀態(tài)圖示例148
     10.5 事件和條件152
     10.6 動作154
     10.7 為系統(tǒng)的不同方面建模161
     10.8 層級狀態(tài)圖161
     10.9 并發(fā)狀態(tài)圖164
     10.10 開發(fā)狀態(tài)圖的方針165
     10.11 從用例開發(fā)狀態(tài)圖166
     10.12 從用例開發(fā)狀態(tài)圖的示例167
     10.13 小結(jié)174
    
     第11章 動態(tài)建模175
     11.1 對象交互建模175
     11.2 交互圖上的消息標記179
     11.3 動態(tài)分析182
     11.4 非狀態(tài)依賴的動態(tài)分析182
     11.5 非狀態(tài)依賴動態(tài)分析的例子183
     11.6 狀態(tài)依賴動態(tài)分析184
     11.7 狀態(tài)依賴動態(tài)分析的例子：銀行系統(tǒng)187
     11.8 狀態(tài)依賴動態(tài)分析的例子：巡航控制系統(tǒng)195
     11.9 小結(jié)205
    
     第12章 軟件體系結(jié)構(gòu)設(shè)計206
     12.1 軟件體系結(jié)構(gòu)樣式206
     12.2 系統(tǒng)分解?侍?211
     12.3 確定子系統(tǒng)的方針211
     12.4 綜合協(xié)作圖212
     12.5 子系統(tǒng)軟件體系結(jié)構(gòu)214
     12.6 子系統(tǒng)設(shè)計中關(guān)注的分離215
     12.7 子系統(tǒng)構(gòu)造準則216
     12.8 子系統(tǒng)分解的例子220
     12.9 設(shè)計層的靜態(tài)建模220
     12.10 小結(jié)224
    
     第13章 分布式應(yīng)用的體系結(jié)構(gòu)設(shè)計225
     13.1 可配置體系結(jié)構(gòu)和軟件構(gòu)件226
     13.2 設(shè)計分布式應(yīng)用的步驟226
     13.3 系統(tǒng)分解227
     13.4 設(shè)計子系統(tǒng)接口232
     13.5 事務(wù)管理239
     13.6 服務(wù)器子系統(tǒng)的設(shè)計242
     13.7 數(shù)據(jù)的分布246
     13.8 系統(tǒng)配置247
     13.9 小結(jié)249
    
     第14章 任務(wù)構(gòu)建250
     14.1 并發(fā)任務(wù)構(gòu)建綜述251
     14.2 任務(wù)構(gòu)建分類251
     14.3 I/O任務(wù)構(gòu)建準則252
     14.4 內(nèi)部任務(wù)構(gòu)建準則259
     14.5 任務(wù)優(yōu)先級準則265
     14.6 任務(wù)群集準則266
     14.7 使用任務(wù)倒置重構(gòu)設(shè)計276
     14.8 開發(fā)任務(wù)體系結(jié)構(gòu)281
     14.9 任務(wù)通信和同步284
     14.10 任務(wù)行為規(guī)范292
     14.11 小結(jié)295
    
     第15章 類的設(shè)計296
     15.1 設(shè)計信息隱藏類296
     15.2 設(shè)計類的操作297
     15.3 數(shù)據(jù)抽象類300
     15.4 設(shè)備接口類302
     15.5 狀態(tài)依賴類305
     15.6 算法隱藏類308
     15.7 用戶接口類309
     15.8 業(yè)務(wù)邏輯類309
     15.9 數(shù)據(jù)庫包裝類312
     15.10 軟件決策類313
     15.11 設(shè)計中的繼承313
     15.12 繼承的例子315
     15.13 類接口規(guī)范320
     15.14 小結(jié)322
    
     第16章 詳細軟件設(shè)計323
     16.1 復(fù)合任務(wù)的設(shè)計323
     16.2 類訪問的同步化330
     16.3 設(shè)計任務(wù)間通信的連接器338
     16.4 任務(wù)事件的順序邏輯343
     16.5 小結(jié)344
    
     第17章 并發(fā)實時軟件設(shè)計的性能分析345
     17.1 實時調(diào)度理論345
     17.2 高級實時調(diào)度理論352
     17.3 用事件順序分析作性能分析356
     17.4 用實時調(diào)度理論和事件順序分析作性能分析356
     17.5 用事件順序分析作性能分析的例子357
     17.6 用實時調(diào)度理論作性能分析的例子360
     17.7 用實時調(diào)度理論和事件順序分析作性能分析的例子362
     17.8 設(shè)計重構(gòu)368
     17.9 性能參數(shù)的評估和度量369
     17.10 小結(jié)370
    
     第三篇 并發(fā)、分布和實時應(yīng)用設(shè)計的實例研究第18章電梯控制系統(tǒng)實例研究373
     18.1 問題描述373
     18.2 用例模型374
     18.3 問題域靜態(tài)模型378
     18.4 對象構(gòu)建380
     18.5 動態(tài)模型380
     18.6 狀態(tài)圖模型388
     18.7 協(xié)作圖的聯(lián)合392
     18.8 子系統(tǒng)構(gòu)建394
     18.9 把系統(tǒng)構(gòu)建為任務(wù)398
     18.10 分布式電梯控制系統(tǒng)的設(shè)計406
     18.11 信息隱藏類的設(shè)計416
     18.12 開發(fā)軟件詳細設(shè)計418
     18.13 目標系統(tǒng)的配置421
     18.14 非分布式電梯控制系統(tǒng)的性能分析422
     18.15 分布式電梯控制系統(tǒng)性能分析430
    
     第19章 銀行系統(tǒng)實例研究440
     19.1 問題描述440
     19.2 用例模型441
     19.3 靜態(tài)建模444
     19.4 對象分析449
     19.5 動態(tài)建模454
     19.6 ATM狀態(tài)圖465
     19.7 銀行系統(tǒng)的設(shè)計470
     19.8 整合協(xié)作模型470
     19.9 把系統(tǒng)構(gòu)建為子系統(tǒng)474
     19.10 設(shè)計ATM客戶端子系統(tǒng)475
     19.11 Bank Server Subsystem的設(shè)計483
     19.12 銀行系統(tǒng)的配置490
     19.13 另外一種設(shè)計思路490
     19.14 任務(wù)行為規(guī)范490
    
     第20章 巡航控制和監(jiān)視系統(tǒng)實例研究496
     20.1 問題描述496
     20.2 用例模型498
     20.3 用例描述502
     20.4 問題域靜態(tài)建模504
     20.5 動態(tài)建模506
     20.6 子系統(tǒng)構(gòu)建520
     20.7 靜態(tài)建模求精528
     20.8 把系統(tǒng)構(gòu)建為任務(wù)530
     20.9 信息隱藏類的設(shè)計552
     20.10 開發(fā)軟件詳細設(shè)計559
     20.11 分布式汽車系統(tǒng)的軟件體系結(jié)構(gòu)565
    
     第21章 分布式工廠自動化系統(tǒng)實例研究567
     21.1 問題描述567
     21.2 用例模型569
     21.3 問題域的概念靜態(tài)模型571
     21.4 對象構(gòu)建574
     21.5 動態(tài)模型575
     21.6 子系統(tǒng)構(gòu)建589
     21.7 分布式軟件體系結(jié)構(gòu)595
     21.8 系統(tǒng)配置600
    
     第22章 電子商務(wù)系統(tǒng)實例研究602
     22.1 電子商務(wù)問題602
     22.2 用例模型603
     22.3 代理對電子商務(wù)系統(tǒng)的支持604
     22.4 對象中介對電子商務(wù)系統(tǒng)的支持605
     22.5 問題域靜態(tài)建模606
     22.6 協(xié)作模型608
     22.7 分布式軟件體系結(jié)構(gòu)616
     附錄約定的和替換的表示法623
     1本書采用的約定 623
     2衍類型的替換表示法625
     3主動對象的替換表示法625