基于模型的软件开发PDF|Epub|txt|kindle电子书版本下载

基于模型的软件开发PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一部分 面向对象开发的根本2

第1章 历史的视角2

1.1 历史2

1.2 结构化开发3

1.3 宝贵教训8

1.3.1 全局数据9

1.3.2 巨程序单元9

1.3.3 软件结构10

1.3.4 缺乏内聚性10

1.3.5 耦合10

1.4 技术革新12

1.4.1 图灵机13

1.4.2 语言和方法学13

1.4.3 集合和图16

1.4.4 范式16

1.4.5 数据流18

1.4.6 状态机20

第2章 对象技术22

2.1 基本理念22

2.1.1 可维护性22

2.1.2 问题域抽象23

2.1.3 OOA、OOD和OOP24

2.1.4 主题25

2.1.5 关注点分离26

2.1.6 抽象层次26

2.1.7 问题域抽象28

2.1.8 封装29

2.1.9 内聚性29

2.1.10 逻辑不可分性30

2.1.11 通信模型31

2.2 广度优先处理（又称对等协作）32

2.2.1 细化与转化33

2.2.2 消息范式35

2.2.3 对象特征36

第3章 泛化、继承、泛型和多态39

3.1 泛化39

3.2 继承42

3.3 多态42

3.4 泛型45

第4章 MBD路线图46

4.1 问题域和计算域46

4.1.1 问题域48

4.1.2 计算域49

4.1.3 转换50

4.2 可维护性50

4.2.1 领域分析50

4.2.2 不变量建模51

4.2.3 应用分区52

4.2.4 静态视图52

4.2.5 动态视图52

第5章 不变量建模55

5.1 什么是不变量建模55

5.1.1 不变量56

5.1.2 数据57

5.2 好处58

5.3 例子60

5.3.1 银行ATM软件60

5.3.2 硬件接口64

5.3.3 折旧67

5.3.4 远程POS输入示例72

第6章 应用分区76

6.1 为什么我们要关注76

6.2 应用分区的基本概念77

6.2.1 主题79

6.2.2 客户端/服务关系82

6.2.3 抽象层次84

6.2.4 接口85

6.3 识别子系统86

6.3.1 将相同的实体抽象为其他子系统时，当前子系统是否存在不同的视角86

6.3.2 是否存在客户端/服务的关系86

6.3.3 服务是否比客户端更加详细87

6.3.4 是否与其他子系统知识共享87

6.3.5 是否与其他子系统行为共享87

6.3.6 主题是否内聚87

6.3.7 边界定义是否清晰88

6.3.8 能否重用88

6.3.9 是否被分布式网络环境绑定88

6.3.10 是否针对不同的问题域88

6.4 桥89

6.4.1 消息范式，又是消息范式89

6.4.2 桥模型91

6.5 描述子系统92

6.5.1 子系统描述93

6.5.2 关系描述94

6.5.3 需求分配94

6.6 一个例子：宠物保健中心94

6.7 过程106

第二部分 静态模型112

第7章 第二部分路线图112

7.1 什么是静态模型113

7.2 知识和行为114

7.3 实用的注释115

第8章 类117

8.1 抽象表示117

8.1.1 为真实的东西建模118

8.1.2 局限于子系统或组件中119

8.1.3 逻辑不可分性119

8.1.4 委托120

8.2 类表示法121

8.3 识别类及其职责122

8.3.1 对象“突击”123

8.3.2 用例变异124

8.4 例子125

8.4.1 传奇的银行ATM控制器125

8.4.2 宠物保健中心：处置131

8.5 使用序列图和协作图134

第9章 类的职责137

9.1 属性：一个类对象应该知道什么137

9.1.1 定义和表示法137

9.1.2 与数据存储不同138

9.1.3 状态139

9.1.4 抽象数据类型140

9.2 操作和方法：对象必须做什么142

9.2.1 定义和表示法142

9.2.2 识别行为144

9.2.3 拟人化148

9.3 过程149

9.4 例子150

9.4.1 ATM150

9.4.2 宠物保健中心：处置158

第10章 关联165

10.1 定义与基础165

10.2 表示法170

10.3 逻辑连接的性质172

10.3.1 导航到知识与导航到行为173

10.3.2 关联角色174

10.3.3 关联路径175

10.4 条件性178

10.5 多重性182

10.5.1 使用“一个”模型替换问题域的“一个或更多个”模型183

10.5.2 为问题域关联提供二次关联184

10.5.3 选择和参与185

10.6 约束187

10.7 关联类189

10.8 识别关联192

10.9 例子195

10.9.1 ATM控制器195

10.9.2 宠物保健中心：处置198

第11章 引用完整性和知识完整性200

11.1 知识完整性200

11.1.1 及时性201

11.1.2 一致性201

11.1.3 快照和实时访问202

11.1.4 依赖属性202

11.1.5 属性标准化204

11.2 引用完整性207

11.2.1 标识与引用属性207

11.2.2 关联循环209

11.2.3 关系和面向对象范式：完全不同211

第12章 泛化归来213

12.1 子类化213

12.1.1 表示法和规则215

12.1.2 泛化和特定化216

12.1.3 分类219

12.1.4 包含多态223

12.1.5 为什么是｛相交，完整｝的子集225

12.2 多方向子类、多重继承与组合227

12.3 泛化的备选235

12.3.1 委托236

12.3.2 参数多态238

12.3.3 基本抽象238

第13章 识别知识239

13.1 面向对象知识的性质是什么239

13.2 抽象聚合241

13.3 挑选适合的抽象245

13.3.1 抽象人们做什么246

13.3.2 潜在实体知道哪些247

13.3.3 对象抽象应当知道哪些实体知识的子集248

13.3.4 主题是什么248

13.3.5 抽象层次是什么251

13.4 抽象是否需要结合实体知识252

第三部分 动态模型258

第14章 第三部分路线图258

14.1 第三部分路线图258

14.1.1 一切都关乎行为259

14.1.2 对象生命周期261

14.1.3 异步解决方案262

14.1.4 同步服务266

14.2 动作语言269

14.3 Mealy机、Moore机和Harel机270

14.4 学习曲线272

第15章 有限状态机273

15.1 基本的有限状态自动机273

15.1.1 表示法277

15.1.2 契约设计的作用280

15.2 寻找状态机283

15.2.1 知识和行为283

15.2.2 管理序列286

15.3 一些例子295

15.3.1 车库门遥控器295

15.3.2 自动家庭厨房297

15.3.3 空中交通管制系统297

15.3.4 岩石298

第16章 状态、转换、事件和动作300

16.1 状态300

16.2 转换305

16.3 事件306

16.4 动作309

16.5 执行模型311

16.6 命名约定313

第17章 开发状态模型316

17.1 设计状态机316

17.2 例子325

17.2.1 ATM控制器：字符显示326

17.2.2 ATM控制器：调度器331

17.2.3 ATM控制器：存款340

第18章 抽象动作语言344

18.1 AAL和ADFD345

18.2 AAL语法346

18.3 例子348

18.3.1 车库门遥控器348

18.3.2 ATM：字符显示351

术语表354