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

Abstract:

Aspect-oriented programming (AOP) gains great attention from both industrial community and academic community with its advantage of modularizing crosscutting concerns. Nowadays modularizing crosscutting con-cerns almost become the nickname of AOP. And many people simply believe that AOP is just an extension or sup-plement 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 satisfiabil-ity of quantified statement and aspect, inclusion, crossing and refinement of quantified statement, homomorphism, isomorphism, semantics preserved refinement, full semantics preserved refinement, equivalence replacement of as-pects, etc. The work constructs a solid foundation for the theoretical research about AOP and is very helpful for understanding the real nature of AOP.

Key words: aspect-oriented programming (AOP), aspect, semantics, refinement, isomorphism, equivalence replacement