UML与软件建模

2.3.6 状态图 20
2.3.7 活动图 21
2.3.8 构件图 22
2.3.9 部署图 22
2.4 公共机制 23
2.4.1 规约 23
2.4.2 修饰符 23
2.4.3 扩展机制 23
2.5 小结 24
习题2 24
第3章 用户模型视图 26
3.1 用案图 26
3.1.1 系统 27
3.1.2 参与者 27
3.1.3 用案 32
3.2 用案的控制流语义 45
3.2.1 包含关系中的控制流 46
3.2.2 扩展关系中的控制流 46
3.2.3 泛化关系中的控制流 47
3.2.4 其他关系中的控制流 47
3.3 用案建模 48
3.4 小结 51
习题3 51
第4章 结构模型视图 53
4.1 基本概念 53
4.1.1 数据类型 54
4.1.2 多重性 55
4.2 类 55
4.3 类与对象 56
4.3.1 属性 56
4.3.2 操作 58
4.3.3 可见性 58
4.3.4 对象标识 59
4.4 关联 59
4.4.1 自关联 60
4.4.2 关联的多重性 61
4.4.3 角色名 62
4.4.4 关联的具体化 62
4.5 泛化和特化 63
4.5.1 泛化层次 65
4.5.2 泛化的含义 65
4.5.3 抽象类 66
4.6 属性和操作的继承 67
4.6.1 在子类中添加特征 68
4.6.2 在子类中覆盖操作 68
4.6.3 抽象操作 69
4.7 关联泛化 70
4.8 聚合关系 71
4.9 组合关系 73
4.10 关联类 75
4.11 受限关联 77
4.12 多继承 80
4.12.1 源自于公共祖先的继承 80
4.12.2 mixin技术 81
4.12.3 判别式 82
4.13 模板类 83
4.14 接口 84
4.15 小结 85
习题4 85
第5章 行为模型视图 87
5.1 序列图 87
5.1.1 对象生命线 89
5.1.2 交互的描述 89
5.1.3 时间约束的表示 91
5.1.4 条件分支的表示 91
5.1.5 重复执行的表示 91
5.1.6 递归调用的表示 92
5.1.7 对象的创建和撤销 92
5.2 协作图 93
5.2.1 协作图的类型 94
5.2.2 箭头标签 96
5.2.3 多对象 97
5.2.4 主动对象 97
5.3 状态图 99
5.3.1 状态 100
5.3.2 事件 107
5.3.3 变迁 108
5.4 活动图 111
5.4.1 状态和变迁 112
5.4.2 子活动状态 115
5.4.3 动态并发 115
5.4.4 泳道 116
5.4.5 工作流建模示例 116
5.5 小结 120
习题5 121
第6章 实现模型视图 124
6.1 包 124
6.1.1 包的名字 125
6.1.2 元素可见性 125
6.1.3 包间的依赖关系 126
6.1.4 包间的泛化关系 127
6.1.5 标准衍型 128
6.2 子系统 129
6.3 模型 131
6.4 构件图 132
6.4.1 构件 133
6.4.2 源代码文件建模 134
6.4.3 可执行程序和库建模 135
6.4.4 表、文件和文档建模 136
6.5 小结 137
习题6 137
第7章 环境模型视图 139
7.1 结点 139
7.2 处理器和设备建模 141
7.3 构件的分布建模 142
7.4 嵌入式系统建模 142
7.5 客户-服务器建模 143
7.6 小结 144
习题7 144
第2篇 建模篇
第8章 UML与软件体系结构建模 146
8.1 UML用作体系结构描述语言 147
8.1.1 体系结构建模实例 148
8.1.2 C2概述.. 148
8.1.3 C2风格用于会议调度系统建模 149
8.1.4 用UML建模C2风格的会议调度系统 152
8.2 约束UML以支持软件体系结构建模 155
8.2.1 基于C2的扩展 156
8.2.2 基于Wright的扩展 161
8.2.3 基于Rapide的扩展 167
8.3 小结 171
习题8 172
第9章 UML与实时系统建模 173
9.1 实时系统的特征 173
9.2 实时统一建模语言UML-RT 175
9.2.1 端口和连接子 175
9.2.2 封装体 179
9.2.3 协议 180
9.2.4 Rational Rose RealTime 181
9.3 GPRS网关支持结点GGSN 182
9.4 GGSN建模 184
9.4.1 需求工作流程 184
9.4.2 分析和设计工作流程 189
9.4.3 实现工作流程 203
9.5 小结 203
习题9 203
第10章 基于UML的软件测试技术 204
10.1 软件测试基础 205
10.1.1 软件规约和测试 205
10.1.2 软件测试生命期 208
10.1.3 面向对象软件的测试 211
10.2 基于状态图的测试 213
10.2.1 基于控制流的测试用例生成 214
10.2.2 基于数据流的测试用例生成 219
10.3 基于活动图的测试 222
10.3.1 形式活动图的语法与语义 225
10.3.2 基于形式活动图的测试用例生成 227
10.3.3 座位预订问题 234
10.4 基于协作图的测试 240
10.4.1 规约层协作图和实例层协作图 241
10.4.2 静态测试 243
10.4.3 动态测试 245
10.5 基于用案图的测试 246
10.5.1 生成用案序列 247
10.5.2 识别用案场景 253
10.5.3 生成变体序列 262
10.6 小结 262
习题10 263
第11章 UML模型到关系数据库的映射 264
11.1 结构映射 264
11.1.1 主键的生成 264
11.1.2 属性类型到域的映射 265
11.1.3 属性到列的映射 266
11.1.4 类到表的映射 266
11.1.5 关联关系的映射 269
11.1.6 应避免的映射情况 271
11.2 引用完整性及关系约束检查 273
11.2.1 父表操作的约束 273
11.2.2 子表的约束 276
11.3 其他相关问题 277
11.3.1 索引 277
11.3.2 存储过程 277
11.3.3 触发器 278
11.4 实例——航空公司UML模型的映射 278
11.5 功能到SQL语句的映射 281
11.6 小结 282
习题11 282
第12章 UML模型的C++实现 285
12.1 概述 285
12.2 属性和方法的映射 287
12.3 泛化与特化关系的映射 290
12.4 关联关系的映射 292
12.4.1 单向关联的映射 292
12.4.2 双向关联的映射 292
12.4.3 强制对可选关联的映射 293
12.4.4 强制对强制关联的映射 294
12.4.5 可选对可选关联的映射 295
12.4.6 可选对多关联的映射 295
12.4.7 强制对多关联的映射 297
12.4.8 多对多关联的映射 297
12.4.9 有序关联的映射 298
12.4.10 关联类的映射 299
12.5 受限关联关系的映射 300
12.5.1 强制对强制（可选/多）受限关联的映射 302
12.5.2 可选对可选受限关联的映射 302
12.5.3 可选对强制受限关联的映射 303
12.5.4 可选对多受限关联的映射 303
12.5.5 多对可选受限关联的映射 304
12.5.6 多对强制受限关联的映射 304
12.5.7 多对多受限关联的映射 305
12.5.8 有序受限关联的映射 306
12.6 聚合关系和组合关系的映射 306
12.7 特殊类的映射 307
12.7.1 枚举类的映射 307
12.7.2 模板的映射 307
12.7.3 接口类的映射 308
12.7.4 实用工具类的映射 310
12.8 包的映射 310
12.9 项目管理系统实例 311
12.9.1 类图的映射 312
12.9.2 对象图的映射 316
12.9.3 序列图的映射 318
12.9.4 协作图的映射 319
12.9.5 状态图的映射 320
12.9.6 活动图的映射 321
12.10 小结 322
习题12 323
第3篇 应用篇
第13章 数码录音机UML建模实例 328
13.1 需求分析 328
13.1.1 外部事件 329
13.1.2 用案 330
13.1.3 场景 331
13.2 分析——对象结构 334
13.2.1 识别对象 334
13.2.2 建立类图 334
13.3 域分析——定义对象行为 340
13.3.1 对象的状态及对象间的关系 341
13.3.2 用户接口 343
13.4 体系结构设计 345
13.4.1 物理体系结构 345
13.4.2 体系结构的模式 346
13.4.3 并发性设计 346
13.5 对象协作设计 348
13.6 详细设计 350
13.6.1 硬件包装器 350
13.6.2 声音压缩算法 351
13.6.3 使用直接存储器访问通道 351
13.6.4 分配硬件资源 353
13.6.5 存储器分配 353
13.7 实现 354
13.8 小结 354
习题13 354
附录 主要术语中英文对照 355
参考文献... 359