一个面向方面UML扩展.docVIP

一个面向方面UML扩展 　　摘要：本文给出了一个面向方面的UML扩展，描述了扩展的构造型及其含义。对于面向方面程序设计中的核心元素，给出了相应的元模型。该UML扩展为面向方面建模提供了一种可行的方法。 　　关键词：面向方面程序设计 面向方面建模 UML 　　中图分类号：TP311.1 文献标识码：A 文章编号：1007-9416(2012)07-0192-02 　　1、引言 　　面向方面程序设计(Aspect-Oriented Programming,AOP)[1]实现了了横切关注点的有效分离，通过将横切关注点局部化、模块化，达到对分散行为的控制和追踪。近年来，面向方面思想从AOP逐渐发展为面向方面软件开发(Aspect-Oriented Software Development,AOSD)[2]。 　　目前，AOP语言发展较快，已有大量的实用语言和编译系统，但面向方面软件开发还没有得到大范围的应用，面向方面思想没有贯穿到软件开发的全过程。我们认为其中一个重要原因是缺少可行的面向方面建模(AOM，Aspect-Oriented Modeling)语言。建模语言为软件设计提供了表达工具，在软件开发过程中占有重要地位。 　　UML(Unified Modeling Language)[3]是现在被广泛使用的面向对象建模语言。本文把面向方面思想引入UML，对UML进行了扩展，使其能够对面向方面软件建模。 　　2、面向方面程序设计 　　在AOP应用程序中，一个方面(Aspect)包括两部分：切入点(pointcut)和通知(advice)。一个切入点是一组连接点(join point)的集合，而一个连接点是程序流中的一个特定的执行点。通知(advice)是在连接点之前(before)、之后(after)、或前后(around)被执行的代码。 　　AspectJ[4]是目前被广泛使用的AOP语言。AspectJ的核心概念如下： 　　(1)连接点(join point)：执行应用程序过程中的一个可预见的点。 　　(2)切入点（pointcut）：一种专门用来识别并选择程序中的连接点的结构。 　　(3)通知（advice）：到达应用程序代码中的连接点处时要执行的代码。通知分为以下几种类型：before,after,after returning,after throwing,around，其中前四种分别表示在连接点执行之前、执行之后、正确执行之后、执行过程中有异常发生时执行通知代码，而around类型表示使用通知代码替换相应的基础程序代码。 　　(4)类型间声明(inter-type declaration)：一种向以前建立的类中添加属性及方法的机制，使用introduction关键字定义。 　　(5)方面（aspect）：类似于java类的结构，对连接点、切入点、通知及类型间声明进行封装。 　　(6)编织(weaving)：将横切关注点代码和基础应用程序集成在一起的过程。 　　3、面向方面的UML扩展 　　3.1 扩展的构造型(stereotype） 　　为了实现基于UML的面向方面建模，我们使用UML的扩展机制-构造型（stereotype）对UML进行了扩展。扩展的面向方面构造型及其含义如表1所示。 　　3.2 扩展的UML元模型 　　方面（Aspect）是面向方面程序设计中的核心元素。图1描述了方面的元模型。一个Aspect定义由多个切入点、通知、类型间声明，以及其它属性和函数组成。通知分为三种：before advice,after advice以及around advice。After类型的通知还可以细分为after returning advice和after throwing advice。类型间声明分为两种：method introduction和field introduction，分别表示在基础程序中追加定义的变量和函数。 　　通知是实现横切行为的代码，即被织入到类或对象中的方面代码。的元模型如图2所示。和对象中的函数类似，由多个属性和操作组成。 　　抽象Aspect和具体Aspect之间具有的关联关系，如图3所示。方面具有层次关系，且只有抽象的方面才能被继承。 　　方面和基础程序之间是一种横切的关联关系，如图4所示。一个方面可以横跨多个模块，即方面代码可以被织入到多个类中。 　　织入（weaving）是将方面代码和基础程序组合在一起的过程。根据被织入的基础程序的不同，可以将织入过程分为两种类型：基于类的织入和基于对象的织入，如图5所示。基于类的织入将方面代码织入到类中，该类的所有实例具有相同的行为。而基于对象的织入将方面代码织入到某个对象中，该织入过程不影响到该类的其它实例。基于对象的织入实现了更加灵活的功能扩充