UML

 

软件设计和软件工程

软件设计: 把软件开发想清楚的过程.

软件工程: 对软件开发全过程进行建模和管理.

模型: 对问题的书面上的无歧义文字或图形的描述.简言之, 模型是对现实的简化. 通过模型, 人们可以了解所研究事物的本质.

最杰出的模型: 地图

建模: 对现实系统进行适当的过滤, 用适当的表现规则描述出简洁的模型.

建模是一种深入解决问题的方法.

 

建模的原则

(1). 选择建立什么样的模型对如何发现和解决问题具有重要的影响。正确的模型有助于提高开发者的洞察力。

2). 每个模型可以有多种表达方式. 使用者的身份和使用的原因是评判模型好坏的关键

(3). 最好的模型总是能够切合实际. 模型是现实的简化，必须保证简化过程不会掩盖任何重要的细节

(4). 孤立的模型是不完整的

 

软件建模的实现过程

软件建模的作用是把来源于现实世界的问题转化为计算机可以理解和实现的问题.

软件建模的实现过程是从需求入手, 用模型表达分析设计过程, 最终将模型映射成软件实现.

 

UML

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

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

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

UML 中一共有 13 种图:

   静态模型图: 描述系统的静态结构

类图****

对象图

包图                          

组件图

部署图

      动态模型图:描述系统行为的各个方面

用例图**

时序图***

协作图

状态图

活动图

 

UML 中的关系:

关联关系(association)

依赖关系(dependency)

泛化关系(generalization)

实现关系(realization)

 

用例图

 

用例图(Use Case Diagram): 也称为用户模型图, 是从软件需求分析到最终实现的第一步, 它是从客户的角度来描述系统功能.

用例图包含 3 个基本组件: 参与者(Actor), 用例(Use Case), 关系:

参与者(Actor): 与系统打交道的人或其他系统即使用该系统      的人或事物. 在 UML 中参与者用人形图标表示

用例(Use Case): 代表系统的某项完整的功能. 在 UML 中使     用一个椭圆来表示

 

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

泛化关系: 表示同一业务目的(父用例)的不同技术实现(各个子用例). 在 UML 中, 用例泛化用一个三角箭头从子用例指向父用例.

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

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

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

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

 

类图

 

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

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

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

类的表示法

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

 

 

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

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

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

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

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

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

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

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

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

对于两个相对独立的系统，当一个系统负责构造另一个系统的实例，或者依赖另一个系统的服务时，这两个系统之间体现为依赖关系.

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

对于两个相对独立的系统，当一个系统的实例与另一个系统的一些特定实例存在固定的对应关系时，这两个系统之间为关联关系。

 

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

关联关系的角色

当一个类处于关联的某一端时, 该类就在这个关系中扮演一个特定的角色. 具体来说, 角色就是关联关系中一个类对另一个类所表现的职责. 角色名称是名词或名称短语.

 

关联关系的多重性是指有多少对象可以参与该关联, 多重性可以用来表达一个取值范围, 特定值, 无限定的范围.

 

 

关联关系 ---- 聚合关系

聚合关联是一种特殊的关联. 它表示类间的关系是整体与部分的关系. 简言之: 关联关系中的一个类描述了一个较大的事物, 它由较小的事物组成.

聚合关系描述了 “has a” 的关系, 即整体对象拥有部分对象

整体和部分之间用空心菱形箭头的连线连接, 箭头指向部分

关联关系 ---- 组成关系

组成关系是更强形式的聚合.

组成关系中, 整件拥有部件的生命周期, 所以整件删除时, 部件一定会跟着删除. 而且, 多个整件不可以同时共享同一个部件。

聚合关系中, 整件不会拥有部件的生命周期, 所以整件删除时, 部件不会被删除. 再者, 多个整件可以共享同一个部件.

UML 中组成关系用实心的菱形实线表示

关联关系 ---- 导航性

导航性表示可从源类的任何对象到目标类的一个或多个对象遍历. 即: 给定源类的一个对象, 可以得到目标类的所有对象. 可以在关联关系上加上箭头表示导航方向.

只在一个方向上可以导航的关联称为单向关联,用一个带箭头的方向表示; 在两个方向上都可以导航的关联称为双向关联, 用一条没有箭头的实线表示.

 

      时序图

 

时序图用于描述对象之间的传递消息的时间顺序, 即用例中的行为顺序.

当执行一个用例时, 时序图中的每条消息对应了一个类操作或者引起转换的触发事件.

在 UML 中, 时序图表示为一个二维的关系图, 其中, 纵轴是时间轴, 时间延竖线向下延伸. 横轴代表在协作中各个独立的对象. 当对象存在时, 生命线用一条虚线表示, 消息用从一个对象的生命线到另一个对象的生命线的箭头表示. 箭头以时间的顺序在图中上下排列.

时序图中的基本概念

对象: 时序图中对象使用矩形表示, 并且对象名称下有下划线. 将对象置于时序图的顶部说明在交互开始时对象就已经存在了. 如果对象的位置不在顶部, 表示对象是在交互的过程中被创建的.

生命线:  生命线是一条垂直的虚线. 表示时序图中的对象在一段生命周期内存在. 每个对象底部中心的位置都带有生命线.

消息: 两个对象之间的单路通信. 从发送方指向接收方. 在时序图中很少使用返回消息.

时序图中的基本概念

激活: 时序图可以描述对象的激活和钝化. 激活表示该对象被占用以完成某个任务. 钝化指对象处于空闲状态, 等待消息. 在 UML 中, 对象激活时将对象的生命线拓宽为矩形来表示的. 矩形称为计划条或控制期. 对象就是在激活条的顶部被激活的. 对象在完成自己的工作后被钝化.

对象的创建和销毁: 在时序图中, 对象的默认位置是在图的顶部. 这说明对象在交互开始之前就已经存在了. 如果对象是在交互过程中创建的, 那么就应该将对象放到中间部分. 如果要撤销一个对象, 在其生命线终止点处放置 “ X” 符号.

 

活动图

 

在 UML 中, 活动图本质上就是流程图. 它用于描述系统的活动, 判定点和分支等.

活动图中的基本概念

动作状态: 原子的, 不可中断的动作, 并在此动作完成之后向另一个动作转变. 在 UML 中动作状态用圆角矩形           表示, 动作状态所表示的动作写在圆角矩形内部.

分支与合并:  分支在软件系统中很常见. 一般用于表示对象类所具有的条件行为. 用一个布尔型表达式的真假来判定动作的流向. 条件行为用分支和合并表达.在活动图中, 分支用空心小菱形      表示. 分支包括一个入转换和两个带条件的出转换, 出转换的条件应该是互斥的, 须保证只有一条出转换能够被触发. 合并包含两个带条件的入转换和一个出转换.

分叉与汇合: 分叉用来描述并发线程, 每个分叉可以有一个输入转换和两个或多个输出转换. 每个转换都可以是独立的控制流. 汇合代表两个或多个并发控制流同步发生, 当所有的控制流都达到汇合点后, 控制才能继续往下进行. 每个汇合可以有两个或多个输入转换和一个输出转换. 在 UML 中分叉和汇合用一条粗直线              表示

泳道: 泳道将活动图中的活动划分为若干组, 并将每一组指定给负责这组活动的业务组织. 泳道区分负责活动的对象, 明确地表示哪些活动是由哪些对象进行的. 每个活动指定明确地属于一个泳道. 在活动图中, 泳道用垂直实线绘出, 垂直线分隔的区域即为泳道

 

状态图

 

状态图: 通过建立对象的生存周期模型来描述对象随时间变化的动态行为.

状态图中的基本概念

状态: 用圆角矩形表示. 状态名称表示状态的名字, 通常用字符串表示. 一个状态的名称在状态图所在的上下文中应该是唯一的.

转换: 用带箭头的直线表示. 一端连着源状态, 一端连着目标状态.

初始状态: 每个状态图都有一个初始状态. 此状态代表状态图的起始位置. 初始状态只能作为转换的源, 不能作为转换的目标, 并且在状态图中只能有一个. 初始状态用一个实心圆表示.

终止状态: 模型元素的最后状态, 是一个状态图的终止点. 终止状态在一个状态图中可以有多个.

 

协作图

 

协作图(也叫合作图)是一种交互图.

时序图主要侧重于对象间消息传递在时间上的先后关系, 而协作图表达对象间的交互过程及对象间的关联关系。

 

包图简介

 

包图: 由包和包之间的关系组成. 包的图标就如同一个带标签的文件夹.

包提供了一种用于组织各种元素的分组机制. 在 UML 中, 包用来对元素进行分组, 并为这些元素提供命名空间.　包所拥有的或者引用的所有元素称为包的内容, 包没有实例.

组件图简介

 

组件图用来建立系统中各组件之间的关系, 各组件通过功能组织在一起.

Javabean, ejb, jsp 都是组件。在UML中，组件使用在左侧有两个小矩形的大矩形来表示。

组件图可以用来设计系统的整体构架。

部署图简介

 

部署图用来帮助开发者了解软件中的各个组件驻留在什么硬件位置, 以及这些硬件之间的交互关系。

节点: 用来表示一种硬件, 可以是打印机, 计算机等.节点的标记符号是一个三维框，在框的左上方包含了节点的名称。

通信关联: 节点通过通信关联建立彼此的关系，采用从节点到节点绘制实线来表示关联。