基于UML状态图的面向方面软件建模.docVIP

基于UML状态图的面向方面软件建模 　　摘要：该文基于UML状态图对缓存并发读写问题进行面向方面的建模，把系统的同步和调度分离出来，建模为方面。该方法有效解决了面向对象中功能和代码混乱的现象，也提高了系统模块的可复用性。 　　关键词：面向方面；UML；状态图； 同步；调度 　　中图分类号：TP311文献标识码：A文章编号：1009-3044(2011)09-2087-03 　　Aspect-oriented Software Modeling Based on UML State Diagram 　　ZHI Lin-xian 　　(Computer Department, Lishui College, Lishui 323000, China) 　　Abstract: This paper analyses the problem of reading and writing buffer concurrently which is modeled by using aspect-oriented based on UML state diagram .The synchrony and scheduling is separated from system and modeled as aspect. This method solves the problem of code-tangling and function-tangling in OOP effectively and also increases the reusability of system module. 　　Key words: aspect orientation; UML; state diagram; synchrony; scheduling 　　当前，面向对象编程(OOP)得到了广泛的应用,OOP在开发复杂系统时体现出了其强大的能力[1]。但是OOP无法模块化横切整个系统的单元，如实时约束、安全策略、异常捕捉与处理、日志记录等，因此OOP在解决横切关注点(crosscutting concerns)时造成了代码的分散和混乱。面向方面的编程(Aspect-oriented programming) 则把这些横切关注点封装成单独的模块，称为方面(Aspect)。通过织入(weaving)技术把这些代码和核心模块组合在一起，在不改变原有模块封装性的前提下解决了上述问题[2-4]。 　　AOP是一种新的编程规范，但它不是对OOP的否定，而是OOP思想的补充和发展[2]。目前OOP发展比较成熟，在建模方面有统一的建模语言(UML)支持[5]。而AOP大都在程序级和执行级实现，在软件开发的早期阶段运用较少，还没有正式的建模技术和统一的建模标准。鉴于AO是OO技术的补充，可以使用UML及其扩展机制对面向方面的软件建模[6-7]。 　　1 面向方面编程 　　目前支持面向方面的编程语言有很多，如AspectJ、AspectC++、AspectC等。尽管它们有不同的语言规范，但是理论基础大致相同，模型和实现机制比较类似：采用了连接点模型显式地声明程序的横切结构、通知机制指定在程序执行过程中遇到匹配的切入点时应当采取什么行动等。下面就是一些AOP的核心概念[2,7]: 　　方面(Aspect)：方面是AOP的核心概念，它类同于OOP中类的概念。方面是横切关注点模块化的基本单元，是横切行为的封装体。从代码实现的角度来看，方面是面向方面编程语言的语言结构，它将AOP中实现横切行为所需要的语法元素（切入点、通知体等）都封装在同一个逻辑单元里，并且可以拥有自定义的结构成员(如数据成员和方法等)。 　　连接点(Joinpoint)：连接点是指在程序的结构中或执行流中能够被标识的位置，是可能发生横切行为的位置。方法体的调用或执行，属性赋值或读取等代码都可以看成是连接点。 　　切点（Pointcut）：切点就一个或者多个连接点的逻辑组合，用来捕获或识别程序流中的连接点以及这些连接点相关的上下文值。一个系统通常有多个横切关注点，分别对应不同的横切面，AOP需要为每个横切面定义一个 切点，定义切点的关键在于精确捕获横切面对应的所有连接点。 　　通知（Advice）：通知是预先定义好的在连接点处执行的代码，称为“通知体”，通知体不仅定义了横切行为的内容，还定义了横切关注点和核心关注点的横切关系。横切关系一般有before、after、around三种。，其中before是指在连接点所标识的代码执行之前执行通知体，after是指在连接点所标识的代码执行之后再执行通知体，而around是指由通知体代替连接点所标识的代码。 　　2 面向方面建模