从面向方面程序设计的定义到面向方面程序设计语言  

From the Definition of Aspect-oriented Programming to Aspect-oriented Programming Languages

作　　者：古思山[1] 蔡树彬[2] 李师贤[1] 

机构地区：[1]中山大学信息科学与技术学院,广州510275 [2]深圳大学计算机与软件学院,深圳518060

出　　处：《计算机科学》2011年第10期133-139,共7页Computer Science

基　　金：广东省自然科学基金项目(10351806001000000);深港创新圈项目(ZYB200907060012A);广东高校优秀青年创新人才培养计划项目资助(LYM09121);深圳市科技计划项目(JC200903120046A;JC201005280434A)资助

摘　　要：目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面,给出了量化语句与方面的语义。重申了面向方面程序设计的本质特性是Quantification与Obliviousness,模块化横切关注点只是其带来的一个好处。同时指出了面向方面程序设计是一种新型的程序设计范式,独立于面向对象等其它程序设计方法。并且,基于此定义,给出了面向方面程序设计语言需满足的最小条件集,并比较了主流的面向方面程序设计语言,探讨了这些语言在面向方面程序设计理念上的差异。Today a lot of people not only from industrial community but also from academic community simply take Aspect-Oriented Programming（AOP） as modularizing crosscutting concerns and in a narrow-mined way to believe that AOP is just an extension or an effective supplement to Object-Oriented Programming（OOP）.Based on the definition of AOP,its nature which makes it different from the other programming languages was dug out.And the quantified statement and aspect in the definition were formalized.Moreover the semantics of them were defined.And then we argued quantification and obliviousness in the definition are the real nature of AOP.Modularizing crosscutting concerns is just a benefit from it.And AOP is a new programming paradigm which is independent of all the other programming languages.Based on the definition,the minimum condition set which Aspect-Oriented Programming Languages（AOPL） need to satisfy was proposed.And the difference between the mainstream AOPL from the view of the definition was probed into.

关 键 词：面向方面程序设计 面向方面程序设计语言 横切关注点 Quantification Obliviousness 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]