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

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

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

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

谢刚^1,2,杨波^1,3

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 Gang^1,2, YANG Bo^1,3

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

摘要/Abstract

摘要：

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

谢刚1,2,杨波1,3. 面向方面的模块化推理框架研究[J]. J4, 2011, 46(9): 48-52.

XIE Gang1,2, YANG Bo1,3. Research on modular reasoning of aspect-oriented programming[J]. J4, 2011, 46(9): 48-52.

参考文献

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed

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

Research on modular reasoning of aspect-oriented programming

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

多维度评价

本文评价

推荐阅读 0