基于UML2.0的面向方面建模方法研究

面向方面编程是一种基于关注点分离的新技术,它成功解决了面向对象编程中所存在的代码缠结和散射问题,但在软件设计阶段并没有得到很好的支持。通过分析面向方面编程的特点及其概念,比较UML2.0的两种不同扩展方法,提出了基于Profile机制来定义新的模型元素,并为其增加新的语义,再通过对象约束语言(OCL)来对这些新增模型元素加以约束,从而实现了UML2.0对面向方面建模的支持。     

面向方面的软件系统动态交互行为建模

面向方面编程是一种基于关注点分离的新技术,它成功地解决了面向对象编程中存在的代码缠结和散射问题。但是,在软件设计阶段,面向方面建模并没有得到很好的支持。通过分析面向方面编程的特点以及UML2．0新增的复合片段概念,本文提出了应用顺序图中的可选片段来表示Aspect与组件之间的横切交互行为,并给出将Aspect引入顺序图 的相关规定,实现了UML2．0顺序图对面向方面建模的支持。     

面向方面的软件体系结构描述语言AO-ADL

分析面向方面编程(AOP)的核心思想及其优越性,将编码阶段的AOP概念进一步提升到软件体系结构层次。在软件体系结构描述语言XYZ/ADL的基础上,通过增加新的元素和相关复合机制,得到一种面向方面的体系结构描述语言AO-ADL,实现了在软件体系结构中横切功能的模块化。     

UML2．0类图的一种形式化描述方法

UML类图是根据系统中的类，以及各个类之间的关系来描述系统的静态视图。基于UML缺乏精确语义描述的不足，我们提出了基于时序逻辑语言XYZ／E来表示类图形式化语义的方法。通过对UML2．0类图元素及其特点的分析，找出类图元素的形式化描述规则，利用转换法实现了对UML2．0类图的XYZ／E形式化描述。