（计算机应用技术专业论文）可信分布式实时系统的面向方面的mda方法.pdf

ad i s s e r t a t i o ns u b m i t t e dt og u a n g d o n g u n i v e r s i t yo f t e c h n o l o g yf o rt h ed e g r e eo fm a s t e ro fe n g i n e e r i n gs c i e n c e t h em e t h o do fa s p e c t - o r i e n t e dmd aw i t hd e p e n d a b l e d i s t r i b u t e dr e a l - t i m es y s t e m s c a n d i d a t e ：h u a n gj i a n t i n g 一一 s u p e r v i s o r ：p r o f z h a n gl i c h e n m a y2 0 10 f a c u l t yo fc o mp u t e r g u a n g d o n gu n i v e r s i t yo ft e c h n o l o g y g u a n g z h o u ，g u a n g d o n g ，p r c h i n a ，5 10 0 9 0 摘要 摘要 模型驱动架构( m d a ) 是基于一系列工业标准的软件开发框架，模型驱动整个 软件开发过程，使用支持工具可以实现模型之间、模型与代码之间的自动转换。 它的核心思想是建立能够完整描述系统需求但与具体的平台实现技术无关的平 台无关模型( p i m ) ，通过制定模型转换规则集，将平台无关模型转换为能够完整 表述系统需求，与具体实现技术相关的平台相关模型( p s r v 0 ，最后利用m d a 工 具将平台相关模型自动转换为代码。由于m i ) a 是基于面向对象的，因此，m d a 具有面向对象对系统非功能性需求开发存在不足的问题。 面向方面的软件开发方法弥补了面向对象的软件开发方法对系统非功能特 性需求开发存在的局限性问题。通过关注点分离技术分离出系统所有横切关注 点，然后对每个横切关注点进行分析、设计、模块化，以解决横切关注点在面向 对象软件开发中出现的代码缠绕和散射问题，增强系统的模块化程度，降低模块 间的耦合度。 本文通过深入研究模型驱动架构和面向方面技术，选用基于j a v a 扩展的面 向方面语言a s p e c t j 作为具体的平台实现技术，在m d a 中引入面向方面的思想， 在现有三阶段的m d a 开发过程中增加一个方面计算无关模型阶段( a c i m ) ，提出 四阶段面向方面的m d a 方法对系统非功能性需求进行开发，利用关注点分离技 术分离出系统的非功能性需求，再用方面模板技术对每个横切关注点单独设计、 模块化。四阶段分别为：a c i m 阶段、a p i m 阶段、a p s m 阶段、方面代码模型 阶段。a c i m 阶段使用u m l 用例建模技术建立方面计算无关模型，即方面业务 模型，它是与业务人员进行有效沟通的工具，更加明确表述系统非功能特性，降 低建立a p i m 的复杂性；通过深入研究u m l 的扩展机制，提出一种基于u m l 的双扩展方法，并定义了方面建模语言a o u m l 和a j u m l ，它们结合了对象约 束语言o c l 分别用于建立a p i m 、a p s m ，由于两阶段模型描述语言是在元模型 层次对u m l 进行扩展，建模语言之间存在映射关系，因此，模型之间的转换使 用元模型转换方法；方面代码模型阶段可以利用辅助工具将a p s m 转换为代码， 也可以实现a p s m 与代码模型之间的逆变换，根据a s p e c t j 的静态编织特性，在 编译代码时实现面向方面代码模型与面向对象代码模型的编织。 广东工业大学硕士学位论文 最后，将本文提出的四阶段面向方面的m d a 方法应用于开发可信分布式实 时系统的非功能性需求，详细阐述对横切关注点进行开发的整个过程。论证了四 阶段面向方面的m d a 方法可用于开发复杂系统的非功能性需求，能有效降低软 件开发的复杂性，降低模块之间的耦合度，增强模块化。 关键字：面向方面；m d a ；可信；分布式系统；实时系统 a b s t r a c t a b s t r a c t m o d e ld r i v e na r c h i t e c t u r e ( m d a ) i sb a s e do nas e r i e so fi n d u s t r y - s t a n d a r d s o f t w a r ed e v e l o p m e n tf i a m e w o r k s , m o d e ld r i v e st h es o f t w a r ed e v e l o p m e n tp r o c e s s , a n du s i n gs u p p o r tt o o lm o d e lc a r lt oa c h i e v ea u t o m a t i cc o n v e r s i o na m o n gt h em o d e l s ， b e t w e e nt h em o d e la n dt h ec o d e i t sc o r ei d e ai st oe s t a b l i s hap l a t f o r mi n d e p e n d e n t m o d e l ( p i m ) w i t hc o m p l e t ed e s c r i p t i o no fs y s t e mr e q u i r e m e n t sa n ds p e c i f i cp l a t f o r m i m p l e m e m a t i o nt e c h n o l o g y , t h r o u g has e r i e so fm o d e lt r a n s f o r m a t i o nr u l es e t ，t h e p l a t f o r mi n d e p e n d e n tm o d e l st ob ea b l et ot r a n s f e rt oc o m p l e t ep r e s e n t a t i o ns y s t e m r e q u i r e m e n t s ，a n ds p e c i f i ci m p l e m e n t a t i o nt e c h n i q u e s r e l a t e dt op l a t f o r ms p e c i f i c m o d e l ( p s m ) ，f i n a l l y , u s i n gm d a t o o l sw i l lb em a k i n gp l a t f o r ms p e c i f i cm o d e l a u t o m a t i c a l l yt r a n s f e r r e dt oc o d e s i n c em d a i sb a s e do no b j e c t - o r i e n t e d ，s o ，m d a w i t ho b j e c t - o r i e n t e dd e v e l o p m e n to fn o n - f u n c t i o n a lp r o p e r t i e ss h o r t a g ei s s u ea l s o a s p e c t - o r i e m e d s o f t w a r e d e v e l o p m e n t m e t h o d sm a k eu po b j e c t - o r i e n t e d s o f t w a r ed e v e l o p m e n tm e t h o d si ns y s t e md e v e l o p m e n tn e e d so fn o n - f u n c t i o n a l c h a r a c t e r i s t i c so ft h e e x i s t i n g l i m i t a t i o n s q u e s t i o np r o b l e m u s es e p a r a t e t e c h n o l o g yo fc o n c e r n ss e p a r a t e sa l lt h ec r o s s c u t t i n gc o n c e r n so ft h es y s t e m , a n dt h e n a n a l y z e d ，d e s i g n e d ，m o d e l e df o re a c hc r o s s - c u t t i n gc o n c e r n s , t oa d d r e s sc r o s s c u t t i n g c o n c e r n si no b j e c t - o r i e n t e ds o f t w a r ed e v e l o p m e n t , t h ec o d et a n g l i n ga n ds c a t t e r i n g p r o b l e m s , e n h a n c i n g t h es y s t e m sm o d u l a rd e g r e e ，l o w e r i n gc o u p l i n gb e t w e e n m o d u l e s t h r o u g hp r o f o u n ds t u d y o fm o d e ld r i v e na r c h i t e c t u r ea n da s p e c t o r i e n t e d t e c h n o l o g y , t h ei d e ao fa s p e c t - o r i e n t e d i si n t r o d u c e di n t om d a , t h ee x i s t i n g t h r e e s t a g em d ad e v e l o p m e n tp r o c e s st o i n c r e a s eo n ea s p e c to ft h ec o m p u t a t i o n i n d e p e n d e n tm o d e ls t a g e ( a c i m ) ，p r o p o s e df o u r - s t a g em e t h o do fa s p e c t o r i e n t e d m d af o rs y s t e m n o n - f u n c t i o n a lp r o p e r t i e st od e v e l o p f o u rs t a g e sa r e a c i ms t a g e ， a p i ms t a g e ，a p s ms t a g e ，a s p e c t so ft h ec o d em o d e ls t a g e a c i ms t a g eu st h e u m lu s e - c a s em o d e l i n gt e c h n i q u e st oe s t a b l i s ha s p e c t so fc o m p u t a t i o ni n d e p e n d e n t m o d e lt h a ti sa l s oc a l l e dt h eb u s i n e s sm o d e l , w h i c hi sae t t e c t i v et o o lo f i 广东工业大学硕士学位论文 c o m m u n i c a t i n gw i t hp e r s o n n e l ，m o r ec l e a r l ys t a t i n gt h es y s t e mn o n - f u n c t i o n a l p r o p e r t i e s ，r e d u c i n gt h ec o m p l e x i t y o fe s t a b l i s h i n ga p i m ；m o d e l i n gl a n g u a g e a o u m la n da 彤ma r ed e f i n e db yt h ed o u b l ee x p a n s i o nm e t h o db a s e do nu m l ， w h i c hc o m b i n e st h eo 巧e c tc o n s t r a i n tl a n g u a g eo c ls ot h a tt h e ya r eu s e df o r e s t a b l i s h i n ga p i m ，a p s m a st h et w o - s t a g em o d e ld e s c r i p t i o nl a n g u a g ei st h el e v e l o ft h eu m lm e t a - m o d e le x t e n s i o n s ，m a p p i n ge a c ho t h e rb e t w e e nm o d e l i n gl a n g u a g e ， t h e r e f o r e ，u s et h ee l e m e mm o d e lc o n v e r s i o nm e t h o df o rm o d e lc o n v e r s i o n , t h e s p e c i f i ct e c h n o l o g yp l a t f o r m u s e d a s p e c t - o r i e n t e d s o f t w a r e d e v e l o p m e n t l a n g u a g e a s p e c t j ；t h el a s ts t a g e ，c a nu s ea u x i l i a r yt o o l st oc o n v e r ta p s mi n t oc o d e ； v i c ev e r s a ，c o d ec a nb ec o n v e n e di n t oa p s m t h ec o d ei t s e l fi sam o d e la n dt h e i n v e r t e rc a nh ea c h i e v e dt ot h ea p s m f i n a l l y ，t h em d af o u r - s t a g em e t h o da p p l i e dt od e v e l o p i n gf o rt h ed i s t r i b u t e d r e a l - t i m es y s t e mo fd e p e n d a b i l i t yw i t hn o n - f u n c t i o n a lc h a r a c t e r i s t i c s ，i l l u s t r a t e dt h e c r o s s c u t t i n gc o n c e m so ft h ed e v e b p m e n tp r o c e s s ，a n dd e m o n s t r a t e df o u r - s t a g e m e t h o do fa s p e c t - o r i e n t e dm d at h a tc a nb eu s e df o rc o m p l e xs y s t e m n o n - f u n c t i o n a l c h a r a c t e r i s t i c s ，c a ne f f e c t i v e l yr e d u c et h ec o m p l e x i t yo fs o f t w a r ed e v e b p m e n ta n d r e d u c ec o u p l i n gb e t w e e nm o d u l e st oe n h a n c et h es y s t e m sm o d u l a r k e yw o r d s ：a s p e c t - o r i e n t e d ；m d a ；d e p e n d a b i l i t y ；d i s t r i b u t e ds y s t e m ；r e a l t i m e s y s t e m i v 目录 目录 摘要i a b s t r a c t 1li 目录v c o n t e n t s v ili 第一章绪论1 1 1 研究背景1 1 2 国内夕 研究观状2 1 3 论文研究意义4 1 4论文研究内容4 1 5 论文组织结构5 第二章相关理论与技术7 2 1 m d a 7 2 1 1m d a 概j i ! l ! 7 2 1 2m d a 体系结构7 2 1 3 模型转换1 0 2 1 4m d a 核心规范1 l 2 2 面向方面软件开发1 2 2 2 1 面向编程a o p 1 2 2 2 2 面向方面软件开发a o s d 1 7 2 2 3 面向方面语言一a s p e c t j 1 8 2 3 u m l ：! o 2 3 1u m l 简述2 0 2 3 2u m l 的扩展机制2 3 第三章可信分布式实时系统2 5 3 1 分布式系统2 5 v 广东工业大学硕士学位论文 3 1 1 分布式系统概述2 5 3 1 2 分布式系统的特征2 5 3 1 3 分布式系统的体系结构2 6 3 2 实时系统2 7 3 2 1 实时系统概述2 7 3 2 2 实时系统的特征2 8 3 2 3 实时系统分类2 9 3 3 可信分布式实时系统2 9 3 3 1 可信计算系统2 9 3 3 2 可信分布式实时系统概述3 1 3 3 3 可信分布式实时系统的特征3 1 3 3 4 可信分布式实时系统的应用3 2 第四章面向方面的m d a 软件开发3 4 4 1面向方面的m d a 软件开发方法3 4 4 2 方面建模语言3 5 4 2 1u m l 的双扩展方式3 5 4 3 面向方面的m d a 建模3 6 4 3 1 方面c i m ( a c i m ) 3 6 4 3 2 方面p i m ( a p i m ) 的元模型3 7 4 3 3 方面p i m ( a p i m ) 3 8 4 3 4 方面p s m ( a p s m ) 的元模型3 9 4 3 5 方面p s m ( a p s m ) 4 l 4 4 面向方面的m d a 模型转换4 3 4 4 1a c i m 到a p i m 的转换4 3 4 4 2a p i m 到a p s m 的转换4 4 4 4 3a p s m 到方面代码的转换4 6 第五章面向方面m d a 方法在可信分布式实时系统开发中的研究4 7 5 1a c i m 阶段4 7 5 1 1 分离横切关注点4 7 v i 目录 5 1 2 建立a c i m 4 9 5 1 3a c i m 精细化5 0 5 2a p i m 阶段5 4 5 2 1 建立a p i m 5 4 5 2 2 a p i m 精细化5 6 5 3a p s m 阶段5 7 5 3 1 建立a p s m 5 7 5 3 2a p s m 精细化5 8 5 4 方面代码模型阶段6 0 5 5 本章小结6 2 结论6 3 参考文献6 5 攻读学位期间发表的论文6 9 独创性声明7 0 致谢7 1 v i i 广东工业大学硕士学位论文 c o n l f l 孙汀s c hin e s ea b s t r a c t i a b s t r a c t i ii c hin e s ec o n t e n t s v c o n t e n t s v i ii c h a p t e r1 in s t r o d u c tio n 1 1 1t h eb a c k g r o u n do fr e s e a r c h 。1 1 2t h ed o m e s i ca n dt h eo v e r s e a sr e s e a r c hs t a t u s 。二 n 1 3 s i g n i f i c a n c eo ft h er e s e a r c h 4 1 4t h ec o n t e n to ft h i sa r t i c l e 4 1 5t h ec h a p t e ro ft h i sa r t i c l e b c h a p t e r2 r eia t e dt h e o r ya n dt e c h n oio g y 7 2 1m d a 7 2 1 1t h ei n s t r u c t i o no fm d a 7 2 1 2t h ea r c h i t e c t u r eo fm d a 7 2 1 3m o d e l i n gt r a n s f o r m a t i o n s 1 0 2 1 4t h ec o r es p e c i f i c a t i o no fm d a 1 1 2 2a s p e c t o r i e n t e ds o f t w a r ed e v e l o p m e n t 1 2 2 2 1a s p e c t o r i e n t e dp r o g r a m i n g ( a o p ) 1 2 2 2 2a s p e c t o r i e n t e ds o f t w a r ed e v e l o p m e n t ( a o s d ) 1 7 2 2 3a s p e c t 。o r i e n t e dl a n g u a g e 。a s p e c t j 1 8 2 3u m l 2 0 9 殳1t h ei n s t r u c t i o no fu m l 2 0 “u j l 2 3 2t h ee x t e n s i o nm e c h a n is mo fu m l 2 3 c h a p t e r3d e p e n d a b i ed i s t ri b u t e dr e a l - t i m es y s t e m s 2 5 3 1d is t r i b u t e ds y s t e m 2 5 3 1 1t h ei n s t r u c t i o no fd is t r i b u t e ds y s t e m 2 5 c o n t e n t s 3 1 2t h ec h a r a c t e r is t i co fd i s t r i b u t e ds y s t e m 2 5 3 1 3t h ea r c h i t e c t u r eo fd is t r i b u t e ds y s t e m 2 6 3 2r e a l t i m es y s t e m s 2 7 3 2 1t h ei n s t r u c t i o no fr e a l t i m es y s t e m s 2 7 3 2 2t h ec h a r a c t e r i s t i co fr e a l t i m es y s t e m s 2 8 3 2 3t h ec l a s s i f i c a t i o no fr e a l t i m es y s t e m s 2 9 3 3 d e p e n d a b l ed i s t r i b u t e dr e a l t i m es y s t e m s 2 9 3 3 1t r u s t e dc o m p u t i n gs y s t e m 2 9 3 3 2t h ei n s t r u c t i o no fd e p e n d a b l ed i s t r i b u t e dr e a l - t i m e s y s t e m s ：i l 3 3 3t h ec h a r a c t e r i s t i co fd e p e n d a b l ed i s t r i b u t e dr e a l - t i m e s y s t e m s 3 1 3 3 4t h ea p p l i c a t i o no fd e p e n d a b l ed i s t r i b u t e dr e a l - t i m e s y s t e m s 3 2 c h a p t e r4t h em e t h o do fa s p e c t o rie n t e dm d as o f t w a r ed e v eio p m e n t 3 4 4 1t h em e t h o do fa s p e c t o r i e n t e dm d as o f t w a r ed e v e l o p m e n t 3 4 4 2 a s p e c t o r i e n t e dm o d e l i n gl a n g u a g e 3 5 4 2 1t h ed o u b l ee x t e n s io nm e c h a n is mo fu m l 3 5 4 3t h em o d e li n go fa s p e c t o r i e n t e dm d a 3 6 4 3 1 a s p e c tc i m ( a c i m ) 3 6 4 3 2t h em e t a m o d e lo fa s p e c tp i m ( a p i m ) 3 7 4 3 3 a s p e c tp i m ( a p i m ) 3 8 4 3 4t h em e t a m o d e lo fa s p e c tp s m ( a p s m ) 3 9 4 3 5 a s p e c tp s m ( a p s m ) 4 1 4 4m o d e lt r a n s f o r m a t i o no fa s p e c t o r i e n t e dm d a 4 3 4 4 1a c i mt oa p i mt r a n s f o r m a t i o n 4 3 4 4 2a p i mt oa p s mt r a n s f o r m a t i o n 4 4 4 4 3a p s mt oa s p e c tc o d em o d e lt r a n s f o r m a t i o n 4 6 i x 广东工业大学硕士学位论文 c h a p t e r5 t h em e t h o do fa s p e c t o rie n t e dm d aa p p iyt od e v eio p d e p e n d a biedis t r ib u t e dr e ai tim es y s t e m s 4 7 5 1a c i mp h a s e 4 7 5 1 1 s e p a r a t i o no fc r o s s c u t t i n gc o n c e r n s 4 7 5 1 2a c i mb u il d i n g 4 9 5 1 3a c i mr e f i n i n g 5 0 5 2a p i mp h a s e 5 4 5 2 1a p i mb u il d i n g 5 4 5 2 2a p i mr e f i n i n g 5 6 5 3a p s mp h a s e 5 7 5 3 1a p s mb u i l d in g 5 7 5 3 2a p s mr e f i n i n g 5 8 5 4 a s p e c tc o d em o d e lp h a s e 6 0 5 5 c h a p t e rc o n c l u s i o n 6 2 c o n c l u s i o n 6 3 r e f e r e n c e s 6 5 p u b l i c a t i o n sd u r i n gm a s t e r ss t u d y 6 9 p r o m e t h e a na n n o u n c e m e m 7 0 a c k n o w l e d g e m e n t 7 1 x 第一章绪论 1 1 研究背景 第一章绪论 随着计算机应用到各个领域的广度、深度不断扩大，软件的需求变的越来越 复杂，传统的软件开发方法已经不能满足软件需求的增长，逐渐呈现出软件开发 的生产效率、可移植性、互操作性、维护与文档等一系列问题。软件开发从传统 的基于汇编语言到基于面向过程语言，再到基于面向对象语言，从低级语言到高 级语言都是为解决日益复杂的软件需求产生的软件开发生产效率等一系列问题， 在软件开发过程中会产生作为工件的图表、文档等模型，随着编码阶段的进展， 需求的改变导致这些图表文档与代码之间的联系会越来越少，最后将不再是代码 的精确说明。于是出现了一些改进的软件开发方法如敏捷开发、极限编程等，虽 然这些方法在一定程度上可以解决以上的一些问题，但是软件开发的关注点还是 基于代码，而模型只是开发过程的工件。面对同益增长的软件需求变化，复杂的 企业业务处理流程，新技术平台的出现，如何提高软件的适应变化能力，改变软 件的可移植性，可维护性，可扩展性，提升软件的开发效率，文档的效用性等， 成为软件开发所面临的挑战性问题。 模型驱动软件开发提供了上述问题的解决之道。模型驱动软件开发方法模型 作为整个软件开发的核心，驱动整个软件开发过程，利用工具根据平台技术将模 型自动转换为代码，有效地降低编码的人为错误，加快软件开发的效率，增强软 件的可移植性。模型即文档，持久化保存，需求改变可以通过工具修改模型并快 速地实现模型间自动转换，完美解决了传统软件开发方法过程中文档维护困难的 问题。 m d a 是o m g 于2 0 0 2 年发布的基于一系列标准的开放软件开发框架，它基 于统一建模语言( u n i f i e dm o d e l i n gl a n g u a g e ，u m l ) ，元对象设施( m e t ao b j e c t f a c i l i t y , m o f ) ，x m l 元数据交换( x m lm e t a d a t ai n t e r c h a n g e ，x m i ) ，公共数据仓 库元模型( c o m m o nw a r e h o u s em e t a - m o d e kc w m ) 等，并支持模型的可视化、存 储和交换。其核心思想是根据系统业务需求建立系统的业务模型计算无关模型 ( c o m p u t a t i o n a li n d e p e n d e n tm o d e lc i m ) ，再将计算无关模型转换为与平台无关能 广东工业大学硕士学位论文 完整描述系统功能的平台无关模型( p l a t f o r mi n d e p e n d e n tm o d e l , p i m ) ，通过制定 映射规则，利用工具根据映射规则将平台无关模型转换为与具体平台技术相关的 平台相关模型( p l a t f o r ms p e c i f i cm o d e l ，p s 峋，最后将平台相关模型自动转换为代 码。通过建立c i m ，p i m 和p s m ，m d a 的目的是分离业务建模与底层平台技术， 以保护建模的成果不受平台技术改变的影响。 关注点分离是软件工程领域极为重要的原则，从传统的面向过程到面向对象 的软件开发方法，都是在不同程度上实现关注点的分离，以达到实现复杂的业务 需求，代码模块化的目的，促进了软件开发技术的不断进步。然而，这些传统的 方法难以实现如：安全性、分布、实时性、性能、日志等一切称为“横切关注点一 的分离。采用面向过程和面向对象的方法实现横切关注点的分离存在许多问题， 例如：代码纠缠、散射、代码重用性差等问题。 面向方面编程简称a o p ( a s p e c to r i e n t e dp r o g r a m m i n g ) ，它是o o p 的延伸， 也是一种编程思想。它的核心思想将系统的非功能性横切关注点抽象成方面，模 块化非功能性需求。a o p 解决了横切关注点的有效分离，通过将横切关注点局 部化、模块化，达到对分散行为的控制和追踪。面向方面的出现并不是要取代 o o p ，而是互补。 随着互联网技术的发展，网络对人类的生活和工作越来越重要，基于网络的 分布式实时系统软件的应用也越来越广泛。可信分布式实时系统是现实世界最为 复杂的一类系统，它一种具有可以提供确实可信服务的分布式实时系统，可信性 主要涉及：可靠性，可用性，可测性，可维护性，安全性，保密性。这些非功能 性特性散射到系统的每一个地方，横切整个系统，仅用传统的面向对象的软件开 发方法不能够很好的实现非功能性的关注点的分离，不能很好的对系统进行模块 化，很难完成可信分布式实时系统的开发。可信分布式实时系统的非功能性需求 和功能性需求分别用面向方面与面向对象的m d a 软件开发方法进行开发，在代 码层进行编织组合，进而完成整个复杂的系统开发，面向方面与面向对象的m d a 软件开发方法相结合，完美解决复杂的可信分布式实时系统的开发难题。 1 2 国内外研究现状 m d a 思想推出不久，i b m 、o r a c l e 、i o n a 等等都急忙宣称将在自己的企业 级软件解决方案中融入m d a 的思想，两大建模工具厂商r o t i o n a l 和t o g e t h e r 也 2- 第一章绪论 声明自己的产品开始加入对m d a 的支持，甚至连国内e r p 软件领袖企业之一 的金蝶软件也不甘寂寞，在其b o s 基础平台的发布会上说b o s 系统成功实现了 d a 。 2 0 世纪9 0 年代早期美国硅谷弹岷c 研究中心首席科学家o r e g o rk i c z a l e s ( 目 前是加拿大不列颠一哥伦比亚大学计算机科学教授) 带领的研究小组先后尝试了 反射( r e f l e c t i o n ) 和元对象协议( m e t a - o b j e c tp r o t o c 0 1 ) 等多种技术，但这些技术非常 复杂，难以被广泛利用。最终，g r e g o rk i c z a l e s 等抓住了问题的要害：“横切 ， 1 9 9 7 年的欧洲面向对象编程大会( e c o o p 9 7 ) 上最初提出面向方面编成 ( a s p e c t o r i e n t e dp r o g r a m m i n g ，a o p ) 的概念。每年一度的 “i n t e r n a t i o n a l c o n f e r e n c e o n a s p e c t o r i e n l e ds o f t w a r ed e v e l o p m e n t 己经分别在英国、美国、德 国举行，2 0 0 7 年3 月在加拿大温哥华召开了第六届面向方面软件开发国际会议， 是国际a o s d 相关理论、技术发展的汇总。 面向方面的建模技术是当前a o p 技术领域研究的一个热点，统一建模语言 ( u m l ) 不但是面向对象软件系统分析和设计的必备工具，也是a o s d 方法各个阶 段都要用到的工具。如何在u m l 中引入了对横切关注点的描述与表示方法，进 行了a o p 扩展，以适应面向方面软件开发方法的