软件工程 卷3 领域、需求与软件设计2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

软件工程 卷3 领域、需求与软件设计PDF格式电子书版下载

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

Ⅰ　开篇3

1 三部曲范式3

1.1 软件工程的描绘3

1.1.1 “旧的”描绘3

1.1.2 我们的观点：什么是软件工程5

1.2 软件工程三部曲6

1.2.1 领域与论域6

1.2.2 领域工程7

1.2.3 需求工程18

1.2.4 软件20

1.2.5 软件设计20

1.2.6 讨论24

1.3 开发的时期、阶段与步骤25

1.3.1 软件开发的时期25

1.3.2 开发的阶段与步骤25

1.3.3 领域开发27

1.3.4 需求开发29

1.3.5 计算系统设计31

1.3.6 讨论：时期、阶段与步骤32

1.4 三部曲过程模型——首次考虑33

1.4.1 过程模型的概念33

1.4.2 三部曲过程模型34

1.5 第1章的结论34

1.5.1 概要34

1.5.2 稍后将会介绍什么34

1.6 文献评注34

1.7 练习35

1.7.1 一系列的软件开发35

1.7.2 前言的注解39

1.7.3 练习39

2 文档41

2.1 文档编制就是全部41

2.2 文档部分的种类41

2.2.1 概述41

2.2.2 什么是描述42

2.3 可交付物43

2.4 信息文档部分44

2.4.1 姓名、位置和日期44

2.4.2 合作者44

2.4.3 当前情况、需要、想法和概念45

2.4.4 范围、区间、纲要47

2.4.5 假设和依赖49

2.4.6 隐含／派生目标49

2.4.7 标准50

2.4.8 合同和设计概要51

2.4.9 日志52

2.4.10　信息文档编制的讨论53

2.5 描述文档部分53

2.5.1 粗略描述55

2.5.2 术语57

2.5.3 叙述59

2.5.4 形式叙述61

2.5.5 描述性文档编制讨论63

2.6 分析文档部分63

2.6.1 概念形成64

2.6.2 确认65

2.6.3 验证、模型检查、测试65

2.6.4 理论形成66

2.6.5 分析文档编制的讨论66

2.7 讨论66

2.7.1 概述66

2.7.2 章节总结66

2.8 练习68

2.8.1 序言68

2.8.2 练习68

Ⅱ　概念框架73

3 方法和方法论73

3.1 方法73

3.2 方法学74

3.3 方法构成74

3.3.1 原则74

3.3.2 分析74

3.3.3 构造（或合成）75

3.3.4 技术75

3.3.5 工具75

3.4 开发原则、技术和工具75

3.4.1 一些元原则76

3.4.2 一些原则、技术和工具76

3.5 讨论80

3.6 练习80

4 模型和建模81

4.1 介绍性、场景设定论述81

4.1.1 模型和“可能世界”81

4.1.2 规约的模型82

4.1.3 建模82

4.1.4 论域82

4.2 模型属性82

4.2.1 类比、分析、形象模型83

4.2.2 描述和规定模型85

4.2.3 外延和内涵模型87

4.3 模型的角色89

4.4 建模原则89

4.5 讨论89

4.6 练习90

Ⅲ　描述：理论和实践93

5 现象和概念93

5.1 前言93

5.2 现象和概念93

5.2.1 物理上显然的现象93

5.2.2 思维构想的概念94

5.2.3 现象和概念的类别94

5.2.4 具体和抽象概念94

5.2.5 描述的类别95

5.2.6 什么是描述95

5.3 实体96

5.3.1 原子实体96

5.3.2 复合实体96

5.3.3 子实体97

5.3.4 值、部分整体关系、属性97

5.3.5 实体的部分整体关系97

5.3.6 部分整体关系和属性98

5.3.7 面向模型的部分整体关系98

5.3.8 面向模型的属性——题外话98

5.3.9 实体性质99

5.3.10　现实的示例和我们的类型系统99

5.3.11　类型系统105

5.3.12　类型约束105

5.3.13　总结：原则、技术和工具106

5.4 函数106

5.4.1 函数基调107

5.4.2 函数定义108

5.4.3 算法109

5.5 事件和行为111

5.5.1 状态、动作、事件和行为111

5.5.2 同步和通信112

5.5.3 进程113

5.5.4 迹114

5.5.5 进程定义语言115

5.6 建模现象和概念的选择115

5.6.1 定性特性115

5.6.2 定量特性115

5.6.3 原则、技术和工具117

5.7 讨论118

5.7.1 实体、函数、事件和行为118

5.7.2 密集和问题框架119

5.8 文献评注119

5.9 练习119

5.9.1 序言119

5.9.2 练习119

6 关于下定义和关于定义120

6.1 定义的语用122

6.1.1 现象、人工制品和概念122

6.1.2 什么是定义122

6.1.3 所定义的概念的特性123

6.1.4 数学定义123

6.1.5 物理世界定义123

6.1.6 形式定义124

6.2 各种各样的哲学定义124

6.2.1 艺术的六种刻画124

6.2.2 讨论125

6.2.3 可能的反对126

6.3 预备性讨论126

6.4 形式定义的句法126

6.4.1 识别和复制127

6.4.2 唯一性和标识128

6.4.3 本体论术语129

6.5 形式定义的语义129

6.6 讨论129

6.6.1 概述129

6.6.2 原则、技术和工具130

6.7 练习130

7 Jackson的描述原则133

7.1 现象、事实和个体133

7.2 指示133

7.2.1 一些观察135

7.2.2 形式化136

7.2.3 观测器函数和标识137

7.2.4 数学和计算实体138

7.2.5 讨论：指示141

7.3 显式定义142

7.3.1 定义：“狭窄之桥”142

7.3.2 抽象、非现实概念的定义143

7.3.3 要定义多少？143

7.3.4 讨论：定义144

7.4 可驳斥断言144

7.4.1 指示和定义断言144

7.4.2 分析145

7.4.3 “悬垂”断言146

7.4.4 讨论：可驳斥断言146

7.5 讨论：描述原则147

7.6 文献评注147

7.7 练习147

7.7.1 序言147

7.7.2 练习147

Ⅳ　领域工程151

8 领域工程概述151

8.1 前言151

8.2 回顾：为什么有领域工程151

8.3 部分和章节的概述152

8.4 领域参与者及其观点152

8.5 领域获取和确认153

8.6 领域分析和概念形成153

8.7 领域刻面154

8.8 领域开发的辅助阶段154

8.9 领域模型文档154

8.9.1 要谈问题的预览154

8.9.2 领域模型文档内容155

8.10　这一部分的其他结构155

8.11　文献评注156

8.12　练习156

9 领域参与者158

9.1 前言158

9.2 参与者158

9.2.1 一般应用参与者158

9.2.2 软件开发参与者159

9.2.3 列出参与者的目的160

9.3 参与者观点160

9.3.1 一般应用的观点160

9.3.2 软件开发的观点163

9.4 讨论：参与者及其观点163

9.4.1 概述163

9.4.2 原则、技术和工具164

9.5 练习164

9.5.1 序言164

9.5.2 练习164

9.5.3 尾言165

10　领域属性166

10.1　前言166

10.2　连续、离散和混沌166

10.2.1　时间167

10.2.2　连续167

10.2.3　离散168

10.2.4　混沌174

10.2.5　讨论175

10.3　静态和动态175

10.3.1　静态现象和概念176

10.3.2　动态现象和概念178

10.4　可触知性和不可触知性192

10.4.1　人可触知的现象192

10.4.2　其他物理上可触知的现象195

10.4.3　不可触知的现象195

10.4.4　讨论195

10.5　一、二、……维196

10.5.1　零维196

10.5.2　一维196

10.5.3　多维性197

10.5.4　讨论198

10.6　讨论198

10.7　文献评注199

10.8　练习199

10.8.1　序言199

10.8.2　练习199

11　领域刻面200

11.1　前言200

11.1.1　分而治之201

11.1.2　分离原则的讨论201

11.1.3　章节结构201

11.2　领域易化器：企业过程202

11.2.1　企业过程202

11.2.2　总体原则204

11.2.3　非形式和形式示例205

11.2.4　讨论208

11.2.5 总结209

11.2.6　提示209

11.3　领域内在209

11.3.1　总体原则209

11.3.2　概念上和实际的内在213

11.3.3　方法论上的结果214

11.3.4　讨论214

11.3.5　完全本质的内在215

11.3.6　提醒215

11.4　领域支持技术215

11.4.1　整体原则215

11.4.2　方法论上的结果218

11.4.3　讨论219

11.4.4　提醒219

11.5　领域管理和组织219

11.5.1　整体原则219

11.5.2　概念分析，Ⅰ220

11.5.3　方法论上的结果，Ⅰ＋Ⅱ221

11.5.4　概念分析，Ⅱ221

11.5.5　方法论上的结果，Ⅲ223

11.5.6 讨论223

11.5.7　提醒223

11.6　领域规则和规定224

11.6.1　整体原则224

11.6.2　方法论上的结果225

11.6.3　规则和规定语言227

11.6.4　原则和技术227

11.6.5　提示227

11.7　领域脚本228

11.7.1　脚本描述228

11.7.2　方法论上的结果247

11.7.3　提醒＋更多247

11.8　领域的人类行为247

11.8.1　整体原则248

11.8.2　方法论上的结果251

11.8.3　人类行为和知识工程253

11.8.4 讨论253

11.8.5　提醒253

11.9　其他的领域刻面253

11.10　领域模型复合254

11.10.1　核对领域刻面描述254

11.10.2　技术问题255

11.11　练习255

11.11.1　序言255

11.11.2　练习255

12　领域获取257

12.1　前言257

12.1.1　领域事实257

12.1.2　领域事实引出257

12.1.3　记录领域事实258

12.1.4　索引领域描述的略述259

12.2　获取过程259

12.2.1　参与者联络260

12.2.2　引出研究260

12.2.3　引出会谈261

12.2.4　引出问卷261

12.2.5　引出报告263

12.3 讨论264

12.3.1　概念和过程回顾264

12.3.2　过程迭代264

12.3.3　描绘：获取和分析264

12.3.4　原则、技术和工具264

12.4　练习265

12.4.1　序言265

12.4.2　练习265

13　领域分析和概念形成266

13.1　前言266

13.2　概念形成266

13.2.1　简单抽象概念266

13.2.2　突破性被抽象概念268

13.3　一致性、冲突和完备性268

13.3.1　不一致性269

13.3.2　冲突269

13.3.3　不完备性269

13.3.4　宽松和非确定性270

13.4　从分析到合成270

13.5　讨论270

13.5.1　概述270

13.5.2 原则、技术和工具270

13.6　文献评注271

13.7　练习271

13.7.1　序言271

13.7.2　练习271

14　领域验证和确认273

14.1　前言273

14.2　领域验证274

14.2.1　非形式推理274

14.2.2　测试274

14.2.3　形式证明275

14.2.4　模型检查275

14.3　领域确认275

14.3.1　领域确认文档275

14.3.2　领域确认过程276

14.3.3　领域开发迭代276

14.4　讨论276

14.4.1　概述276

14.4.2　原则、技术和工具276

14.5　练习277

14.5.1　序言277

14.5.2　练习277

15　领域理论278

15.1　前言278

15.2　什么是领域理论278

15.3　领域理论的陈述示例279

15.4　可能的领域理论280

15.5　我们如何建立一个理论281

15.6　领域理论的目的281

15.7　总结性原则、技术和工具282

15.8　文献评注282

15.9　练习282

15.9.1　序言282

15.9.2　练习282

16　领域工程过程模型285

16.1　前言285

16.2　领域开发回顾285

16.3　领域文档回顾286

16.4　讨论287

Ⅴ　需求工程291

17　需求工程综述291

17.1　前言293

17.1.1 “需求”的进一步刻画294

17.1.2 “机器”294

17.2 为什么需要需求，为了什么294

17.2.1 为什么需要需求295

17.2.2　需求是为了什么295

17.2.3 “实现”是指什么295

17.3　开始需求开发295

17.3.1　最初的信息文档295

17.3.2　需求发现296

17.3.3　实际的规定性文档编制297

17.3.4　计划需求开发298

17.4　关于领域、需求和机器298

17.5　概述：需求工程的阶段300

17.6　需求文档300

17.6.1　将来事情的预览300

17.6.2　需求文档的内容300

17.6.3　需求文档的注释301

17.7　本部分剩下内容的结构302

17.8　文献评注302

17.9　练习302

17.9.1　序言302

17.9.2　练习302

18　需求参与者304

18.1　前言304

18.2　常规应用的参与者304

18.3　COTS软件开发商的参与者305

18.3.1　概述305

18.3.2 “公司知识”305

18.3.3　领域特定的需求分类305

18.3.4 通常的COTS软件相关者的观点305

18.4　讨论306

18.4.1　概述306

18.4.2　原则、技术和工具306

18.5　练习306

18.5.1　序言306

18.5.2　练习307

19　需求刻面308

19.1　前言308

19.2　粗略描述和术语表309

19.2.1　初始需求建模309

19.2.2　粗略描述的需求309

19.2.3　需求术语314

19.2.4　系统叙述318

19.3　企业过程再工程需求318

19.3.1　Michael Hammer关于BPR的概念319

19.3.2　什么是BPR需求320

19.3.3　BPR操作概述320

19.3.4　BPR和需求文档320

19.3.5 内在回顾和替换321

19.3.6　支持技术回顾和替换321

19.3.7　管理和组织再工程322

19.3.8　规则和规定再工程322

19.3.9　人类行为再工程323

19.3.10　脚本再工程323

19.3.11　讨论：企业过程再工程323

19.4　领域需求324

19.4.1 领域到需求的操作324

19.4.2　领域需求和需求文档324

19.4.3　领域示例325

19.4.4　领域投影326

19.4.5　领域确定330

19.4.6　领域实例化333

19.4.7　领域扩展334

19.4.8　领域需求拟合336

19.4.9　讨论：领域需求339

19.5　接口需求339

19.5.1　共享现象和概念标识339

19.5.2　接口需求刻面340

19.5.3　接口需求和需求文档340

19.5.4　共享数据初始化341

19.5.5　共享数据刷新341

19.5.6　计算数据和控制接口需求342

19.5.7　人机对话342

19.5.8　人机生理接口343

19.5.9　机机对话349

19.5.10　讨论：接口需求350

19.6　机器需求351

19.6.1　机器需求刻面351

19.6.2　机器需求和需求文档351

19.6.3　性能需求352

19.6.4　可信性需求354

19.6.5　故障树分析357

19.6.6　维护需求370

19.6.7　平台需求371

19.6.8　文档编制需求372

19.6.9　讨论：机器需求372

19.7　需求模型复合373

19.7.1　概述373

19.7.2　合并需求刻面规定373

19.8　讨论：需求刻面373

19.8.1　概述373

19.8.2　原则、技术和工具373

19.9　文献评注373

19.10　练习374

19.10.1　序言374

19.10.2　练习374

20　需求获取376

20.1　需求获取和领域模型376

20.2　基于领域模型的需求获取377

20.2.1　领域需求获取、预览377

20.2.2　其余的需求获取、概览377

20.2.3　其他问题378

20.3　概念概述378

20.3.1　需求378

20.3.2　需求的引出378

20.3.3　记录需求378

20.3.4　索引需求规定描述380

20.4　获取过程380

20.4.1　参与者联络381

20.4.2　引出研究381

20.4.3　引出会谈381

20.4.4 引出调查问卷381

20.4.5　引出报告384

20.5　讨论385

20.5.1　概念和过程回顾385

20.5.2　过程迭代385

20.5.3　描述：获取和分析385

20.5.4　原则、技术和工具385

20.6　练习386

20.6.1　序言386

20.6.2　练习386

21　需求分析和概念形成387

21.1　前言387

21.2　概念形成388

21.3　一致性、冲突和完备性388

21.3.1　不一致性389

21.3.2　冲突389

21.3.3　不完备性389

21.3.4　宽松性和非确定性389

21.4　从分析到合成390

21.5　讨论390

21.5.1　概述390

21.5.2　原则、技术和工具390

21.6　文献评注391

21.7　练习391

21.7.1　序言391

21.7.2　练习391

22　需求的验证和确认392

22.1　前言392

22.2　需求验证393

22.2.1　非形式推理393

22.2.2　测试393

22.2.3　形式证明394

22.2.4　模型检查394

22.3　需求确认394

22.3.1 需求确认文档394

22.3.2　需求确认过程395

22.3.3　需求开发迭代395

22.4　讨论395

22.4.1　简介395

22.4.2　原则、技术和工具395

22.5　文献评注396

22.6　练习396

22.6.1　序言396

22.6.2　练习396

23　需求的可满足性和可行性397

23.1　前言397

23.2　满足性研究397

23.2.1 正确的（检验过的）需求文档398

23.2.2　无二义性的需求文档398

23.2.3　完备的需求文档398

23.2.4　一致的需求文档398

23.2.5　稳定的需求文档398

23.2.6　可验证的需求文档398

23.2.7　可修改的需求文档398

23.2.8 可追溯的需求文档399

23.2.9　忠实的需求文档399

23.2.10　可满足性的讨论399

23.3　技术可行性研究399

23.3.1　企业过程再工程的可行性399

23.3.2　硬件的可行性399

23.3.3　软件的可行性400

23.3.4　技术可行性讨论400

23.4　经济可行性研究400

23.4.1 可行的开发费用400

23.4.2 可行的折旧费用400

23.4.3　收益大于投入？400

23.4.4　关于经济可行性的讨论400

23.5　顺从于隐含／派生目标401

23.5.1 隐含／派生目标的审阅401

23.5.2　隐含／派生目标的讨论401

23.6　讨论401

23.6.1　概述401

23.6.2　原则、技术和工具401

23.7　练习402

23.7.1　序言402

23.7.2　练习402

24　需求工程过程模型403

24.1　前言403

24.2　需求开发的回顾403

24.3　回顾需求文档404

24.4　重复的内容列表404

24.5 讨论405

Ⅵ　计算系统设计409

25　硬件／软件协同设计409

25.1　前言——关于体系结构409

25.2　硬件构件和模块409

25.3　软件构件和模块410

25.4　硬件／软件协同设计410

25.5　体系结构的逐步改进410

25.6　讨论411

25.7　原则、技术和工具411

26　软件体系结构设计412

26.1　前言412

26.2　初始的领域需求体系结构412

26.3　初始机器需求体系结构414

26.4　一些机器需求的分析416

26.4.1　性能416

26.4.2　可用性416

26.4.3　可存取性416

26.4.4　适应可维护性417

26.5　设计决策的优先417

26.6　相应的设计417

26.6.1 关于性能的设计决策417

26.6.2　可用性的设计决策418

26.6.3　关于可存取性的设计决策419

26.6.4　关于适应性的设计决策421

26.7　讨论421

26.7.1　概述421

26.7.2　原则和技术422

26.8　文献评注422

26.9　练习423

26.9.1　序言423

26.9.2　练习423

27　构件设计的范例分析424

27.1　概述性前言424

27.1.1　系统复杂性424

27.1.2　建议的解决办法425

27.1.3　逐步开发425

27.1.4 逐阶段迭代425

27.2　示例概述425

27.3　方法论概述426

27.3.1 原则426

27.3.2　技术427

27.4　步骤0：文件和页428

27.4.1 “快照”428

27.4.2　抽象的形式模型428

27.4.3　抽象和具体的基本动作429

27.4.4　具体动作431

27.5　步骤1：编目、磁盘和存储器431

27.5.1　编目目录431

27.5.2　抽象434

27.5.3 动作435

27.5.4　适当性和充分性437

27.5.5　正确性437

27.6　步骤2：磁盘439

27.6.1　数据精化439

27.6.2 磁盘类型439

27.6.3　FS0、FS1、FS2类型440

27.6.4 磁盘类型不变式440

27.6.5 磁盘类型抽象441

27.6.6　适当性、充分性、操作和正确性441

27.7　步骤3：高速缓存441

27.7.1　技术考虑441

27.7.2 高速缓存的目录和页访问441

27.7.3　不变性443

27.7.4　抽象443

27.7.5　动作444

27.7.6　适当性、充分性和正确性445

27.8　步骤4：存储崩溃445

27.8.1　存储和磁盘445

27.8.2　具体语义类型445

27.8.3 不变性446

27.8.4　一致的存储和磁盘446

27.8.5　抽象448

27.8.6 垃圾收集448

27.8.7　新动作449

27.8.8　一些以前的命令449

27.9　步骤5：扁平化存储和磁盘450

27.9.1 “扁平”存储和磁盘450

27.9.2 “其他”451

27.10　步骤6：磁盘空间管理451

27.10.1　问题451

27.10.2　“其他”452

27.11　讨论452

27.11.1　概述452

27.11.2　原则和技术452

27.12　文献评注453

27.13　练习453

27.13.1　序言453

27.13.2　练习453

28　特定领域的体系结构455

28.1　前言455

28.1.1　概述455

28.1.2　一些定义455

28.1.3　关于体系结构456

28.1.4　问题框架456

28.1.5　章节结构457

28.2　翻译器体系结构457

28.2.1　翻译器领域457

28.2.2　翻译器需求458

28.2.3　翻译器设计459

28.2.4　翻译器开发的过程图461

28.3　信息储存库体系结构464

28.3.1　信息储存库领域465

28.3.2　信息储存库需求467

28.3.3　信息储存库设计468

28.4　客户端／服务器体系结构477

28.4.1　客户端／服务器领域／需求模型477

28.4.2　一些元RSL/CSP结构480

28.4.3　单客户端、单服务器模型482

28.4.4 多客户端、多服务器模型485

28.4.5　客户端／服务器事件管理器模型486

28.4.6　讨论493

28.5　工件体系结构494

28.5.1　工件领域494

28.5.2　工件需求494

28.5.3　工件系统设计497

28.6　反应系统体系结构497

28.6.1　反应系统领域497

28.6.2　反应系统控制需求499

28.6.3　反应系统控制设计500

28.6.4　反应系统设计的讨论500

28.7　连接框架501

28.7.1　连接领域501

28.7.2　连接需求502

28.7.3　连接系统设计504

28.8　讨论504

28.8.1　概述504

28.8.2　原则、技术和工具504

28.9　练习505

28.9.1　序言505

28.9.2　练习505

29　其他：编码及其全部！508

29.1　从形式规约到程序设计508

29.1.1　从规约到程序508

29.1.2　从抽象类型到数据结构509

29.1.3　从应用式到命令式程序509

29.1.4　翻译到并发程序509

29.1.5 从RSL到SML、Java、C＃和其他语言509

29.2　程序设计之美509

艺术、规范、工艺、科学、逻辑、实践509

29.3　程序设计实践510

29.3.1 结构化程序设计510

29.3.2　极限程序设计510

29.3.3　面向对象和UML程序设计511

29.3.4　主程序员的程序设计511

29.4　构建信任的软件开发511

29.4.1 什么时候验证、模型检查和测试512

29.4.2　演示→框架→原型→系统513

29.5　验证、模型检查和测试515

29.5.1　验证516

29.5.2　模型检查517

29.5.3　测试518

29.5.4　讨论520

29.6　讨论520

29.7　练习520

29.7.1　序言520

29.7.2　练习520

30　计算系统设计过程模型521

30.1　前言521

30.2　软件设计的回顾521

30.2.1　过程模型521

30.2.2　讨论523

30.3　软件设计文档回顾523

30.4　讨论525

Ⅶ　结束语529

31　三部曲开发过程模型529

31.1　时期过程模型529

31.2　时期文档编制目录531

31.3　结论533

32　尾章537

32.1 非形式和形式软件工程537

32.1.1　非形式软件工程537

32.1.2　形式软件工程537

32.1.3　结论538

32.2　形式方法的神话和戒律538

32.2.1　头七个神话538

32.2.2　其他的七个神话539

32.2.3　十个形式方法戒律540

32.3 FAQ（Frequently Asked Questions）：常见问题541

32.3.1　概述541

32.3.2　领域542

32.3.3　需求543

32.4　研究和工具开发543

32.4.1 演化的原则、技术和工具543

32.4.2　巨大的挑战544

32.5　应用领域545

32.5.1　其他领域546

32.5.2　示例546

32.6　结束语547

32.6.1　程序设计、工程和管理547

32.6.2 目前的软件工程综合体系547

32.6.3 目前的软件工程术语548

32.6.4　软件工程的全新视角548

Ⅷ　附录551

A RSL入门551

A.1 类型551

A.1.1 类型表达式551

A.1.2 类型定义552

A.2　RSL谓词演算554

A.2.1 命题表达式554

A.2.2 简单谓词表达式554

A.2.3 量化表达式554

A.3　具体RSL类型555

A.3.1 集合枚举555

A.3.2 笛卡尔枚举555

A.3.3 列表枚举555

A.3.4 映射枚举556

A.3.5 集合操作557

A.3.6 笛卡尔操作558

A.3.7　列表操作559

A.3.8 映射操作561

A.4 λ演算和函数563

A.4.1 λ演算句法563

A.4.2 自由和约束变量563

A.4.3 代入563

A.4.4 α重命名和β归约564

A.4.5 函数基调564

A.4.6 函数定义564

A.5 其他的应用式表达式565

A.5.1 let表达式565

A.5.2 条件566

A.5.3 操作符／操作数表达式567

A.6 命令式结构567

A.6.1 变量和赋值567

A.6.2 语句序列和skip568

A.6.3 命令式条件568

A.6.4 迭代条件式568

A.6.5 迭代序列化568

A.7 进程结构568

A.7.1 进程通道568

A.7.2 进程复合569

A.7.3 输入／输出事件569

A.7.4 进程定义569

A.8 简单RSL规约570

B　术语表571

参考文献573