结构化（传统/面向对象）分析模型
核心是数据字典DD
面向对象分析模型
核心是使用实例（用例）
分析模型描述工具
结构化分析工具
数据流图DFD、数据字典DD和加工说明PSPEC【功能模型】
DFD、DD具体介绍见往期文章
加工说明PSPEC
说明DFD中的每个加工
描述工具：
结构化语言（过程设计语言）（类似伪代码）
决策表
决策树
盒图
控制流图CFG（CFD）、控制说明CSPEC和状态转换图STD【行为模型】
适合实时系统的分析
与DFD和PSPEC类似
和DFD与PSPEC配合使用
表示控制流和控制加工
CFG就是在DFD图的基础上添加了对系统的控制指令。
实体-联系图E-R图【数据模型】
实体-联系图是一种感念性的数据模型，包括3种相互关联的信息：
数据对象是可以由一组属性来定义的实体
属性定义了数据对象的性质
数据对象彼此之间相互连接的方式称为联系，也称为关系
1）一对一联系（1：1）
2）一对多联系（1：N）
3）多对多联系（M：N）（通常需要拆解成一对多联系或一对一联系）
一般会在联系与实体连接线上表明两个实体之间的联系类型
联系的属性：代表这个属性是联系两边的两个实体共同决定的。
状态转换图STD
状态
任何可以被观察到的系统行为模型，一个状态代表系统的一种行为模式。
在状态图中定义的状态主要有：初态（初始状态）、终态（最终状态）和中间状态。在一张状态图中有且仅有一个初态，而终态可以有0至多个。
事件
引起系统做动作或（和）从一个状态转换到另一个状态的外界事件的抽象。
面向对象分析工具
用例图
用例：系统和外部角色的交互（可以理解为功能）
用例之间的关系：
- 扩展关系：签汽车购买合同，扩展签保险单。
- 使用关系：签汽车保险单和签房屋保险单时都需要使用签保险单行为。
- 组合关系
对象-关系图【静态关系】
从E-R图演变而来，用于描述对象之间的关系
对象-行为图【动态关系】
描述对象的动态行为，对象状态转换图
文章内的图片均来源于网络
