1、面向側(cè)面軟件開(kāi)發(fā)(AOSD)作為一種新的軟件開(kāi)發(fā)方法，旨在通過(guò)封裝系統(tǒng)中的橫切關(guān)注點(diǎn)，提升系統(tǒng)的模塊化設(shè)計(jì)程度。系統(tǒng)的可信性作為系統(tǒng)的非功能需求，是評(píng)估系統(tǒng)的重要指標(biāo)，其設(shè)計(jì)與實(shí)現(xiàn)貫穿軟件系統(tǒng)的整個(gè)生命周期?？尚艑傩宰鳛橄到y(tǒng)可信性的具體體現(xiàn)，是系統(tǒng)中典型的橫切關(guān)注點(diǎn)，它們?cè)谲浖到y(tǒng)中的各個(gè)模塊中隨處可見(jiàn)，與系統(tǒng)主功能交織在一起，嚴(yán)重影響了系統(tǒng)的模塊化程度，從而為系統(tǒng)的分析、驗(yàn)證、擴(kuò)展以及維護(hù)帶來(lái)了嚴(yán)峻的挑戰(zhàn)，這種挑戰(zhàn)隨著系統(tǒng)的日益龐大和

2、復(fù)雜而愈發(fā)明顯。
　　本課題從可信屬性屬于系統(tǒng)橫切關(guān)注點(diǎn)的事實(shí)出發(fā)，將面向側(cè)面機(jī)制引入系統(tǒng)體系結(jié)構(gòu)描述當(dāng)中，旨在運(yùn)用側(cè)面機(jī)制在體系架構(gòu)層描述系統(tǒng)可信屬性，從而實(shí)現(xiàn)對(duì)可信保證機(jī)制的全局設(shè)計(jì)和驗(yàn)證，即在系統(tǒng)生命周期的最開(kāi)始階段給系統(tǒng)提供可靠的可信性保障設(shè)計(jì)。為了在系統(tǒng)體系結(jié)構(gòu)描述中引入側(cè)面機(jī)制，本課題設(shè)計(jì)了ARM元模型。ARM是在體系架構(gòu)層表示側(cè)面機(jī)制的通用元模型，它獨(dú)立于體系結(jié)構(gòu)的基礎(chǔ)描述語(yǔ)言，同時(shí)支持側(cè)面元素的自動(dòng)編織，即將側(cè)面元

3、素織入到基礎(chǔ)體系架構(gòu)當(dāng)中，從而保持對(duì)基礎(chǔ)體系結(jié)構(gòu)描述語(yǔ)言的兼容性；其次為了支持體系結(jié)構(gòu)的動(dòng)態(tài)演化，本課題提出EBGG圖文法，該圖文法旨在用圖的形式描述系統(tǒng)側(cè)面結(jié)構(gòu)，從而支持側(cè)面元素的動(dòng)態(tài)演化，保持系統(tǒng)側(cè)面結(jié)構(gòu)與基礎(chǔ)體系結(jié)構(gòu)的一致性。最后，將ARM元模型和EBGG圖文法用于Breeze/ADL的擴(kuò)展，得到AspectBreeze面向側(cè)面的體系結(jié)構(gòu)描述語(yǔ)言。該語(yǔ)言使用Breeze/ADL描述基礎(chǔ)體系結(jié)構(gòu)，即系統(tǒng)主功能邏輯，運(yùn)用ARM元模型描

4、述系統(tǒng)側(cè)面機(jī)制，同時(shí)運(yùn)用EBGG圖文法支持整個(gè)系統(tǒng)的動(dòng)態(tài)演化，保持側(cè)面結(jié)構(gòu)與基礎(chǔ)系統(tǒng)體系結(jié)構(gòu)演化的同步性。此外AspectBreeze還支持側(cè)面機(jī)制的自動(dòng)編織，保持AspectBreeze對(duì)于Breeze/ADL語(yǔ)言的兼容性，并根據(jù)可信屬性的分類定義了一組可信屬性的側(cè)面組件模板，集成到相應(yīng)的設(shè)計(jì)工具中，方便用戶在系統(tǒng)設(shè)計(jì)時(shí)，進(jìn)行可信屬性的描述。
　　本論文的主要貢獻(xiàn)有以下幾個(gè)方面：
　　1.將面向側(cè)面機(jī)制引入系統(tǒng)體系結(jié)構(gòu)描述

5、當(dāng)中，提出將系統(tǒng)的可信屬性作為側(cè)面組件融于系統(tǒng)的結(jié)構(gòu)設(shè)計(jì)，旨在將系統(tǒng)的可信保障機(jī)制的設(shè)計(jì)和驗(yàn)證提升到系統(tǒng)的架構(gòu)層次。
　　2.提出ARM元模型，該模型是側(cè)面機(jī)制在系統(tǒng)結(jié)構(gòu)描述中的通用表達(dá)形式。
　　3.為支持側(cè)面機(jī)制在體系架構(gòu)層的動(dòng)態(tài)演化，基于BGG圖文法我們提出EBGG圖文法。通過(guò)圖的形式描述系統(tǒng)結(jié)構(gòu)，從而運(yùn)用圖文法的推演算法實(shí)現(xiàn)系統(tǒng)的動(dòng)態(tài)演化。
　　4.將EBGG圖文法和ARM元模型運(yùn)用在Breeze/ADL中，定