UML教程

UML是一种定义良好、易于表达、功能强大且普遍适用的建模语言。它溶入了软件工程领域的新思想、新方法和新技术。它的作用域不限于支持面向对象的分析与设计,还支持从需求分析开始的软件开发的全过程。

UML(UnitedModeling Language, 统一建模语言): 是一种基于面向对象的可视化建模语言.

UML 采用了一组形象化的图形(如类图)符号作为建模语言, 使用这些符号可以形象地描述系统的各个方面

UML 通过建立图形之间的各种关系(如类与类之间的关系)来描述模型.

　作为一种建模语言,UML的定义包括UML语义和UML表示法两个部分。

　(1) UML语义　描述基于UML的精确元模型定义。元模型为UML的所有元素在语法和语义上提供了简单、一致、通用的定义性说明,使开发者能在语义上取得一致,消除了因人而异的最佳表达方法所造成的影响。此外UML还支持对元模型的扩展定义。

 

　　(2) UML表示法　定义UML符号的表示法,为开发者或开发工具使用这些图形符号和文本语法为系统建模提供了标准。这些图形符号和文字所表达的是应用级的模型,在语义上它是UML元模型的实例。

 

标准建模语言UML的重要内容可以由下列五类图(共9种图形)来定义:

 

·第一类是用例图

　　从用户角度描述系统功能,并指出各功能的操作者。

       用例之间的关系 ---- 泛化关系

              泛化关系: 表示同一业务目的(父用例)的不同技术实现(各个子用例). 在 UML 中, 用例泛化用一个三角箭头从子用例指向父用例. 以下是某购物网站为用户提供不同的支付方式

用例之间的关系----包含关系

l 一个用例可以包含其他用例具有的行为, 并把它包含的用例行为作为自身行为的一部分. 在UML 中包含关系用虚线箭头加“<<include>>”, 箭头指向被包含的用例\

用例之间的关系----扩展关系

l 如果在完成某个功能的时候偶尔会执行另外一个功能, 则用扩展关系表示.在UML 中扩展关系用虚线箭头加“<<extend>>”, 箭头指向被扩展的用例

·第二类是静态图(Static diagram)

　　包括类图、对象图和包图。其中类图描述系统中类的静态结构。不仅定义系统中的类,表示类之间的联系如关联、依赖、聚合等,也包括类的内部结构(类的属性和操作)。类图描述的是一种静态关系,在系统的整个生命周期都是有效的。对象图是类图的实例,几乎使用与类图完全相同的标识。他们的不同点在于对象图显示类的多个对象实例,而不是实际的类。一个对象图是类图的一个实例。由于对象存在生命周期,因此对象图只能在系统某一时间段存在。包由包或类组成,表示包与包之间的关系。包图用于描述系统的分层结构。

 

·第三类是行为图(Behavior diagram)

　　描述系统的动态模型和组成对象间的交互关系。其中状态图描述类的对象所有可能的状态以及事件发生时状态的转移条件。通常,状态图是对类图的补充。在实用上并不需要为所有的类画状态图,仅为那些有多个状态其行为受外界环境的影响并且发生改变的类画状态图。而活动图描述满足用例要求所要进行的活动以及活动间的约束关系,有利于识别并行活动。

 

·第四类是交互图(Interactive diagram)

　　描述对象间的交互关系。其中顺序图显示对象之间的动态合作关系,它强调对象之间消息发送的顺序,同时显示对象之间的交互;合作图描述对象间的协作关系,合作图跟顺序图相似,显示对象间的动态合作关系。除显示信息交换外,合作图还显示对象以及它们之间的关系。如果强调时间和顺序,则使用顺序图;如果强调上下级关系,则选择合作图。这两种图合称为交互图。

 

·第五类是实现图( Implementation diagram )。其中

　　构件图描述代码部件的物理结构及各部件之间的依赖关系。一个部件可能是一个资源代码部件、一个二进制部件或一个可执行部件。它包含逻辑类或实现类的有关信息。部件图有助于分析和理解部件之间的相互影响程度。

　　配置图定义系统中软硬件的物理体系结构。它可以显示实际的计算机和设备(用节点表示)以及它们之间的连接关系,也可显示连接的类型及部件之间的依赖性。在节点内部,放置可执行部件和对象以显示节点跟可执行软件单元的对应关系。

类图

l  类图是面向对象系统建模中最常用的图. 是定义其他图的基础.

l  类图主要是用来显示系统中的类, 接口以及它们之间的关系.

l  类图包含的主要元素有类, 接口和关系. 其中关系有关联关系, 泛化关系,依赖关系和实现关系. 在类图中也可以包含注释和约束.

l  类是类图的主要组件, 由 3 部分组成: 类名, 属性和方法. 在 UML 中, 类用矩形来表示, 顶端部分存放类的名称, 中间部分存放类的属性, 属性的类型及值, 底部部分存放类的方法, 方法的参数和返回类型.

l  在 UML 中可以根据实际情况有选择的隐藏属性部分或方法部分或两者都隐藏

l  在 UML 中, 公有类型有 + 表示, 私有类型用 – 表示, 保护类型用# 表示. UML 的工具开发商可以使用自己定义的符号表示不同的可见性

接口的表示法

l  接口中包含方法, 但不包含属性. 在 UML 中接口用一个带有名称的圆圈表示, 并且通过一条实线与它的模型元素相连

l  有时候接口也使用普通类符号表示

类之间的关系 ---- 泛化关系

l  在 UML 中, 泛化关系用来表示类与类, 接口与接口之间的继承关系. 泛化关系有时也称为”is a kind of”关系

l  在 UML 中泛化关系用一条实线空心箭头由子类指向父类

类之间的关系 ---- 实现关系

l  在 UML 中, 实现关系用来表示类与接口之间的实现关系.

l  在 UML 中实现关系用一条虚线空心箭头由子类指向父类

类之间的关系 ---- 依赖关系

l  对于两个相对独立的系统，当一个系统负责构造另一个系统的实例，或者依赖另一个系统的服务时，这两个系统之间体现为依赖关系. 例如生产零件的机器和零件，机器负责构造零件对象; 充电电池和充电器，充电电池通过充电器来充电;自行车Bicycle和打气筒Pump，自行车通过打气筒来充气

 

l  在现实生活中，通常不会为某一辆自行车配备专门的打气筒，而是在需要充气的时候，从附近某个修车棚里借个打气筒打气。在程序代码中，表现为Bicycle类的expand()方法有个Pump类型的参数。以下程序代码表示某辆自行车先后到两个修车棚里充气：

类之间的关系 ---- 关联关系

l  对于两个相对独立的系统，当一个系统的实例与另一个系统的一些特定实例存在固定的对应关系时，这两个系统之间为关联关系。例如客户和订单，每个订单对应特定的客户，每个客户对应一些特定的订单；公司和员工，每个公司对应一些特定的员工，每个员工对应一特定的公司；自行车和主人，每辆自行车属于特定的主人，每个主人有特定的自行车。而充电电池和充电器之间就不存在固定的对应关系，同样自行车和打气筒之间也不存在固定的对应关系。

l  Person类与 Bicycle 类之间存在关联关系，这意味着在 Person 类中需要定义一个 Bicycle 类型的成员变量

关联关系的名称

l  关联关系的名称: 关联关系可以有一个名称, 用于描述该关系的性质.  此关联名称应该是动词短语, 因为它表明源对象正在目标对象上执行动作.

标准建模语言UML的静态建模机制是采用UML进行建模的基础。我认为,熟练掌握基本概念、区分不同抽象层次以及在实践中灵活运用,是三条最值得注意的基本原则。