面向方面的軟件開發(fā)

譯者序
關(guān)于主編
關(guān)于撰稿人
前言
第1章 概覽
1.1 本書的組織
1.2 常用術(shù)語
1.3 歷史背景
第一部分 語言和基礎(chǔ)
傳統(tǒng)工程
軟件開發(fā)是工程
章節(jié)說明
方面語言設(shè)計(jì)的角度
參考文獻(xiàn)
第2章 面向方面編程的多量化和不知覺性
2.1 引言
2.2 局部性和單一性語句
2.3 不知覺性
2.4 多量化
2.4.1 靜態(tài)多量化
2.4.2 動(dòng)態(tài)多量化
2.5 實(shí)現(xiàn)問題
2.6 面向方面的語言
2.7 相關(guān)工作
2.8 結(jié)束語
致謝
參考文獻(xiàn)
第3章 N度分離：關(guān)注點(diǎn)的多維分離
3.1 引言
3.2 動(dòng)機(jī)
3.2.1 第一輪
3.2.2 進(jìn)化SEE：環(huán)境災(zāi)難
3.2.3 事后分的
3.2.4 打破統(tǒng)治地位
3.3 關(guān)注點(diǎn)的多維分解
3.3.1 傳統(tǒng)軟件模型
3.3.2 多維分解：超切片
3.3.3 使用超模塊組合超切片
3.3.4 使用模型
3.4 實(shí)例化
3.4.1 映射到單元和模塊
3.4.2 超切片表示
3.4.3 支持組合
3.5 相關(guān)工作
3.6 結(jié)論和將來的工作
致謝
參考文獻(xiàn)
第4章 組合過濾器的原理和設(shè)計(jì)原理
4.1 引言
4.2 例子：社會安全服務(wù)
4.2.1 應(yīng)用的概述
4.2.2 軟件系統(tǒng)
4.3 用組合過濾器進(jìn)行對象內(nèi)橫切
4.3.1 關(guān)注點(diǎn)實(shí)例=對象+過濾器
4.3.2 演化步驟1：保護(hù)文檔
4.3.3 組合過濾器解決方案
4.3.4 消息處理
4.3.5 對象內(nèi)部橫切
4.4 對象間橫切
4.4.1 演化步驟2：添加工作流管理
4.4.2 演化步驟3：添加日志
4.5 評估
4.5.1 CF模型的實(shí)現(xiàn)
4.5.2 內(nèi)置式組合過濾器
4.6 結(jié)論
參考文獻(xiàn)
第5章 從歷史視角探討AOP（名稱的由來）
5.1 風(fēng)格問題
5.2 20世紀(jì)90年代早期的研究趨勢
5.2.1 問題的描述
5.2.2 對問題和專門解決方案的分析
5.2.3 識別可以被分離的關(guān)注點(diǎn)
5.2.4 分離技術(shù)
5.3 AOP在PARC的誕生
5.3.1 RG
5.3.2 AML
5.3.3 ETCML
5.3.4 DJ
5.3.5 Djava
5.3.6 AspectJ
5.4 建立團(tuán)體
5.4.1 研究者
5.4.2 實(shí)踐者
5.5 回顧
5.6 AOP的本質(zhì)
5.7 將來的挑戰(zhàn)
致謝
參考文獻(xiàn)
第6章 AspectJ
6.1 AspectJ的目標(biāo)
6.1.1 通用目的
6.1.2 基于編程語言的直接支持
6.1.3 易于學(xué)習(xí)
6.1.4 增量式應(yīng)用
6.1.5 易于集成
6.1.6 適合真實(shí)的應(yīng)用
6.2 AspectJ語言
6.2.1 聯(lián)結(jié)點(diǎn)
6.2.2 切入點(diǎn)
6.2.3 通知
6.2.4 類型間聲明
6.2.5 方面
6.2.6 進(jìn)一步閱讀
6.3 AspectJ工具
6.3.1 歷史
6.3.2 編譯器
6.3.3 AspectJ的IDE支持
6.3.4 使用ajdoc生成文檔
6.3.5 Ant任務(wù)
6.4 將來的方向
6.5 結(jié)束語
致謝
參考文獻(xiàn)
第7章 耦合面向方面和自適應(yīng)編程
7.1 概述
7.1.1 關(guān)注點(diǎn)含蓄的編程
7.1.2 結(jié)構(gòu)含蓄的編程
7.2 含蓄性作為自適應(yīng)行為的隱喻
7.2.1 含蓄性怎樣關(guān)聯(lián)到AP
7.2.2 含蓄性怎樣關(guān)聯(lián)到AOP
7.2.3 Demeter法則
7.2.4 針對關(guān)注點(diǎn)的Demeter法則
7.3 使用DJ的反射自適應(yīng)編程
7.4 使用DAJ的方面自適應(yīng)編程
7.4.1 熏略圖交叉
7.4.2 訪問者類
7.5 相關(guān)工作
7.6 結(jié)論
參考文獻(xiàn)
第8章 使用CAESAR解開橫切模型
8.1 引言
8.1.1 對語言支持的需求
8.1.2 本章的貢獻(xiàn)和結(jié)構(gòu)
8.2 聯(lián)結(jié)點(diǎn)介入
8.2.1 缺乏對多抽象方面的支持
8.2.2 缺乏對復(fù)雜映射的支持
8.2.3 缺乏對可重用方面聯(lián)編的支持
8.2.4 缺乏對方面的多態(tài)的支持
8.3 CAESAR模型
8.3.1 方面合作接口
8.3.2 方面實(shí)現(xiàn)
8.3.3 方面聯(lián)編
8.3.4 封裝器再利用
8.3.5 最專用的封裝器
8.3.6 切入點(diǎn)和通知
8.3.7 編織片和部署
8.3.8 虛類和靜態(tài)類型
8.4 評估
8.4.1 問題再現(xiàn)
8.4.2 顯式與隱含方面的實(shí)例化/部署
8.5 實(shí)現(xiàn)
8.6 相關(guān)工作
8.6.1 開放類
8.6.2 自適應(yīng)性即插即用組件
8.6.3 基于合作的分解
8.6.4 動(dòng)態(tài)部署的實(shí)現(xiàn)
8.7 總結(jié)和將來的工作
參考文獻(xiàn)
第9章 基于跟蹤的方面
9.1 引言
9.2 基于跟蹤的方面的特征
9.2.1 可觀察的執(zhí)行跟蹤
9.2.2 方面語言
9.2.3 編織
9.3 表達(dá)性方面的等價(jià)推導(dǎo)
9.4 方面交互的檢測和消解
9.4.1 方面交互
9.4.2 對沖突消解的支持
9.5 安全屬性的靜態(tài)編織
9.5.1 例子
9.5.2 編織階段
9.5.3 即時(shí)編織
9.6 結(jié)論
參考文獻(xiàn)
第10章 使用Mixin技術(shù)提高模塊化特性
10.1 介紹
10.2 MIXIN技術(shù)
10.2.1 Mixin
10.2.2 逐步細(xì)化
10.2.3 Mixin層
10.3 FIDGET的設(shè)計(jì)
10.3.1 體系結(jié)構(gòu)
10.3.2 組件
10.3.3 同胞模式
10.3.4 JL的隱含的this類型參數(shù)
10.4 FIDGET的使用
10.5 MIXIN的編程支持
10.5.1 構(gòu)造器傳播
10.5.2 深度一致性
10.6 將來的工作
10.6.1 語義檢測
10.6.2 類層次優(yōu)化
10.6.3 Mixin作為類型
10.6.4 實(shí)現(xiàn)參數(shù)化多態(tài)
10.7 相關(guān)工作
10.8 結(jié)論
致謝
參考文獻(xiàn)
第11章 用首類名字空間分離關(guān)注點(diǎn)
11.1 引言
11.2 Piccola
11.2.1 Piccola層
11.2.2 通用封裝器
11.3 例子：Mixin層組合
11.3.1 Picola中的Mixin層
11.3.2 使用Mixin層的軟件演化
11.4 用形式結(jié)構(gòu)描述組合風(fēng)格
11.5 結(jié)論
致謝
參考文獻(xiàn)
第12章 使用反射支持AOP
12.1 什么是反射
12.1.1 基礎(chǔ)級和元級
12.1.2 元對象及其協(xié)議
12.1.3 元鏈和元對象協(xié)作
12.1.4 反射編程語言及其MOP的例子
12.2 使用反射的AOP
12.2.1 從反射到AOP
12.2.2 使用多個(gè)方面的應(yīng)用例子
12.2.3 分離方面
12.2.4 編織方面
12.3 討論
12.3.1 靈活性
12.3.2 性能
12.3.3 復(fù)雜性
12.3.4 工具
12.3.5 重用性
12.4 結(jié)論
參考文獻(xiàn)
第13章 通過控制通信插入Ility
13.1 通過控制通信實(shí)現(xiàn)Ility
13.2 對象基礎(chǔ)框架
13.2.1 注人器
13.2.2 注解
13.2.3 Pragma
13.3 已應(yīng)用Ility
13.3.1 可靠性
13.3.2 服務(wù)質(zhì)量
13.3.3 可管理性
13.3.4 安全
13.4 相關(guān)工作
13.5 結(jié)論
參考文獻(xiàn)
第14章 使用字節(jié)碼轉(zhuǎn)換集成新特征
14.1 方面和轉(zhuǎn)換
14.2 字節(jié)碼轉(zhuǎn)換概述
14.2.1 靜態(tài)轉(zhuǎn)換
14.2.2 動(dòng)態(tài)轉(zhuǎn)換
14.3 編程轉(zhuǎn)換
14.3.1 選擇
14.3.2 在AOSD中的使用
14.4 學(xué)到的經(jīng)驗(yàn)
14.4.1 接口設(shè)計(jì)
14.4.2 安全、可靠和正確
14.4.3 多個(gè)名字空間
14.4.4 反射
14.4.5 處理轉(zhuǎn)換的功能
14.4.6 調(diào)試轉(zhuǎn)換代碼
14.5 結(jié)論
參考文獻(xiàn)
第15章 JMangler——一個(gè)面向方面編程的強(qiáng)大后端平臺
15.1 引言
15.1.1 方面編織的挑戰(zhàn)
15.1.2 加載時(shí)間分析和轉(zhuǎn)換的保證
15.1.3 面向方面的LAT和JMangler
15.2 通用攔截
15.2.1 Java的類加載體系結(jié)構(gòu)
15.2.2 依賴類加載器的攔截
15.2.3 依賴JVM的攔截
15.2.4 依賴于平臺的攔截
15.2.5 可移植的通用攔截
15.3 開放式體系結(jié)構(gòu)
15.4 對非本地轉(zhuǎn)換的支持
15.5 BCEL編織器
15.5.1 轉(zhuǎn)換和方面
15.5.2 轉(zhuǎn)換器
15.5.3 轉(zhuǎn)換器的使用
15.5.4 非預(yù)期的轉(zhuǎn)換器組合
15.5.5 轉(zhuǎn)換過程
15.5.6 例子
15.5.7 接口轉(zhuǎn)換器的創(chuàng)建
15.5.8 代碼轉(zhuǎn)換器的創(chuàng)建
15.6 使用場景
15.6.1 使用JMangler的加載時(shí)編織
15.6.2 使用JMangler的運(yùn)行時(shí)編織
15.6.3 先進(jìn)特征
15.7 相關(guān)工作
15.8 結(jié)論和將來的工作
致謝
本章附錄：簡單的代碼覆蓋
CodeCoverTransformer的實(shí)現(xiàn)激活
參考文獻(xiàn)
第16章 使用Java方面組件的面向方面軟件開發(fā)
16.1 JAC框架的編程模型
16.2 設(shè)計(jì)符號
16.2.1 方面組件類
16.2.2 切入點(diǎn)定義
16.2.3 第一個(gè)簡單的例子
16.2.4 為分布擴(kuò)展的設(shè)計(jì)符號
16.3 分布式的JAC體系結(jié)構(gòu)
16.3.1 方面部署的分布
16.3.2 分布式應(yīng)用的例子
16.4 JAC的實(shí)現(xiàn)和性能問題
16.4.1 JAC的實(shí)現(xiàn)
16.4.2 性能衡量
16.5 相關(guān)技術(shù)和工具
16.5.1 面向方面的語言和工具
16.5.2 方面設(shè)計(jì)符號對比
16.6 結(jié)論
參考文獻(xiàn)
第二部分 軟件工程
關(guān)鍵軟件工程術(shù)語
章節(jié)介紹
參考文獻(xiàn)
第17章 工程化面向方面系統(tǒng)
17.1 需求工程
17.2 描述
17.3 設(shè)計(jì)
17.4 實(shí)現(xiàn)
17.5 演化
17.6 方面交互
17.7 結(jié)論
參考文獻(xiàn)
第18章 軟件生命周期中的面向方面：事實(shí)和想像
18.1 引言
18.2 在實(shí)現(xiàn)層次的方面
18.2.1 示例動(dòng)機(jī)
18.2.2 AOP：事實(shí)想像
18.3 在設(shè)計(jì)層次的方面
18.3.1 采用UML的方面
18.3.2 基于軟件體系結(jié)構(gòu)觀點(diǎn)的方面
18.4 結(jié)論
致謝
參考文獻(xiàn)
第19章 采用主題/UML的通用同向方面設(shè)計(jì)
19.1 引言
19.2 動(dòng)機(jī)
19.3 橫切主題：模型
19.3.1 描述模板
19.3.2 描述橫切行為
19.3.3 綁定描述的組合
19.3.4 組合輸出
19.4 作為主題的方面：例子
19.4.1 圖書館基本設(shè)計(jì)
19.4.2 例1：同步方面
19.4.3 例2：觀察者方面
19.5 到Hyper/J的映射
19.5.1 Hyper/J編程元素
19.5.2 基于Hyper/J的觀察者模式
19.6 到AspectJ的映射
19.6.1 AspectJ編程元素
19.6.2 到AspectJ的映射算法
19.6.3 基于AspectJ的觀察者模式
19.7 映射的編程模型
19.8 相關(guān)工作
19.9 結(jié)論
參考文獻(xiàn)
第20章 使用UML行為圖和結(jié)構(gòu)圖來表示方面
20.1 引言
20.2 概念、術(shù)語和建模語言
20.2.1 面向方面編程
20.2.2 統(tǒng)一建模語方
20.3 我們的方法體系規(guī)定的處理過程
20.3.1 AO建模步驟
20.3.2 并發(fā)限定緩存問題
20.3.3 分析和設(shè)計(jì)
20.3.4 使用類圖的結(jié)構(gòu)化描述
20.3.5 建模橫切關(guān)注點(diǎn)
20.4 實(shí)現(xiàn)我們的方法體系的益處
20.4.1 隱含編織
20.4.2 松散耦合
20.4.3 擴(kuò)展性
20.4.4 可跟蹤性
20.4.5 CASE工具對我們折方法體系的支持
20.4.6 自動(dòng)代碼生成和循環(huán)開發(fā)
20.5 結(jié)論
致謝
參考文獻(xiàn)
第21章 面向方面軟件開發(fā)的關(guān)注點(diǎn)建模
21.1引言
21.2 什么是關(guān)注點(diǎn)
21.3 關(guān)注點(diǎn)的一種視點(diǎn)
21.4 分什么需要關(guān)注點(diǎn)建模
21.4.1 對貫穿于開發(fā)生命周期和構(gòu)件之中的關(guān)注點(diǎn)描述和分析
21.4.2 對傳統(tǒng)開發(fā)任務(wù)的增強(qiáng)
21.4.3 AOSD的支持
21.5 作為頭等事務(wù)的關(guān)注點(diǎn)建模
21.5.1 關(guān)注點(diǎn)建模模式的需求
21.5.2 處理考慮
21.6 COSMOS：一種關(guān)注點(diǎn)空間建模模式
21.7 關(guān)注點(diǎn)模型示例
21.8 相關(guān)工作
21.8.1 傳統(tǒng)的（非面向方面）建模
21.8.2 面向方面建模
21.9 附加的討論
21.9.1 關(guān)注點(diǎn)概念的形式化表示
21.9.2 對AOSD貢獻(xiàn)的本質(zhì)
21.10 結(jié)論
致謝
參考文獻(xiàn)
第22章 關(guān)注點(diǎn)描述工具的設(shè)計(jì)建議
22.1 工具的研究
22.1.1 AspectBrowser
22.1.2 AMT
22.1.3 FEAT
22.2 研究究形式
22.2.1 Jex示例
22.2.2 AMT示例
22.2.3 AspectBrowser示例
22.3 數(shù)據(jù)
22.3.1 使用的策略
22.3.2 標(biāo)識出的關(guān)注點(diǎn)代碼
22.4 結(jié)果
22.4.1 工具設(shè)計(jì)建議
22.4.2 關(guān)注點(diǎn)刻畫
22.4.3 研究工作的有效性
22.5 相關(guān)工作
22.5.1 關(guān)于程序修改任務(wù)的研究
22.5.2 特征定位方法
22.5.3 影響分析方法
22.6 結(jié)論
致謝
參考文獻(xiàn)
第23章 面向方面編程的初始評估
23.1 AspectJ
23.2 實(shí)驗(yàn)
23.2.1 通用的形式
23.2.2 實(shí)驗(yàn)1：調(diào)試的易用性
23.2.3 形式
23.2.4 結(jié)果
23.2.5 實(shí)驗(yàn)2：修改的容易性
23.3 從組合分析中獲知的理解
23.3.1 方面內(nèi)核接口事宜
23.3.2 方面可能替換任務(wù)策略
23.4 實(shí)驗(yàn)評價(jià)
23.5 相關(guān)工作
23.6 總結(jié)
致謝
本章附錄
參考文獻(xiàn)
第24章 面向方面的依賴關(guān)系管理
24.1 依賴關(guān)系管理的原則
24.1.1 依賴關(guān)系
24.1.2 依賴關(guān)系的強(qiáng)度
24.1.3 原理
24.2 作為通用原則的間接性：從指針到設(shè)計(jì)模式及更多
24.2.1 超越指針概念
24.2.2 面向?qū)ο箝g接層
24.2.3 設(shè)計(jì)模式和間接層
24.2.4 面向方面間接層
24.3 對于設(shè)計(jì)模式的向向方面的替代者
24.3.1 訪問者模式
24.3.2 觀察者模式
24.3.3 擴(kuò)展對象模式
24.3.4 虛擬的構(gòu)建
24.4 面向方面依賴關(guān)系管理的指導(dǎo)方針
24.4.1 面向?qū)ο箝g接層
24.4.2 面向方面間接層
24.4.3 組合面向?qū)ο蠛兔嫦蚍矫骈g接層
24.5 從面向方面依賴關(guān)系管理中得到的建模益處
參考文獻(xiàn)
第25章 應(yīng)用方面開發(fā)軟件組件：某些問題和經(jīng)驗(yàn)
25.1 引言
25.2 動(dòng)機(jī)
25.3 我們的方法
25.4 采用方面的組件描述和設(shè)計(jì)
25.5 采用方面的組件實(shí)現(xiàn)
25.6 在運(yùn)行時(shí)使用方面
25.7 相關(guān)工作
25.8 評估
25.9 未來的研究方向
25.10 結(jié)論
參考文獻(xiàn)
第26章 智能編織器：一種針對方面組合的知識驅(qū)動(dòng)方法
26.1 知識驅(qū)動(dòng)編織
26.1.1 Smartbooks歸檔方法
26.1.2 在Smartbooks中的編程任務(wù)
26.1.3 Smartbooks的引擎
26.2 一個(gè)工作流應(yīng)用示例
26.3 應(yīng)用智能編織器：開發(fā)者的視點(diǎn)
26.3.1 目標(biāo)應(yīng)用的設(shè)計(jì)
26.3.2 與任務(wù)管理器的交互
26.4 定義編織知識：設(shè)計(jì)者視點(diǎn)
26.4.1 支持技術(shù)的歸檔卷冊
26.4.2 加入編織信息
26.4.3 方面需求的內(nèi)部表示
26.5 相關(guān)工作
26.6 結(jié)論
參考文獻(xiàn)
第三部分 應(yīng)用
管理
管理多量化
管理不知覺性
章節(jié)
第27章 通過面向方面編程開發(fā)安全應(yīng)用
27.1 引言
27.2 應(yīng)用層次安全性領(lǐng)域
27.3 一份實(shí)驗(yàn)報(bào)告
27.3.1 一個(gè)個(gè)人的信息管理系統(tǒng)
27.3.2 一個(gè)FTP服務(wù)器
27.3.3 朝向一個(gè)方面框架
27.4 討論
27.4.1 正面的經(jīng)驗(yàn)
27.4.2 AOP環(huán)境的需求
27.5 相關(guān)工作
27.6 結(jié)論
致謝
參考文獻(xiàn)
第28章 結(jié)構(gòu)化操作系統(tǒng)方面
28.1 AspectC
28.1.1 使用AspectC的標(biāo)準(zhǔn)行為預(yù)取
28.1.2 切入點(diǎn)聲明
28.1.3 通知聲明
28.1.4 實(shí)現(xiàn)比較
28.2 結(jié)論
參考文獻(xiàn)
第29章 數(shù)據(jù)庫系統(tǒng)的面向方面編程
29.1 引言
29.2 在面向?qū)ο髷?shù)據(jù)庫系統(tǒng)中橫切關(guān)注點(diǎn)
29.2.1 在DBMS層次橫切關(guān)注點(diǎn)
29.2.2 在數(shù)據(jù)庫層次的橫切關(guān)注點(diǎn)
29.3 面向?qū)ο髷?shù)據(jù)庫系統(tǒng)中的AOP
29.3.1 DBMS層次的方面
29.3.2 數(shù)據(jù)庫層次的方面
29.4 面向方面方法的評價(jià)
29.5 模塊化數(shù)據(jù)庫中的橫切關(guān)注點(diǎn)的其他方法
29.6 結(jié)束語
參考文獻(xiàn)
第30章 兩 層交方面編織，以支持模型驅(qū)動(dòng)合成中的演化
30.1 模型集成計(jì)算和AODS
30.1.1 模型集成計(jì)算
30.1.2 在領(lǐng)域建模中橫切關(guān)注點(diǎn)
30.1.3 模型編織器
30.2 例子：饑餓/懶惰評測約束條件的模型編織
30.2.1 在GME中建模Bold Srtoke組件
30.2.2 饑餓/懶惰評估的策各
30.3 從領(lǐng)域?qū)Ｓ心Ｐ椭挟a(chǎn)生方面代碼
30.4 結(jié)論
30.4.1 未來工作
30.4.2 相關(guān)工作
致謝
參考文獻(xiàn)
第31章 動(dòng)態(tài)面向方面的基礎(chǔ)架構(gòu)
31.1 引言
31.2 應(yīng)用場景
31.3 使用面向方面的應(yīng)用感知
31.4 使用PROSE滿足應(yīng)用感知的需求
31.4.1 在PROSE中處理應(yīng)用感知
31.4.2 PROSE體系結(jié)構(gòu)
31.5 在節(jié)點(diǎn)群中編織方面
31.5.1 方面的分布
31.5.2 方面的生命周期
31.5.3 軟件體系結(jié)構(gòu)問題
31.6 在應(yīng)用感知中的AOP的使用示例
31.6.1 為機(jī)器人技術(shù)實(shí)現(xiàn)的位置專有功能
31.6.2 其他應(yīng)用感知的例子
31.7結(jié)論
致謝
參考文獻(xiàn)