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

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

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