軟件體系結(jié)構(gòu)設(shè)計(jì)

第一篇基礎(chǔ)篇： 軟件體系結(jié)構(gòu)的理論
第1章緒論1.1軟件體系結(jié)構(gòu)的概念演化
1.1.1軟件體系結(jié)構(gòu)的定義
1.1.2軟件體系結(jié)構(gòu)的理論基礎(chǔ)
1.2軟件體系結(jié)構(gòu)形式化方法概述
1.2.1基于CHAM的體系結(jié)構(gòu)形式規(guī)約
1.2.2基于Z語言的體系結(jié)構(gòu)形式規(guī)約
1.2.3基于一階邏輯的體系結(jié)構(gòu)形式規(guī)約
1.2.4基于圖論的體系結(jié)構(gòu)形式規(guī)約
1.2.5目前形式化方法存在的問題
1.3軟件體系結(jié)構(gòu)描述語言概述
1.4軟件質(zhì)量與質(zhì)量模型
思考題
第2章軟件建模的基礎(chǔ)
2.1一個(gè)簡單例子
2.2面向?qū)ο筇匦?br />2.2.1封裝性
2.2.2繼承性
2.2.3多態(tài)性
2.3接口
2.4設(shè)計(jì)原則
2.4.1SRP單一職責(zé)原則
2.4.2OCP開閉原則
2.4.3LSP里氏替換原則
2.4.4ISP接口分離原則
2.4.5DIP依賴倒置原則
2.5UML2的各種圖
2.6需求建模： 用例
2.6.1一個(gè)用例圖例子
2.6.2用例與參與者
2.6.3用例圖
2.6.4用例間關(guān)系
2.6.5用例對需求建模
2.7基本結(jié)構(gòu)建模
2.7.1一個(gè)類圖例子
2.7.2性質(zhì)
2.7.3對象圖
2.7.4操作
2.7.5接口
2.7.6關(guān)系
2.7.7關(guān)系建模
2.7.8類圖
2.8高級結(jié)構(gòu)建模
2.8.1公共擴(kuò)展機(jī)制
2.8.2包和包圖
2.8.3復(fù)合結(jié)構(gòu)
2.8.4模板
2.9Kruchten 4+1模型描述軟件體系結(jié)構(gòu)
2.9.1邏輯視圖： 面向?qū)ο蟮姆纸?br />2.9.2過程視圖： 過程分解
2.9.3開發(fā)視圖： 子系統(tǒng)分解
2.9.4物理視圖： 從軟件到硬件的映射
2.9.5場景視圖： 匯總
2.9.6視圖間的交流
2.9.7模型的迭代過程和軟件文檔
思考題
第3章軟件體系結(jié)構(gòu)的形式化
3.1軟件的生命周期
3.2基于抽象代數(shù)的形式化方法
3.2.1構(gòu)件
3.2.2連接件
3.2.3軟件體系結(jié)構(gòu)
3.2.4軟件體系結(jié)構(gòu)關(guān)系
3.2.5軟件體系結(jié)構(gòu)范式
3.3基于粒度計(jì)算的形式化方法
3.3.1軟件體系結(jié)構(gòu)演化
3.3.2屬性合成和跟蹤
3.3.3軟件體系結(jié)構(gòu)多視圖表達(dá)及集成
3.3.4軟件體系結(jié)構(gòu)風(fēng)格和軟件體系結(jié)構(gòu)風(fēng)格發(fā)現(xiàn)
3.4*基于π演算的形式化方法
3.4.1π演算基本語法
3.4.2π演算約簡關(guān)系
3.4.3π演算遷移關(guān)系
3.5*動(dòng)態(tài)軟件體系結(jié)構(gòu)的形式化描述： 化學(xué)抽象機(jī)
3.5.1化學(xué)抽象機(jī)模型
3.5.2軟件體系結(jié)構(gòu)描述
思考題
第4章軟件體系結(jié)構(gòu)的風(fēng)格
4.1管道和過濾器風(fēng)格
4.2倉庫風(fēng)格和黑板風(fēng)格
4.3事件驅(qū)動(dòng)風(fēng)格
4.4客戶機(jī)分配器服務(wù)器風(fēng)格
4.5分層系統(tǒng)風(fēng)格
4.6解釋器
4.7面向服務(wù)的體系結(jié)構(gòu)
4.7.1面向服務(wù)體系結(jié)構(gòu)中的組成元素
4.7.2面向服務(wù)體系結(jié)構(gòu)的設(shè)計(jì)原則
4.8過程控制環(huán)路模式
思考題
第5章體系結(jié)構(gòu)描述語言
5.1典型ADL
5.1.1C2概述
5.1.2Darwin與Wright概述
5.1.3ACME概述
5.1.4UniCon概述
5.1.5Aesop概述
5.1.6Rapide概述
5.1.7MetaH
5.1.8SADL概述
5.2πADL的概述
5.2.1πADL體系結(jié)構(gòu)描述框架
5.2.2πADL體系結(jié)構(gòu)風(fēng)格描述方法
5.3πADL體系結(jié)構(gòu)行為規(guī)約
思考題
第6章軟件質(zhì)量建模方法
6.1軟件質(zhì)量建模與分析
6.1.1風(fēng)險(xiǎn)分析的基本概念
6.1.2風(fēng)險(xiǎn)分析的基本方法
6.1.3圖形化建模語言
6.2實(shí)證分析： 軟件體系結(jié)構(gòu)的質(zhì)量
6.2.1地面智能機(jī)器人的軟件系統(tǒng)
6.2.2解決方案1： 過程控制環(huán)路模式
6.2.3解決方案2： 分層架構(gòu)模式
6.2.4解決方案3： 基于事件驅(qū)動(dòng)的隱式調(diào)用模式
6.2.5解決方案4： 黑板體系模式
6.2.6解決方案比較
思考題
第7章設(shè)計(jì)模式
7.1設(shè)計(jì)模式概述
7.2設(shè)計(jì)模式的分類
7.3創(chuàng)建型的設(shè)計(jì)模式
7.3.1Factory
7.3.2Prototype
7.3.3Builder
7.3.4Singleton
7.3.5Adapter
思考題
第8章戰(zhàn)場環(huán)境中自適應(yīng)服務(wù)的軟件組合框架
8.1服務(wù)的描述與特征
8.1.1服務(wù)模型
8.1.2服務(wù)事務(wù)處理
8.2TSCF服務(wù)組合框架
8.2.1TSCF框架
8.2.2服務(wù)代理設(shè)計(jì)
8.2.3服務(wù)組合協(xié)調(diào)
8.3服務(wù)調(diào)度流程控制的應(yīng)用實(shí)現(xiàn)
8.4小結(jié)
思考題
第二篇軟件復(fù)用與構(gòu)件庫的設(shè)計(jì)
第9章構(gòu)件庫研究現(xiàn)狀
第10章軟件復(fù)用概述
第11章構(gòu)件技術(shù)
第12章Web構(gòu)件庫實(shí)現(xiàn)
第三篇軟件規(guī)模的度量
第13章軟件規(guī)模度量研究現(xiàn)狀
第14章FPA方法
第15章FPA方法的實(shí)際應(yīng)用及其不足
第16章FPA方法的改進(jìn)
第17章改進(jìn)后FPA方法的應(yīng)用及實(shí)例試驗(yàn)
第四篇軟件的性能抗衰
第18章軟件的性能問題與抗衰技術(shù)18.1軟件性能衰退
第19章新型軟件抗衰策略
第20章細(xì)粒度軟件抗衰策略研究
第21章細(xì)粒度重啟技術(shù)研究
第22章細(xì)粒度軟件抗衰策略模型研究
附錄A縮略詞及中英文詞匯對照附錄B軟件體系結(jié)構(gòu)支持工具參考文獻(xiàn)