通過(guò)使用基于控制流的切入點(diǎn)來(lái)減少重復(fù)的通知的研究.pdf

1、面向方面的編程語(yǔ)言是一種通過(guò)允許橫切關(guān)注點(diǎn)的分散從而達(dá)到增加模塊化目的的編程語(yǔ)言范例，尤其是在復(fù)雜的應(yīng)用程式當(dāng)中。對(duì)比于面向?qū)ο缶幊?，面向方面編程是一種模式化橫切關(guān)注點(diǎn)的方法。橫切關(guān)注點(diǎn)是能橫越幾個(gè)模塊的關(guān)注點(diǎn)。
　　Aspect J是最流行和最主流的對(duì)象語(yǔ)言。Aspect J引進(jìn)了一種新概念，當(dāng)?shù)竭_(dá)一個(gè)連接點(diǎn)，通知會(huì)定義將被執(zhí)行的代碼。但是，捕獲合適的連接點(diǎn)并不容易。如果通知不應(yīng)該被執(zhí)行，相關(guān)連接點(diǎn)是不合適的。舉例來(lái)說(shuō)，在一個(gè)圖

2、形操作程序中，通知之一是刷新屏幕方法，這個(gè)通知在合理和不合理的連接點(diǎn)被捕獲時(shí)都會(huì)被執(zhí)行，屏幕會(huì)進(jìn)行一些不必要的刷新。另外，在實(shí)際的復(fù)合應(yīng)用中，比如電子訂單系統(tǒng)，不必要的重復(fù)通知是非常有害的，它可能會(huì)導(dǎo)致過(guò)多的不必要的訂單傳輸。
　　在我們的方法中，我們提出一個(gè)被稱為基于約束的切點(diǎn)的新機(jī)制。基于約束的切點(diǎn)是那些被約束限制的連接點(diǎn)?；诩s束的切點(diǎn)必須受到滿足切點(diǎn)的限制，切點(diǎn)占據(jù)連接點(diǎn)滿足約束條件。為了指定基于不同限制的連接點(diǎn)的選擇，我

3、們提議一個(gè)限制模型以便為通過(guò)基本程序?qū)嶓w實(shí)施的概念定義幾種限制。
　　限制模型提供了一個(gè)代碼實(shí)施結(jié)構(gòu)的抽象概念。在限制模型中，開(kāi)發(fā)人員可以為基礎(chǔ)程序?qū)嶓w所執(zhí)行的概念自定義一些限制。這些限制可以是數(shù)字限制，性能限制，名字限制或者其他的限制。這些概念在限制模型中被定義去描述限制模型正確分類，它們會(huì)在原代碼中被構(gòu)建。
　　在我們的方法中，注釋被認(rèn)為是傳達(dá)限制模型概念的實(shí)體。對(duì)于Aspect J注釋可以支持注釋存在或者空缺基礎(chǔ)上相對(duì)

4、應(yīng)的連接點(diǎn)。在限制模型中，原代碼實(shí)體的分類可以用原代碼中的注釋來(lái)構(gòu)建。
　　基于控制流的切點(diǎn)在Aspect J中是一種很好的實(shí)施限制的方法。在這方法中，我們不需要對(duì)現(xiàn)存的AOP語(yǔ)言擴(kuò)展任何句法。用cflowbelow可以指定根連接點(diǎn)。cflowbelow的意思是在被切點(diǎn)挑出的每一個(gè)連接點(diǎn)的控制流下的連接點(diǎn)都不包括自身。
　　我們通過(guò)JHotDraw的案例研究評(píng)估我們的方法。結(jié)果顯示，基于限制的切點(diǎn)的方法在減少重復(fù)問(wèn)題的通知方