您的位置:山东大学 -> 科技期刊社 -> 《山东大学学报(理学版)》

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

• CTCIS 2011 会议 • 上一篇    下一篇

面向方面的模块化推理框架研究

谢刚1,2,杨波1,3   

  1. 1.贵州大学计算机科学与信息学院, 贵州 贵阳 550025;
    2.贵州师范大学数学与计算机科学学院, 贵州 贵阳 550001;
    3.贵阳学院物理与电子信息科学系, 贵州 贵阳 550005
  • 收稿日期:2011-05-19 出版日期:2011-09-20 发布日期:2011-09-08
  • 作者简介:谢刚(1980- ),男,讲师,博士研究生,研究方向为软件形式化. Email:48263091@qq.com
  • 基金资助:

    贵州省科学技术基金项目(黔科合J字[2009]2119号)

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

摘要:

3.贵阳学院物理与电子信息科学系, 贵州 贵阳 550005)〖GK2*2]摘要:模块化推理在程序分析和程序验证领域得到了广泛的关注与应用,其应用范围涵盖了程序静态分析、程序进化、程序验证等方面。由于面向方面程序设计(aspect-oriented programming, AOP)存在量化和易忘性等特点,违反了传统程序方法学中的模块化原则,从而容易引起方面干扰问题,使对面向方面程序进行模块化推理更加困难,严重影响了AOP的应用前景。本文阐述了面向方面程序的模块化推理目标和类型,描述了常用的面向方面程序的模块化推理方法,总结了面向方面程序的模块化推理尚存在的一些问题,指出了可能的研究方向。

关键词: 面向方面程序设计;模块化;推理

Abstract:

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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!