目录 3
第Ⅰ部分 概述 3
第1章 Catalysis指南 3
1.1 对象和动作 3
1.2 细化：不同规模的对象和动作 5
1.3 开发的层次 9
1.4 业务建模 9
1.5 作为模板的模型框架 11
1.6 软件的放大：系统上下文 12
1.7 需求规范模型 14
1.8 组件 16
1.9 分配职责 21
1.10 面向对象的设计 25
1.11 开发过程 26
1.12 3个构成部分与框架 27
1.13 建模的3个层次 29
1.14 3个原则 30
1.15 小结 32
第Ⅱ部分 对象建模 37
第2章 静态模型：对象的属性和不变式 37
2.1 什么是静态模型 37
2.2 对象状态：对象和属性 40
2.3 对象状态实现 44
2.4 为对象状态建模：类型、属性和关联 46
2.5 静态不变式 54
2.6 词典 60
2.7 业务模型和组件模型 62
2.8 小结 63
第3章 行为模型：对象的类型和操作 64
3.1 对象行为：对象和动作 64
3.2 更精确的动作规范 70
3.3 日历的两种Java实现 74
3.4 日历的类型规范 79
3.5 动作与不变式 84
3.6 解释动作规范 89
3.7 子类型和类型扩展 93
3.8 细分动作规范 97
3.9 状态图 103
3.10 动作的输出 110
3.11 主体化模型：包含的含义 113
3.12 类型规范：小结 114
3.13 程序设计语言：类和类型 117
第4章 交互模型：用例、动作和协作 125
4.1 设计对象间的协作 125
4.2 用动作（用例）抽象复杂的交互 126
4.3 用例是联合动作 134
4.4 动作和效果 137
4.5 并发动作 137
4.6 协作 140
4.7 协作的使用 142
4.8 协作规范 146
4.9 协作：小结 149
第5章 有效文档 151
5.1 目的 151
5.2 归档简单、有趣，而且加快了设计 152
5.3 接近文档的读者 156
5.4 主要文档：规范和实现 158
5.5 编制业务模型文档 160
5.6 编制组件规范文档 164
5.7 编制组件实现文档 166
5.8 小结 168
第Ⅲ部分 分解模型和设计 173
第6章 抽象、细化和测试 173
6.1 放大和缩小：为什么要抽象和细化 173
6.2 编制细化和一致性文档 186
6.3 电子表格：一个细化的例子 189
6.4 电子表格：模型细化 193
6.5 电子表格：动作细化 200
6.6 电子表格：对象细化 206
6.7 电子表格：操作细化 214
6.8 状态图的细化 218
6.9 小结 220
6.10 细化的处理模式 221
模式6.1 面向对象的黄金规则（无缝或连续性） 221
模式6.2 黄金规则与其他优化规则 223
模式6.3 正交的抽象和细化 224
模式6.4 细化是关系，不是序列 225
模式6.5 递归细化 227
第7章 使用包 228
7.1 什么是包 228
7.2 包的导入 233
7.3 如何使用包和导入 238
7.4 用包解耦 242
7.5 嵌套的包 246
7.6 包的封装 247
7.7 多重导入和名称冲突 249
7.8 发布，版本控制和建立 252
7.9 编程语言包 253
7.10 小结 254
第8章 组建模型和规范 256
8.1 衔接片段 256
8.2 联接与子类型 257
8.3 组合包和包的定义 258
8.4 动作异常与组合规范 264
8.5 小结 269
9.1 模型框架综述 270
第9章 模型框架和模板包 270
9.2 类型和属性的模型框架 272
9.3 协作框架 276
9.4 细化框架 281
9.5 框架组合 284
9.6 属性包装模板 286
9.7 等价模板和复制模板 292
9.8 包语义 295
9.9 模板基础 298
9.10 模型框架概念总结 302
第Ⅳ部分 组装实现 307
第10章 组件与连接器 307
10.1 基于组件的开发综述 307
10.2 组件的发展 313
10.3 用Java建立组件 318
10.4 COM＋组件 320
10.5 CORBA组件 322
10.6 组件包：可插式组件库 323
10.7 组件构架 326
10.8 定义Cat Cne——一种组件构架 330
10.9 规范CatOne组件 336
10.10 连接Cat Cne组件 339
10.11 异构组件 342
模式10.1 提取通用的代码组件 354
模式10.2 组件件管理 355
模式10.3 通过框架建立模型 356
模式10.5 使用传统组件或者第三方组件 357
模式10.4 插头一致性 357
10.12 小结 358
第11章 用代码表示的重用和可插式设计框架 360
11.1 重用和开发过程 360
11.2 通用组件和插入点 363
11.3 代码重用的框架方法 366
11.4 框架：代码规范 370
11.5 基本插入技术 374
11.6 小结 379
模式11.1 角色委派 379
模式11.2 可插式角色 380
第12章 构架 382
12.1 何谓构架 382
12.2 为什么架构 385
12.3 通过各种场景评估构架 388
12.4 在已定义的元素上创建构架 389
12.5 构架使用恒定模式 390
12.6 应用与技术构架 392
12.7 典型的四层业务构架 393
12.8 用户接口 394
12.9 对象和数据库 396
12.10 小结 397
第Ⅴ部分 如何应用Catalysis 401
第13章 过程概述 401
13.1 递归建模、设计、实现和测试 401
13.2 过程中的一般注释 404
13.3 典型的项目演变 411
13.4 典型的包结构 415
13.5 主要过程模式 417
模式13.1 从头开始的对象开发 419
模式13.2 二次工程 420
模式13.3 短周期开发 422
模式13.4 并行工作 423
第14章 如何建立一个业务模型 425
14.1 业务建模过程模式 425
模式14.1 业务过程增强 425
模式14.2 建立业务模型 427
模式14.3 表达业务词汇和规则 430
模式14.4 包括业务专家 430
模式14.5 创建一个通用的业务模型 431
模式14.6 选择抽象级别 432
模式14.7 类型模型是一个术语表 433
14.2 建模模式 433
模式14.8 概念的分离：正规化 434
模式14.9 项和描述符 435
模式14.10 通用化和规范化 436
模式14.11 递归合成 437
模式14.12 来自关联循环的不变式 438
14.3 录像带案例研究：抽象业务模型 439
14.4 录像带业务：用例细化 444
模式14.13 动作具体化 447
第15章 如何规范组件 449
15.1 规范组件的模式 449
模式15.1 规范组件 449
模式15.2 桥接需求和规范 450
模式15.3 基于用例的系统规范 451
模式15.4 递归分解：分割与克服 452
模式15.5 用用例建立上下文模型 453
模式15.6 故事板 456
模式15.7 构造系统的行为规范 457
模式15.8 规范系统动作 460
模式15.9 在系统类型模型中使用状态图 462
模式15.10 规范组件视图 464
模式15.11 组合组件视图 465
模式15.12 避免奇迹，细化规范 466
模式15.13 为客户解释模型 467
15.2 录像带案例研究：系统规范 468
15.3 系统上下文图 474
15.4 系统规范 476
15.5 使用模型框架 483
第16章 如何实现组件 486
16.1 符合规范的设计 486
模式16.1 解耦 486
模式16.2 高级组件设计 487
模式16.3 具体化主要的并发用例 488
模式16.4 分离虚包 489
模式16.5 平台独立性 491
模式16.6 从业务组件中分离出中间件 492
模式16.7 实现技术构架 493
模式16.8 基本设计 494
模式16.9 基本设计后的通用化 498
模式16.10 协作和责任 499
模式16.11 链接和属性所有权 501
模式16.12 对象位置和链接实现 502
模式16.13 优化 503
16.2 具体的设计模式 504
模式16.14 双向链接 504
模式16.15 角色解耦 505
模式16.16 工厂 506
模式16.17 观察者 507
模式16.18 插入点和插件程序 508
16.3 录像带案例研究：基于组件的设计 510
附录A 对象约束语言 518
附录B UML概览 526
附录C Catalysis支持工具、服务和经验 531
附注 532
术语表 539
参考文献 545