J4 ›› 2011, Vol. 46 ›› Issue (9): 48-52.

• Articles • Previous Articles     Next Articles

Research on modular reasoning of aspect-oriented programming

XIE Gang1,2, YANG Bo1,3   

  1. 1. College of Computer Science and Information, Guizhou University, Guiyang 550025, Guizhou, China;
    2. College of Mathematics and Computer Science, Guizhou Normal University, Guiyang 550001, Guizhou, China;
    3. Department of Physics and Electronics Information Science, Guiyang College, Guiyang 550005, Guizhou, China
  • Received:2011-05-19 Online:2011-09-20 Published:2011-09-08


Modular reasoning is discussed and applied widely in program analysis and verification fields, including static analysis, program evolution, program verification, and so on. Aspect-oriented programming (AOP) is quantifiable and oblivious, and it violates the traditional modular principle.So, its the modular reasoning of AOP becomes more difficult, which seriously affected its application prospects The objectives and type of reasoning about the aspect-oriented program are described in this paper.Several different approaches were introduced. The research shows that there are some unresolved problems about the modular reasoning. Finally, the potential research directions of modular reasoning of aspect-oriented programs are discussed.

Key words: aspect-oriented programming; modular; reasoning

No related articles found!
Full text



No Suggested Reading articles found!