从面向方面程序设计的定义到面向方面程序设计语言

目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为 面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序 设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面, 给出了量化语句与方面的语义。重申了面向方面程序设计的本质特性是Quantification与()bliviousncss,模块化横切 关注点只是其带来的一个好处。同时指出了面向方面程序设计是一种新型的程序设计范式,独立于面向对象等其它 程序设计方法。并且,基于此定义,给出了面向方面程序设计语言需满足的最小条件集,并比较了主流的面向方面程 序设计语言,探讨了这些语言在面向方面程序设计理念上的差异。     

一种AOP方面的代数语义

面向方面程序设计可以模块化横切关注点,因此受到工业界及学术界的广泛关注。目前模块化横切关注点几乎成为面向方面程序设计的代名词,而且有不少人士狭隘地将面向方面程序设计认为是面向对象程序设计的延续、扩展或补充。回顾了面向方面程序设计的定义,分析了产生这一现象的原因。并且形式化了定义中的量化语句和方面,给出了它们的语义。探讨了量化语句和方面的一系列性质,包括量化语句和方面的可满足性,量化语句的包含、交叉及精化关系,方面的同态、同构、构成、完全语义保持精化、语义保持精化及等价替换等关系。该研究为面向方面程序设计的理论研究打下了坚实的基础,也为更好地理解面向方面程序设计提供了有效的帮助。     

面向方面程序错误类型分析

面向方面编程是一种新的程序设计范型,它支持关注点的分离,解决了面向对象方法中代码“纠缠”和“分散”的问题,使模块的内聚性提高,耦合度降低,提高了代码的复用性。但是面向方面编程范型也给面向方面程序的测试带来了挑战,传统的测试技术不能完全适应,为了更好地进行测试,本文通过对AspectJ语言进行分析,给出了八种面向方面程序的错误类型,便于进一步地进行面向方面程序测试的研究。     

面向方面程序错误类型分析

面向方面编程是一种新的程序设计范型,它支持关注点的分离,解决了面向对象方法中代码"纠缠"和"分散"的问题,使模块的内聚性提高,耦合度降低,提高了代码的复用性.但是面向方面编程范型也给面向方面程序的测试带来了挑战,传统的测试技术不能完全适应,为了更好地进行测试,本文通过对AspectJ语言进行分析,给出了八种面向方面程序的错误类型,便于进一步地进行面向方面程序测试的研究.     

面向方面的程序设计综述

现在大多数的软件项目都选择OOP，但OOP技术也有其局限性，它对某些需求并不能很好地进行描述。本文介绍了一种全新的程序设计方法一面向方面的程序设计方法，这种程序设计方法可以有效地描述OOP方法不能描述的横切关注点；介绍了面向方面程序设计的基本思想以及面向方面程序设计语言AspectJ的基本概念及面向方面软件开发方法。     

面向方面建模方法的研究及其应用

面向对象方法已成为软件设计与开发的一项普遍技术.但是随着软件复杂性的提高,面向对象方法在模块化与适应性方面存在一定的局限性.针对该问题,一种新的软件方法--面向方面方法被提出.在现有面向方面技术的基础上提出了一套比较完善的建模方法,并针对一个具体实例在Ration Rose中实现了面向方面的建模.通过该方法对软件设计建模,可增强软件模块性与重用性.     

面向任务协同程序设计的研究

针对软件系统呈现出的新的自然特性,面向对象程序设计与面向方面程序设计不能提供很好的技术支撑。文章提出面向任务协同程序设计,对其思想和实现原理进行了阐述,并对其解决的问题与意义做了简述。     

面向方面软件开发在J2EE企业应用系统中的实现

面向方面编程(AOP)是面向对象编程(OOP)的扩展和延续,能够很好地解决横切关注点问题,实现了业务逻辑与非业务逻辑的解耦合.目前大部分研究还主要是把AOP作为一种程序设计方法加以研究的,实际上,AOP对于软件设计和开发过程的影响是全面的.因此在AOP的基础上,从概念、规约、实现三个视角定义了方面,并从概念层、规约层、实现层三个层次研究了面向方面软件开发(AOSD)的开发过程,在Spring框架下给出了J2EE企业应用系统的实现过程,与只使用OOP方法相比,不但简化了设计,也使代码更具可读性.     

面向方面软件开发在J2EE企业应用系统中的实现

面向方面编程（AOP）是面向对象编程（00P）的扩展和延续,能够很好地解决横切关注点问题,实现了业务逻辑与非业务逻辑的解耦合。目前大部分研究还主要是把AOP作为一种程序设计方法加以研究的,实际上,AOP对于软件设计和开发过程的影响是全面的。因此在AOP的基础上,从概念、规约、实现三个视角定义了方面,并从概念层、规约层、实现层三个层次研究了面向方面软件开发（AOSD）的开发过程,在Spring框架下给出了J2EE企业应用系统的实现过程,与只使用OOP方法相比,不但简化了设计,也使代码更具可读性。     

基于面向方面编程方法的研究

面向方面编程方法是一种新的程序开发方法,主要是为了弥补面向对象方法的一些不足。该文介绍了面向方面编程的基本概念、语法规范,并且以面向方面语言Aspectj为例说明面向方面编程的特点。     

面向方面程序的动态语义研究

目前,针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是,没有一种语义能被软件设计者和开发者所理解。针对该问题,在已有研究的基础上,应用统一程序理论中的设计来定义面向方面的动态语义。同时,以一个例子来说明该语义的使用。     

面向方面程序的静态语义研究

针对面向方面程序,许多研究者已定义了各种各样的形式语义。但是这些语义都不能够全面、准确地对面向方面程序的规范和方面声明部分进行描述。针对该问题,首先定义一种统一的面向方面程序的规范语言;其次对面向方面程序中的连接点和切点这两个重要概念进行形式化定义;再次引入结构变量表示面向方面程序的基本结构;最后应用统一程序理论中的设计定义面向方面的静态语义,并对其可靠性进行证明。同时,用一个例子说明该语义的使用。     

面向方面编程技术的研究

介绍了软件开发中横切关系带来的问题,以及这些问题的当前解决方法和这些方法的缺点。进而介绍AOP的编程方式及其模块化横切关注点的实现,最后总结了AOP的好处并对其在软件开发的前景进行了展望。     

基于AOP的面向对象程序的单元测试

单元测试被视为横切关注点，在软件测试过程中很重要。而面向方面编程(AOP)的主要目标就是分离横切关注点，因此，单元测试非常适合用AOP来解决。该文提出了在对面向对象程序进行单元测试时遇到的问题，并用AOP方法加以解决，同时比较了传统方法和AOP方法进行单元测试的优缺点。     

基于OOP和AOP的软件产品线实现技术研究

作为目前最为主流的软件开发技术,面向对象的编程OOP(Object-Oriented Programming)对于软件产品线可变性的实现提供了一定的支持.但OOP对于具有横切特性的产品线特征以及可选的特征交互关系仍然难以提供灵活、有效的支持,因此一些相关研究者将面向方面的编程AOP(Aspect-Oriented Programming)引入到产品线实现方法中.AOP不仅能分离横切的关注点,而且还通过依赖关系分离的方式为可选交互关系的灵活配置提供了有力的支持.显然,结合OOP和AOP这两种技术实现的产品线系统将具有更高的可复用性、灵活性和可配置性.在相关问题分析的基础上对基于OOP和AOP的产品线实现技术进行了研究,并通过一个酬金发放系统产品线的实例分析对相关方法进行了验证和分析.     

基于AOP的Web系统权限管理

为了把影响多个模块的行为封装到一个单独的可重用模块中,使系统拥有更好的模块化、可扩展性和可维护性,面向方面编程(AOP:AspectOrientedProgramming)是一种行之有效的方法。介绍了AOP的基本概念并举例说明SpringAOP在Web系统中权限管理开发的具体应用。实践表明,在Web系统中应用AOP后,系统的核心业务逻辑和安全权限逻辑分开,从而使系统的耦合性大大降低且易于扩展。     

形式化语言B的面向方面编程扩充

借助传统编程语言的面向方面编程扩充——AspectJ/AspectC＋＋的技术经验,提出形式化语言B的AOP扩充机制AspectB。分析了B语言针对AOP扩充在连接点范围及正确性验证方面的制约,提出连接点的范围必须限制在IMPLEMENTATION组件中,方面代码的正确性验证必须考虑连接点上下文所涉及的不变性条件。以一个简单图形编辑器为例,在B语言环境中描述面向方面编程的核心概念——连接点、连接点集合、建议代码、方面。