本书主要介绍基于UML2.5标准的系统建模基本理论、软件需求分析与设计方法，书中提供了软件案例的UML示例说明，以提高学生的软件分析与设计水平，进一步拓展学生分析问题、解决问题的能力，达到培养“厚基础，宽口径，会应用，能发展”的卓越人才的目的。

更多科学出版社服务，请扫码获取。

目录
第1章 绪论 1
1.1 UML 的发展史 1
1.2 UML 在日常生活中的应用 2
1.3 本课程学习中需要注意的问题 3
第一部分 UML 建模理论概述
第2章 面向对象方法 6
2.1 了解面向对象产生的原因 6
2.2 面向对象方法基本概念与特征 8
2.2.1 面向对象的概念 8
2.2.2 面向对象的特征 9
2.2.3 面向对象的要素 10
2.3 面向对象方法学开发过程 11
2.4 面向对象下一步发展方向 13
第3章 统一建模语言 15
3.1 建模语言三个类别 15
3.2 UML 特点15
3.3 基本元素 18
3.3.1 结构元素 18
3.3.2 行为元素 20
3.3.3 分组元素 21
3.3.4 注释元素 21
3.4 关系元素 21
3.5 常用的9 种图介绍 22
3.5.1 用例图 22
3.5.2 类图 24
3.5.3 对象图 28
3.5.4 状态图 29
3.5.5 活动图 31
3.5.6 顺序图 32
3.5.7 协作图 32
3.5.8 组件图 33
3.5.9 部署图 34
3.6 网络教学系统案例UML 简单图示 34
3.6.1 系统功能 34
3.6.2 系统的UML 建模 35
第4章 RUP 统一过程43
4.1 RUP 产生 43
4.2 基于统一过程的UML 系统建模 45
4.3 二维开发模型 46
4.4 RUP 开发过程 47
4.4.1 初始阶段 47
4.4.2 细化阶段 47
4.4.3 构造阶段 47
4.4.4 交付阶段 48
4.5 RUP 核心工作流 48
4.5.1 商业建模 48
4.5.2 需求 48
4.5.3 分析与设计 48
4.5.4 实现 48
4.5.5 测试 49
4.5.6 部署 49
4.5.7 配置和变更管理 49
4.5.8 项目管理 49
4.5.9 环境 49
4.6 RUP 的要素和经验 49
4.6.1 RUP 十大要素49
4.6.2 RUP 六大经验52
4.6.3 RUP 的优势与不足52
第5章 Enterprise Architect 建模工具 54
5.1 常用的UML 建模工具概述 54
5.1.1 Rational Rose 54
5.1.2 Rational Software Architect 55
5.1.3 PowerDesigner 55
5.1.4 Visio 56
5.1.5 免费的ArgoUML 56
5.2 Enterprise Architect 13.0 说明56
第6章 UML 2.5 标准 65
6.1 相关行业标准协会OMG65
6.2 UML 规则66
6.3 通用机制 67
6.4 UML 标准通用机制69
6.5 UML 的体系结构73
6.6 UML 2.5 概述 74
6.7 UML 2.5 图介绍 75
第7章 需求获取 104
7.1 需求流概述 104
7.2 需求获取的困难 105
7.2.1 软件需求获取面临的困难 105
7.2.2 软件需求获取困难的原因 105
7.2.3 需求工程过程 106
7.3 需求获取的方法 106
7.4 复杂系统的复杂网络需求获取方法 107
7.5 需求获取路线图 111
7.6 需求案例 112
7.6.1 人事管理系统功能需求描述 112
7.6.2 系统的UML 表示 114
第8章 需求分析 116
8.1 确定客户需要什么 116
8.2 需求分析方法 118
8.2.1 面向对象分析方法 118
8.2.2 陈述需求 119
8.2.3 建立逻辑模型 119
8.2.4 以学生管理系统为例寻找类并建立类模型 120
8.2.5 建立过程模型 123
8.3 需求分析路线图 125
8.4 分析人事管理系统案例 125
第9章 设计 128
9.1 设计概述 128
9.2 面向对象设计 129
9.3 设计路线图 134
9.4 设计案例 134
9.4.1 系统结构设计 134
9.4.2 核心用例的组件图 134
9.4.3 系统数据库设计 135
第10章 实现 138
10.1 对象实现 138
10.1.1 程序设计语言 138
10.1.2 类的实现 138
10.1.3 应用系统的实现 139
10.2 实现人事管理系统案例 139
10.2.1 系统登录界面 139
10.2.2 员工信息界面 140
10.2.3 假条信息界面 142
10.2.4 工资信息界面 142
10.2.5 用户权限登录 144
第11章 测试 148
11.1 测试流 148
11.2 面向对象测试模型 149
11.3 测试人事管理系统案例 155
第三部分 高级课题
第12章 UML 的形式化 158
12.1 OCL 标准约束 158
12.1.1 xor 约束 159
12.1.2 子集约束 160
12.2 对象约束语言 160
12.3 约束的语境 161
12.4 导航表达式 162
12.4.1 跟随链接 162
12.4.2 对象和聚集 163
12.4.3 迭代遍历 163
12.4.4 遍历限定关联 163
12.4.5 使用关联类 164
12.5 OCL 数据类型和操作 164
12.5.1 基本类型 164
12.5.2 模型类型 165
12.5.3 聚集 165
12.5.4 聚集操作 166
12.6 约束 167
12.6.1 基本约束 168
12.6.2 组合约束 168
12.6.3 迭代约束 169
12.7 构造型化的约束 170
12.7.1 类不变量 170
12.7.2 前置条件和后置条件 170
12.7.3 按契约设计 171
12.8 约束和泛化 172
12.9 OCL 小结 173？
12.10 建模方法介绍 173
12.11 UML 与形式化方法的结合 174
12.11.1 直接对UML 模型进行形式化语义定义 174
12.11.2 UML 到形式化方法的转换 175
12.12 形式化方法 175
12.12.1 形式化方法介绍 175
12.12.2 B 方法 176
12.12.3 需求获取形式化语言的表示 178
12.13 形式化的案例 178
12.13.1 免疫系统 178
12.13.2 免疫系统建模 179
12.13.3 系统模拟及结果分析 192
第四部分 实验案例
第13章 综合案例 196
13.1 通讯录安卓版需求分析 196
13.1.1 基本功能需求 196
13.1.2 系统用例分析 196
13.2 总体设计方案 198
13.2.1 系统类图 198
13.2.2 状态图 199
13.2.3 顺序图 200
13.3 详细设计 202
13.3.1 开发环境 202
13.3.2 系统界面设计 202
13.3.3 程序设计 203
13.4 系统测试 206
13.4.1 系统测试的意义及目的 206
13.4.2 测试步骤 206
13.4.3 测试数据 206
参考文献 207
附录 UML 2.5标准技术词汇 208