软件工程 统一建模语言（Unified Modeling Language UML） 第4篇随笔

4.1、统一建模语言（Unified Modeling Language UML）

是一种可视化的语言

• 规约系统的制品
• 构造系统的制品
• 建立系统制品的文档

UML应用范围

• 可用于对象方法和构件方法
• 可用于所有应用领域和不同的平台

---

1.面向对象方法术语/符号

主要有两类术语：

• 一种是表达结构化事物的术语
• 一种是表达关系的术语

---

2. UML 术语表

一种是表达结构化事物的术语

• 对象：是系统中用来描述客观事物的一个实体。一个对象由一组属性和对这组属性进行操作一组方法组成。

• 类：是具有相同属性、操作、关系和语义的一组对象集合

  

• 属性：描述了对象的具体特征，属性具有属性名和属性值（属性状态）

  语法：可见性 属性名：类型 = 缺省值 {性质串}

  可见性：public(+)、protected(#)、private(-)、包内的(~)

• 操作（方法）：一个操作抽象了一个对象所要做的事情，并且该类的其它对象也要做这件事

  语法：可见性 操作名（参数表）：返回类型{性质串}

  可见性：public(+)、protected(#)、private(-)、包内的(~)

• 接口： 是操作的一个集合，其中每个操作描述了类、构件或子系统的一个服务

  

• 协作：是一个交互，涉及交互的三要素：交互各方、交互方式以及交互内容

  

• 用况：对一组动作序列的描述，系统执行这些动作应产生对特定参与者有值的、可观察的结果

  

• 主动类（类似java中的主启动类的main方法）：至少具有一个进程或线程的类。

  表示：两条竖线

  

• 构件：系统设计中的一种模块化部件，通过外部接口隐藏了它的内部实现

  

• 制品：系统中包含物理信息、可替代的物理部件

• 结点：运行时存在的物理元素，通常表示一种具有记忆能力和处理能力的计算机资源

  

• 多态性（Polymorphism）：是指一般了中定义的属性或服务被特殊类继承之后，可以具有不同的数据类型或表现出不同的行为

  多态性实现的方法：

  • 泛化
  • 定义一个抽象类或接口类

• 细化：是类目之间的语义关系，其中一个类目规约了保证另一类目执行的契约

  

• 包：是模型元素的一个分组，一个包本身可以被嵌套在其他包中，并且可以含有子包和其他类型的模型元素

  

---

一种是表达关系的术语

• 关联：反映了类与类之间的静态关系

  • 关联名（name）：关联可以有一个名字

  • 角色（role）：一个类参与一个关联时，有一个特定的角色

  • 多重性（multiplicity）：类中对象参与一个关联的数目

  • 聚合（aggregation）：一种特殊形式的关联，表达一种“整体/部分“关系，一个类是另一个类的一部分

    

  • 组合（composition）：是聚合的一种特殊形式

    

  • 限定符：一个限定符是一个关联的属性或属性表，这些属性的值将对该关联相关的对象集做了一个划分

  • 关联类：一种模型元素，它有关联和类的特性

  • 约束

• 泛化/继承：特殊类（子类）的对象拥有其一般类（超类）的全部属性和服务，称作特殊类对一般类的继承

  • 子类可继承父类的属性和操作，并可有更多的属性和操作

  • 子类可以替换父类的生明

  • 若子类的一个操作的实现覆盖了父类同一个操作的实现，这就是多态性，但两个操作必须具有相同的名字和参数

  • 一个类可以有0个、1个或多个父类。没有父类且最少有一个子类的类被称为根类或基类；没有子类的类称为叶子类

    

• 依赖：是一种使用关系，用于描述一个类目使用另一类目的信息和服务

  
  • 绑定（bind）：表明源的实例化是使用目标给定的实际参数来达到的
  • 导出（derive）：表明可以凑够目标推导出源
  • 允许（permit）：表明目标对源而言是可见的
  • 实例（instanceOf）：表明源的对象是目标的一个实例
  • 实例化（instantiate）：表明源的实例是由目标创建
  • 幂类型（powertype）：表明源的目标的幂类型
  • 精化（refine）：表明源比目标更精细
  • 使用（use）：表明源的公共部分的语义依赖于目标的语义

• 实现（realization）：是类目之间的一种语义关系，其中一个类目规约了保证另一个类目执行的契约

---

3.静态模型表达工具 -- 类图

类图是给出一组类、接口、协作以及它们之间关系的图

作用：

• 可用于可视化地表达系统的静态模型
• 是构件图和部署图的基础

类图的内容：类、接口、依赖、泛化、关联

---

类图的一般用法

类图主要用于对系统的静态设计视图（投影）进行建模，支持表达系统的功能需求，即系统提供给最终用户的服务。

• 对系统中的词汇建模

  当需要决策：使用哪些类目和UML关系，作为系统的组成部分；哪些类目和UML关系，处于系统之外。

• 对简单协作进行建模

  当需要一组类来表达系统中的某一事物语义时，可使用类图详细描述这组类以及它们之间的关系

• 对逻辑数据库模式建模

  当需要给出数据库概念设计的指导，可对要在数据库中存储的信息，采用类图相应的数据库模式进行建模

---

系统行为（交互）的建模工具 -- 顺序图

顺序图是一种交互图，即由一组对象以及这些对象之间的关系组成，其中还包含这些对象之间被发送的消息

顺序图包含的内容：

• 交互各方：角色或对象
• 交互方式：通信或链
• 交互内容：消息

5点说明：

• 顺序图包含了一些由时间定序的消息

  • 如果消息是异步的，用枝行箭头线表示：

    

  • 如果消息是同步的，

    则用实心三角箭头线表示：

    

    同步消息的回复用虚线枝行箭头线表示：

    

• 对象生命线，用于表示一个对象在一个特定的时间段中的存在

• 控制焦点，表达一个对象执行了一个动作的时间段

• 时序，一条生命线上的时序是非常重要的，使消息集合形成了一个偏序关系，建立了一个因果链

• 顺序图中的结构控制

  常见的控制类型：

  • 选择执行（Optional execution）：一种结构控制类型，标签为opt
  • 条件执行（Conditional execution）：一个结构控制类型，标签为alt
  • 并发执行（Parallel execution）：一个结构控制类型，标签为par
  • 迭代执行（iterative execution）：一个结构控制类型，标签为loop

---

系统行为（生存周期）的建模工具 -- 状态图

状态图是显示一个状态机，其中强调了从一个状态到另一个状态的控制流

状态图包含：

• 简单状态和组合状态
• 事件
• 转换

状态：

一个状态是类目的一个实例（简称对象）在其生存周期的一种条件（condition）或情况（situation），该期间该对象满足这一条件，执行某一活动或等待某一消息

表示：

状态的分类：

• 初态：表达状态机默认的开始位置，用实心圆来表示:

  

• 终态：表达状态机的执行已经完成，用内含一个实心圆的圆来表示：

  

• 正常状态（中间态）：既不是初态又不是终态

  

状态的规约：

• 名字：是一个标识状态的文本串
• 进入/退出效应（effect）
  • entry：该标号在进入该状态时所需要执行的、由相应动作表达式规定的动作，称为进入动作
  • exit：该标号在退出该状态时所需要执行的、由相应动作表达式规定的动作，称为退出动作
• 状态的内部转移：值没有导致该状态改变的内部转移；动作标号“do”
• 子状态：如果一个状态机中引入了另一个状态机，那么背引入的状态机称为子状态机
  • 非正交子状态机（顺序子状态机）
  • 正交子状态机（并发子状态机）

事件：

一个事件是对一个有意义的发生的规约，该发生有其自己的时空

• 内部事件：是在系统内对象之间传送的事件
• 外部事件：是在系统和它的参与者之间传送的事件

可模型化的4种事件

• 信号（signal）：是消息的一个类目，是消息的类型
• 调用（call）：一个调用事件表示对象接受到一个操作调用的请求
  • 可以使用在类的定义中的操作定义来规约调用事件
  • 该事件或触发状态机中的一个状态转换，或调用目标对象的一个方法
  • ”信号“是一种异步事件，而”调用“一般是同步事件，但调用可以规约为异步调用
• 时间事件和变化事件
  • 时间事件：是表示推移一段时间的事件
  • 变化事件：是表示一个条件得到满足或表示状态的一个变化
• 发送事件和接受事件
  • 发送事件：表示一个实例发送一个调用事件或信号事件
  • 接受事件：表示类的一个实例接受一个调用事件或信号事件

状态转换：

一个状态转换是两个状态间的一种关系

状态转换的规约，5个部分：

• 源状态：引发该状态转换的那个状态
• 转换触发器：在源状态中由对象识别的事情，并且一旦满足其监护条件，则使状态发生转换
• 监护条件：一个布尔表达式，当某个转换器触发器接受一个事件时，如果该表达式有值为真，则触发一个转换；值为假，则不发生状态转换，并且此时如果没有其它可以被触发的转换，那么该事件就要丢失
• 效应：一个可执行的行为
• 目标状态：状态完成后所处的那个状态