一种AOP方面的代数语义  

An Algebraic View on the Semantics of Aspects in AOP

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

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

出　　处：《计算机科学与探索》2011年第10期932-941,共10页Journal of Frontiers of Computer Science and Technology

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

摘　　要：面向方面程序设计可以模块化横切关注点,因此受到工业界及学术界的广泛关注。目前模块化横切关注点几乎成为面向方面程序设计的代名词,而且有不少人士狭隘地将面向方面程序设计认为是面向对象程序设计的延续、扩展或补充。回顾了面向方面程序设计的定义,分析了产生这一现象的原因。并且形式化了定义中的量化语句和方面,给出了它们的语义。探讨了量化语句和方面的一系列性质,包括量化语句和方面的可满足性,量化语句的包含、交叉及精化关系,方面的同态、同构、构成、完全语义保持精化、语义保持精化及等价替换等关系。该研究为面向方面程序设计的理论研究打下了坚实的基础,也为更好地理解面向方面程序设计提供了有效的帮助。Aspect-oriented programming （AOP） gains great attention from both industrial community and academic community with its advantage of modularizing crosscutting concerns. Nowadays modularizing crosscutting concerns almost become the nickname of AOE And many people simply believe that AOP is just an extension or supplement to object-oriented programming. This paper reviews the definition of AOP and analyzes the causes of this phenomenon. Moreover, it also formalizes the quantified statement and aspect in the AOP definition and defines their semantics in an algebraic form. Based on the semantics, it provides a series of properties, including satisfiability of quantified statement and aspect, inclusion, crossing and refinement of quantified statement, homomorphism, isomorphism, semantics preserved refinement, full semantics preserved refinement, equivalence replacement of aspects, etc. The work constructs a solid foundation for the theoretical research about AOP and is very helpful for understanding the real nature of AOP.

关 键 词：面向方面程序设计(AOP) 方面 语义 精化 同构 等价替换 

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