面向方面軟件體系結(jié)構(gòu)動態(tài)演化方法研究.pdf

1、由于用戶需求和計算環(huán)境頻繁變化，導(dǎo)致軟件復(fù)雜性和演化性不斷增強。軟件演化是指軟件進行變化以達到所期望形態(tài)的過程，主要分為靜態(tài)演化和動態(tài)演化兩種類型。由于具有持續(xù)提供服務(wù)的優(yōu)點，動態(tài)演化已成為目前軟件工程研究的熱點。 軟件體系結(jié)構(gòu)是影響軟件演化效果的關(guān)鍵因素，而現(xiàn)存軟件體系結(jié)構(gòu)由于對非功能(橫切)屬性關(guān)注不足，導(dǎo)致軟件動態(tài)演化中關(guān)注點難以分離，軟件體系結(jié)構(gòu)不斷退化、甚至棄用，這無疑增加了動態(tài)演化的難度和成本。 為解決上述問

2、題，本文將面向方面的思想引入軟件體系結(jié)構(gòu)中。在簡述面向方面軟件開發(fā)方法基本概念、基本原則等背景知識的基礎(chǔ)上，分析AOP技術(shù)優(yōu)勢，將AOP的概念引入到軟件體系結(jié)構(gòu)中，建立了面向方面軟件體系結(jié)構(gòu)(AOSA)核心模型；以時序邏輯為基礎(chǔ)，提出一種AOSA各元素的形式化規(guī)約方法，為軟件動態(tài)演化行為的分析、推理及其驗證奠定了基礎(chǔ)。 針對系統(tǒng)運行期間，軟件體系結(jié)構(gòu)不可見、難以控制的問題，本文還提出一種基于關(guān)注點分離原則，支持動態(tài)演化的、反射式

3、面向方面體系結(jié)構(gòu)RAOSA；形式化定義了AOSA核心元素和一組基于ECA的模式的演化規(guī)則和演化策略。 在上述工作的基礎(chǔ)上，結(jié)合簡單網(wǎng)上拍賣系統(tǒng)的應(yīng)用實例，通過建立其RAOSA元素的形式化規(guī)約，運用前面定義的演化規(guī)則和演化策略，說明提出的動態(tài)演化方法是可行的和有效的。 通過上述研究工作，本文建立的AOSA核心模型，將關(guān)注點分離原則貫穿于系統(tǒng)需求到系統(tǒng)實現(xiàn)中，有助于系統(tǒng)保持一個清晰的架構(gòu)，增加體系結(jié)構(gòu)的彈性和復(fù)用性；提出的支