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

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

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

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