軟件體系結(jié)構(gòu)理論與實踐

第1章  概述
  1.1  發(fā)展歷程
    1.1.1  “無體系結(jié)構(gòu)”設(shè)計階段
    1.1.2  萌芽階段
    1.1.3  初級階段
    1.1.4  高級階段
    1.1.5  綜合
  1.2  軟件體系結(jié)構(gòu)
  1.3  軟件體系結(jié)構(gòu)的定義
  1.4  軟件體系結(jié)構(gòu)的基本概念
    1.4.1  構(gòu)件
    1.4.2  連接件
    1.4.3  約束(配置)
  1.5  意義
  1.6  當前研究狀況
    1.6.1  不同的研究領(lǐng)域
    1.6.2  不同的研究思路
  1.7  小結(jié)
  討論題
第2章  軟件體系結(jié)構(gòu)語言(ADL)
  2.1  ACME
    2.1.1  ACME體系結(jié)構(gòu)設(shè)計元素類型
    2.1.2  ACME的屬性
    2.1.3  ACME的模板和風格定義
    2.1.4  ACME開放語義框架
    2.1.5  例子
  2.2  Wright
    2.2.1  進程的符號表示法
    2.2.2  連接件描述
    2.2.3  連接件語義(Connector Semantic)
    2.2.4  端口和連接件的實例化
    2.2.5  體系結(jié)構(gòu)描述解析
  2.3  C2
  2.4  UniCon
    2.4.1  構(gòu)件
    2.4.2  連接件
  2.5  其他比較有影響的ADL
    2.5.1  Darwin
    2.5.2  Aesop
    2.5.3  Rapide
    2.5.4  MetaH
    2.5.5  Weaves
    2.5.6  SADL
  2.6  ADL分類與比較框架
    2.6.1  構(gòu)件建模
    2.6.2  連接件建模
    2.6.3  配置建模
    2.6.4  對體系結(jié)構(gòu)描述的工具支持
  2.7  ADL之間的比較
    2.7.1  ADL對于構(gòu)件建模的支持
    2.7.2  ADL對于連接件建模的支持
    2.7.3  ADL對于配置建模的支持
    2.7.4  ADL的工具支持
  2.8  小結(jié)
  討論題
第3章  軟件體系結(jié)構(gòu)描述方法
  3.1  使用形式化方法描述體系結(jié)構(gòu)
    3.1.1  形式化方法和形式化規(guī)格說明語言
    3.1.2  Z規(guī)約語言與軟件體系結(jié)構(gòu)
  3.2  使用Kruchten的“4+1”模型描述體系結(jié)構(gòu)
    3.2.1  “4+1”模型
    3.2.2  邏輯視圖的體系結(jié)構(gòu)：面向?qū)ο蟮姆纸?br />    3.2.3  過程視圖的體系結(jié)構(gòu)：過程分解
    3.2.4  開發(fā)視圖的體系結(jié)構(gòu)：子系統(tǒng)分解
    3.2.5  物理視圖的體系結(jié)構(gòu)：從軟件到硬件的映射
    3.2.6  場景視圖的體系結(jié)構(gòu)：匯總
    3.2.7  視圖間的交流
    3.2.8  “4+1”模型的迭代過程和軟件文檔
  3.3  使用UML描述體系結(jié)構(gòu)
    3.3.1  背景知識
    3.3.2  策略和評測標準
  3.4  體系結(jié)構(gòu)描述的規(guī)范
    3.4.1  IEEE軟件體系結(jié)構(gòu)描述標準
  3.5  小結(jié)
  討論題
第4章  軟件體系結(jié)構(gòu)的設(shè)計
  4.1  體系結(jié)構(gòu)設(shè)計方法的元模型
  4.2  體系結(jié)構(gòu)設(shè)計方法的分析與評估
    4.2.1  工件驅(qū)動的體系結(jié)構(gòu)設(shè)計
    4.2.2  用例驅(qū)動的體系結(jié)構(gòu)設(shè)計
    4.2.3  領(lǐng)域驅(qū)動的體系結(jié)構(gòu)設(shè)計
    4.2.4  模式驅(qū)動的體系結(jié)構(gòu)設(shè)計
  4.3  小結(jié)
  討論題
第5章  軟件體系結(jié)構(gòu)的風格
  5.1  概述
  5.2  固定術(shù)語類(Idioms)的風格
    5.2.1  管道和過濾器風格
    5.2.2  倉庫風格和黑板風格
    5.2.3  分層系統(tǒng)風格
    5.2.4  客戶服務(wù)器風格
    5.2.5  數(shù)據(jù)抽象和面向?qū)ο箫L格
    5.2.6  基于事件的風格(隱式調(diào)用)
    5.2.7  模型-視圖-控制器風格
    5.2.8  解釋器風格(虛擬機風格)
    5.2.9  異質(zhì)體系結(jié)構(gòu)
  5.3  固定術(shù)語類派生的風格
    5.3.1  GenVoca風格
    5.3.2  C2風格
    5.3.3  REST
  5.4  參考模型類(Reference Models)的風格
    5.4.1  編譯器的順序參考模型和并行參考模型
    5.4.2  信息系統(tǒng)的參考模型
  5.5  小結(jié)
  討論題
第6章  軟件體系結(jié)構(gòu)的分析與評估
  6.1  體系結(jié)構(gòu)分析概述
    6.1.1  基本概念
    6.1.2  體系結(jié)構(gòu)層次的評估技術(shù)
  6.2  基于場景的體系結(jié)構(gòu)分析方法(SAAM)
    6.2.1  SAAM的步驟
    6.2.2  SAAM的工具
    6.2.3  對SAAM的討論
  6.3  擴展SAAM的分析方法
    6.3.1  SAAMCS方法
    6.3.2  ESAAMI方法(Extending SAAM by Integration in the Domain)
    6.3.3  SAAMER方法
  6.4  體系結(jié)構(gòu)折衷分析方法(ATAM)
    6.4.1  對ATAM的討論
  6.5  其他體系結(jié)構(gòu)分析方法
    6.5.1  SBAR方法
    6.5.2  ALPSM方法
    6.5.3  SAEM方法
  6.6  討論
    6.6.1  方法的特定目標和分類
    6.6.2  基于場景的方法的異同
    6.6.3  在實際開發(fā)中對分析方法的選擇
  6.7  小結(jié)
  討論題
第7章  基于體系結(jié)構(gòu)的軟件開發(fā)過程
  7.1  概述
  7.2  導(dǎo)出體系結(jié)構(gòu)需求
    7.2.1  體系結(jié)構(gòu)需求
    7.2.2  質(zhì)量場景
    7.2.3  驗證
  7.3  設(shè)計體系結(jié)構(gòu)
    7.3.1  體系結(jié)構(gòu)的構(gòu)造和視圖
    7.3.2  開發(fā)過程
    7.3.3  驗證
  7.4  文檔化體系結(jié)構(gòu)
  7.5  分析體系結(jié)構(gòu)
  7.6  實現(xiàn)體系結(jié)構(gòu)
  7.7  維護體系結(jié)構(gòu)
  7.8  小結(jié)
  討論題
第8章  特定領(lǐng)域的體系結(jié)構(gòu)(DSSA)
  8.1  DSSA的概念
    8.1.1  DSSA的發(fā)展
    8.1.2  DSSA的定義
    8.1.3  DSSA與體系結(jié)構(gòu)風格的比較
  8.2  DSSA過程
    8.2.1  步驟1-定義領(lǐng)域分析的范圍
    8.2.2  步驟2-定義/求精特定領(lǐng)域的元素
    8.2.3  步驟3-定義/求精特定領(lǐng)域的設(shè)計和實現(xiàn)約束
    8.2.4  步驟4-開發(fā)領(lǐng)域模型/體系結(jié)構(gòu)
    8.2.5  步驟5-生成/收集可重用的工作產(chǎn)品
  8.3  小結(jié)
  討論題
第9章  軟件體系結(jié)構(gòu)支持工具
  9.1  Acme工具
    9.1.1  Acme工具開發(fā)人員庫(Acme Tool Developer's library)
    9.1.2  AcmeStudio環(huán)境
  9.2  基于軟件體系結(jié)構(gòu)的開發(fā)環(huán)境ArchStudio 3
  9.3  小結(jié)
  討論題
第10章  軟件體系結(jié)構(gòu)與Windows系統(tǒng)
  10.1  操作系統(tǒng)的體系結(jié)構(gòu)
    10.1.1  操作系統(tǒng)的設(shè)計需求
    10.1.2  模塊結(jié)構(gòu)
    10.1.3  分層結(jié)構(gòu)
    10.1.4  虛擬機結(jié)構(gòu)
    10.1.5  客戶/服務(wù)器結(jié)構(gòu)
    10.1.6  Windows2000/XP的體系結(jié)構(gòu)
  10.2  操作系統(tǒng)的網(wǎng)絡(luò)體系結(jié)構(gòu)
    10.2.1  Windows2000的網(wǎng)絡(luò)體系結(jié)構(gòu)
    10.2.2  網(wǎng)絡(luò)驅(qū)動程序接口規(guī)范(NDIS)層
    10.2.3  網(wǎng)絡(luò)協(xié)議層
    10.2.4  傳輸驅(qū)動程序接口(TDl)層
    10.2.5  網(wǎng)絡(luò)應(yīng)用編程接口(網(wǎng)絡(luò)APl)層
    10.2.6  進程間通信層
    10.2.7  基本網(wǎng)絡(luò)服務(wù)層
  10.3  小結(jié)
  討論題
第11章  軟件體系結(jié)構(gòu)與X Window系統(tǒng)
  11.1  X Window概述
    11.1.1  發(fā)展
    11.1.2  X Window系統(tǒng)的特點
  11.2  X Window系統(tǒng)的體系結(jié)構(gòu)
    11.2.1  X Window系統(tǒng)與客戶服務(wù)器風格
    11.2.2  客戶服務(wù)器體系結(jié)構(gòu)的優(yōu)點
  11.3  X服務(wù)器(Xserver)
    11.3.1  X服務(wù)器的功能
    11.3.2  X服務(wù)器分層風格的體系結(jié)構(gòu)
  11.4  X協(xié)議(Xprotocol)
    11.4.1  請求：X客戶傳送給X服務(wù)器的信息
    11.4.2  事件：X服務(wù)器傳送給X客戶的信息
  11.5  X客戶(XClient)
    11.5.1  窗口管理器
    11.5.2  桌面環(huán)境
    11.5.3  X客戶應(yīng)用程序的開發(fā)
  11.6  小結(jié)
  討論題
第12章  構(gòu)件與分布式計算
  12.1  概述
    12.1.1  軟件體系結(jié)構(gòu)和基于構(gòu)件的軟件工程
    12.1.2  分布式計算的發(fā)展
    12.1.3  分布式應(yīng)用的體系結(jié)構(gòu)風格
  12.2  OMG的分布式計算標準
    12.2.1  OMA
    12.2.2  CORBA
    12.2.3  ORB
    12.2.4  CORBA組件
  12.3  基于Java平臺的分布式計算
    12.3.1  JavaRMI
    12.3.2  J2EE和EJB
  12.4  微軟DNA和.NET
    12.4.1  微軟的WindowsDNA
    12.4.2  微軟.NET
  12.5  基于Web的分布式應(yīng)用：Web服務(wù)
    12.5.1  XMLWeb服務(wù)及其體系結(jié)構(gòu)
    12.5.2  簡單對象訪問協(xié)議SOAP
    12.5.3  Web服務(wù)描述語言WSDL
    12.5.4  統(tǒng)一描述.發(fā)現(xiàn)和集成UDDI
    12.5.5  Web服務(wù)的特點
    12.5.6  具體的Web服務(wù)體系結(jié)構(gòu)
  12.6  小結(jié)
  討論題
第13章  軟件體系結(jié)構(gòu)與實時系統(tǒng)
  13.1  實時系統(tǒng)概述
  13.2  實時系統(tǒng)的軟件體系結(jié)構(gòu)描述
  13.3  實時系統(tǒng)的軟件體系結(jié)構(gòu)分析
    13.3.1  體系結(jié)構(gòu)分析方法
    13.3.2  功能屬性分析
    13.3.3  非功能屬性分析
  13.4  實時系統(tǒng)的軟件體系結(jié)構(gòu)實例
    13.4.1  實時操作系統(tǒng)
    13.4.2  路由器軟件體系結(jié)構(gòu)
  13.5  小結(jié)
  討論題
附錄
參考文獻