一种支持动态演化的AOP框架

doi:10.3969/j.issn.1000-3428.2012.19.013

计算机工程 ›› 2012, Vol. 38 ›› Issue (19): 52-55. doi: 10.3969/j.issn.1000-3428.2012.19.013

一种支持动态演化的AOP框架

杨曦¹，李彤²

(1. 福州大学阳光学院计算机工程系，福州 350015；2. 云南大学软件学院，昆明 650091)

收稿日期:2011-12-08 出版日期:2012-10-05 发布日期:2012-09-29
作者简介:杨曦(1977－)，女，讲师、硕士，主研方向：软件动态演化；李彤，教授、博士生导师
基金资助:
国家自然科学基金资助项目(60963007)；福建省教育厅科技基金资助项目(JB11251)

An AOP Framework Supporting Dynamic Evolution

YANG Xi¹, LI Tong²

(1. Department of Computer Engineering, Sunshine College, Fuzhou University, Fuzhou 350015, China; 2. School of Software, Yunnan University, Kunming 650091, China)

Received:2011-12-08 Online:2012-10-05 Published:2012-09-29

摘要/Abstract

摘要： 传统面向对象(OOP)框架对软件的变化性和复杂性支持有限。为此，基于C++语言，提出一种支持动态演化的面向方面编程框架——AODF。给出Bigraph理论的静态和动态建模过程，通过Bigraph反应系统实现AODF的动态演化，使用图形及形式化的项语言表述其演化过程。实验结果表明，与传统OOP框架相比，AODF的代码模块化程度更高，软件系统扩展性更好。

关键词: 面向方面编程, Bigraph理论, Bigraph反应系统, 动态演化, 软件体系结构

Abstract: To solve the problems that the traditional Object-oriented Programming(OOP) framework supports the change and complexity of software insufficiently, it proposes an Aspect-oriented Programming(AOP) framework supporting dynamic evolution, called AODF, which is based on C++ language. It proposes the static and dynamic modeling process of Bigraph theory, realizes AODF dynamic evolution via Bigraph Reaction System(BRS) and depicts evolution process by using its graph and formal term language. Experimental results show that AODF is more modular, and it has better scalability of the software system, compared with OOP.

Key words: Aspect-oriented Programming(AOP), Bigraph theory, Bigraph Reaction System(BRS), dynamic evolution, software architecture

中图分类号:

TP311

杨曦, 李彤. 一种支持动态演化的AOP框架[J]. 计算机工程, 2012, 38(19): 52-55.

YANG Xi, LI Tong. An AOP Framework Supporting Dynamic Evolution[J]. Computer Engineering, 2012, 38(19): 52-55.

http://www.ecice06.com/CN/Y2012/V38/I19/52

参考文献

[1] Lehman M M, Ramil J F. Software Evolution——Background, Theory, Practice[J]. Information Processing Letters, 2003, 88(1/2): 33-44.
[2] ?erná I, Va?eková P, Zimmerova B. Component Substitutability via Equivalencies of Component-interaction Automata[J]. Electronic Notes in Theoretical Computer Science, 2007, 182: 39-55.
[3] Cazzola W, Pini S, Ghoneim A, et al. Co-evolving Application Code and Design Models by Exploiting Meta-data[C]//Proceedings of the 12th Annual ACM Symposium on Applied Computing. Seoul, South Korea: ACM Press, 2007: 1275-1279.
[4] 任洪敏, 张敬周, 杨志应. 基于π演算的动态软件架构研究[J]. 计算机科学, 2009, 36(9): 127-130.
[5] 李长云, 李赣生, 何频捷. 一种形式化的动态体系结构描述语言[J]. 软件学报, 2006, 17(6): 1349-1359.

[6] Milner R. Bigraphical Reactive Systems: Basic Theory[R]. Cam- bridge, UK: University of Cambridge, Tech. Rep.: UCAM-CL- TR-523, 2001.
[7] 曲立平, 刘大昕, 杨静. 面向方面的自动化重构方法[J]. 计算机工程, 2008, 34(6): 43-44.
[8] 刘敬勇, 张立臣, 钟勇. 面向方面的可配置实时系统开发方法[J]. 计算机工程, 2010, 36(8): 46-48.
[9] Kiczales G, Mendhekar A. Aspect-oriented Programming[C]// Proceedings of ECOOP’97. [S. l.]: Springer-Verlag, 1997: 220- 242.
[10] 曹东刚, 梅宏. 面向Aspect的程序设计——一种新的编程范型[J]. 计算机科学, 2003, 30(9): 5-10.
[11] Jensen O H, Milner R. Bigraphs and Mobile Processes[R]. Cambridge, UK: University of Cambridge, Tech. Rep.: UCAM-CL-TR-580, 2004.
[12] Birkedal L, Bundgaard M, Milner R, et al. Bigraphical Program- ming Languages for Pervasive Computing[C]// Proceedings of Pervasive International Workshop on Combining Theory and Systems Building in Pervasive Computing. [S. l.]: IEEE Press, 2006: 653-658.
[13] Elrad T, Filman R E, Bader A. Aspect-oriented Programming[M]. [S. l.]: Springer-Verlag, 1997.
[14] Robin M. Axioms for Biographical Structure[J]. Journal of Mathematical Structures in Computer Science, 2005, 15(6): 1005-1032.

[1]	江璐璐,胡珀,贝超. 基于子主题增强的演化式多文档摘要生成[J]. 计算机工程, 2018, 44(7): 172-176.
[2]	何成万,青旺,徐雅琴,严柯. 基于AOP与SQL结构分析的SQLIAs动态检测及防御[J]. 计算机工程, 2018, 44(4): 154-160.
[3]	张晶,王中正,范洪博. 基于随机Petri网的嵌入式软件能耗模型[J]. 计算机工程, 2017, 43(9): 316-321.
[4]	姜慧，周霆. EEG信号动态演化过程的研究[J]. 计算机工程, 2013, 39(9): 206-209,213.
[5]	汤进, 陈影, 江波, 罗斌. 基于复杂网络的图像建模与特征提取方法[J]. 计算机工程, 2013, 39(5): 243-247,252.
[6]	马苏拉. 软件体系结构的广义视角研究[J]. 计算机工程, 2012, 38(23): 42-46.
[7]	仇书礼, 初佃辉, 孟凡超. 基于Spring的构件动态演化机制[J]. 计算机工程, 2012, 38(2): 69-71.
[8]	岳洋, 曾广平. 支持动态演化的开放构件模型及其设计规范[J]. 计算机工程, 2012, 38(13): 33-36.
[9]	赵磊, 吕莉媛, 赵国生. 一种软件体系结构级基本路径覆盖方法[J]. 计算机工程, 2012, 38(10): 60-62.
[10]	邬小龙, 郭兵, 沈艳. 改进BP神经网络在软件能耗分析中的应用[J]. 计算机工程, 2012, 38(10): 185-187.
[11]	周桂芳, 卢科, 岳丽华. 一种基于日志的增量式编织机制[J]. 计算机工程, 2012, 38(01): 51-54.
[12]	包书勇, 王忠群. 网构软件演化的业务一致性验证方法[J]. 计算机工程, 2011, 37(17): 29-31.
[13]	陈建明, 刘松, 李志蜀, 丁革建. 基于形式化监控的可信软件构造模型[J]. 计算机工程, 2011, 37(01): 65-68.
[14]	符丁;黄汉堂. 基于本体和多Agent的面向任务协同编程[J]. 计算机工程, 2010, 36(9): 47-49.
[15]	李媛媛. 基于面向方面编程的J2EE源代码保护[J]. 计算机工程, 2010, 36(8): 147-149.

选择文件类型/文献管理软件名称

选择包含的内容

一种支持动态演化的AOP框架

An AOP Framework Supporting Dynamic Evolution

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

一种支持动态演化的AOP框架

An AOP Framework Supporting Dynamic Evolution

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价