软件工程 统一建模语言（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个部分：
- 源状态：引发该状态转换的那个状态
- 转换触发器：在源状态中由对象识别的事情，并且一旦满足其监护条件，则使状态发生转换
- 监护条件：一个布尔表达式，当某个转换器触发器接受一个事件时，如果该表达式有值为真，则触发一个转换；值为假，则不发生状态转换，并且此时如果没有其它可以被触发的转换，那么该事件就要丢失
- 效应：一个可执行的行为
- 目标状态：状态完成后所处的那个状态
