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

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

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

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