摘要：目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面,给出了量化语句与方面的语义。重申了面向方面程序设计的本质特性是Quantification与Obliviousness,模块化横切关注点只是其带来的一个好处。同时指出了面向方面程序设计是一种新型的程序设计范式,独立于面向对象等其它程序设计方法。并且,基于此定义,给出了面向方面程序设计语言需满足的最小条件集,并比较了主流的面向方面程序设计语言,探讨了这些语言在面向方面程序设计理念上的差异。

摘要：面向方面程序设计可以模块化横切关注点,因此受到工业界及学术界的广泛关注。目前模块化横切关注点几乎成为面向方面程序设计的代名词,而且有不少人士狭隘地将面向方面程序设计认为是面向对象程序设计的延续、扩展或补充。回顾了面向方面程序设计的定义,分析了产生这一现象的原因。并且形式化了定义中的量化语句和方面,给出了它们的语义。探讨了量化语句和方面的一系列性质,包括量化语句和方面的可满足性,量化语句的包含、交叉及精化关系,方面的同态、同构、构成、完全语义保持精化、语义保持精化及等价替换等关系。该研究为面向方面程序设计的理论研究打下了坚实的基础,也为更好地理解面向方面程序设计提供了有效的帮助。