功能模型

指明系统应该做什么

UML-用例图

用例（代表一类功能而不是使用该功能的某个具体实例。。用例是从用户观点出发的，不是系统观点。。用例粒度：宁粗勿细） 执行者（用户，其他软件系统，硬件设备）
执行者间关系：
泛化关系（相当于继承）：一般和特殊关系(特殊指向一般)
用例间关联：
泛化关系：一般特殊关系

包含：把几个用例公共步骤分离成一个单独的被包含用例
被包含用例可以重复使用（虚线箭头）
扩展：某些可选的或只在特定条件下才执行的用例，是对基本用例的扩展（<>） 扩展用例指向基础用例
extend 扩展用例

包含和扩展的区别：
扩展用例是可选的，而包含用例不是
如果缺少扩展用例，基础用例还是完整的，缺少包含用例则不完整
扩展用例的执行需要满足某种条件，包含不用

对象模型

UML-类图

动态模型

UML-状态图

传统方法学需求分析建模:
功能模型 数据流图
数据模型 实体关系图
行为模型 状态图