面向方面編程語言的形式語義研究.pdf

1、面向方面的軟件開發(fā)作為一種基于橫切關(guān)注模塊化思想的開發(fā)方法,是一種貫穿需求分析、詳細(xì)設(shè)計(jì)、代碼實(shí)現(xiàn)和測試的完整方法。面向方面編程作為具體的實(shí)現(xiàn)技術(shù),通常包含新的語言結(jié)構(gòu)來支持代碼中的橫切關(guān)注模塊化。這些新的語言結(jié)構(gòu)的語義是復(fù)雜而微妙的,對其形式語義的研究不僅可以澄清非形式化描述中的歧義,還為面向方面系統(tǒng)的理解、推理和分析技術(shù)提供了理論基礎(chǔ)。
　　對基于函數(shù)式語言的面向方面語言的語義描述包含刻畫程序執(zhí)行的操作語義和一個(gè)靜態(tài)織入語義,

2、其一致性證明了織入算法的正確性。盡管分析的面向方面函數(shù)式語言非常簡單,只包含了最基本的方面結(jié)構(gòu),但是對于理解和刻畫面向方面的基本機(jī)制是充分的?；诿钍秸Z言和面向?qū)ο笳Z言的面向方面語言則相對要復(fù)雜得多,使用效應(yīng)系統(tǒng)不僅可以避免在考慮新的語言結(jié)構(gòu)時(shí)語義描述規(guī)則的隨意性,還提供了一個(gè)靈活和易于擴(kuò)展的語義描述方法。通過將程序執(zhí)行效應(yīng),運(yùn)行時(shí)狀態(tài)和程序執(zhí)行歷史作為程序可量化的性質(zhì),給出了富有表達(dá)能力的程序量化機(jī)制,并用來描述基于控制流和數(shù)據(jù)流的

3、pointcuts的語義。
　　高階化學(xué)模型可以提供一種通用的模塊化和可擴(kuò)展的語義描述框架,通過使用高階化學(xué)模型描述簡單命令式語言的語義,并且在其基礎(chǔ)上定義描述對象及其交互的分子和反應(yīng)規(guī)則,可以直接得到簡單命令式面向?qū)ο笳Z言的語義描述。同樣的,當(dāng)考慮新的控制機(jī)制,例如面向方面結(jié)構(gòu)中的控制機(jī)制時(shí),可以在已有化學(xué)語義框架的基礎(chǔ)上定義對應(yīng)的反應(yīng)規(guī)則。
　　面向方面的思想同樣可以用于其他不斷涌現(xiàn)的計(jì)算范型,如分布式計(jì)算、面向服務(wù)的計(jì)