软件工程 卷2 系统与语言规约PDF|Epub|txt|kindle电子书版本网盘下载

软件工程 卷2 系统与语言规约PDF格式电子书版下载

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

Ⅰ 开篇3

1 序言3

1.1 前言3

1.1.1 为什么有本卷3

1.1.2 为什么要掌握这些原理、技术与工具3

1.1.3 本卷“包含”了什么4

1.1.4 本卷是如何“陈述”的5

1.2 “轻量级”形式技术5

1.3 RSL的入门读物7

1.3.1 类型7

1.3.2 RSL谓词演算10

1.3.3 具体RSL类型11

1.3.4 λ演算＋函数19

1.3.5 其他应用表达式21

1.3.6 命令式结构24

1.3.7 进程结构25

1.3.8 简单RSL规约26

1.4 文献评注27

Ⅱ 规约刻面31

2 层次与复合31

2.1 关键问题31

2.1.1 非形式说明31

2.1.2 形式说明32

2.2 初步的方法论的结论33

2.2.1 一些定义33

2.2.2 原则与技术33

2.3 主要的例子34

2.3.1 层次的叙述表示34

2.3.2 层次的形式表示36

2.3.3 复合的，叙述性表示39

2.3.4 复合的形式表示41

2.4 讨论43

2.5 文献评注：Stanislaw Leshniewski43

2.6 练习43

3 指称和计算47

3.1 前言47

3.1.1 计算和指称47

3.1.2 句法和语义48

3.1.3 特性描述48

3.2 指称语义48

3.2.1 一个简单的例子：数符48

3.2.2 指称原则49

3.2.3 表达式指称50

3.2.4 GOTO连续53

3.2.5 指称语义的讨论61

3.3 计算语义63

3.3.1 关键问题63

3.3.2 两个例子63

3.3.3 表达式计算63

3.3.4 GOTO程序的计算语义66

3.3.5 协同例程程序的计算语义71

3.3.6 讨论72

3.4 回顾：指称和计算73

3.5 一些语义的创始人74

3.5.1 John McCarthy74

3.5.2 Peter Landin75

3.6 练习76

4 格局：上下文和状态79

4.1 引言80

4.2 问题82

4.3 “现实世界”上下文和状态83

4.3.1 物理系统：上下文和状态83

4.3.2 上下文和状态84

4.3.3 非物理系统：上下文和状态84

4.3.4 讨论，Ⅰ85

4.3.5 讨论，Ⅱ86

4.4 第一次总结：上下文和状态86

4.4.1 概述86

4.4.2 开发原则和技术87

4.5 程序设计语言格局87

4.6 并发进程格局87

4.6.1 示例87

4.6.2 总结92

4.7 第二次总结：上下文和状态93

4.8 信息状态和行为状态93

4.8.1 作为状态机数据的程序流程图94

4.8.2 流程图≡机器94

4.8.3 流程图机94

4.8.4 评论95

4.8.5 结论95

4.9 最后的总结：上下文和状态96

4.10 练习97

Ⅲ 关键领域和系统刻面101

5 时间、空间和空间／时间101

5.1 时间101

5.1.1 时间——基础102

5.1.2 时间——一般问题104

5.1.3 时间的“A序列”和“B序列”模型104

5.1.4 时间的连续统理论105

5.1.5 时态事件106

5.1.6 时态行为106

5.1.7 时间表示106

5.1.8 时间“上”的操作108

5.2 空间108

5.2.1 空间——基础108

5.2.2 位置变化实体109

5.2.3 位置和动态性110

5.2.4 空间——一般问题111

5.3 空间／时间113

5.3.1 指导示例113

5.3.2 空间／时间的表示114

5.3.3 Blizard的时间空间理论114

5.4 讨论115

5.5 文献评注115

5.6 练习115

Ⅳ 语言学121

6 语用121

6.1 前言121

6.2 日常语用122

6.3 “形式”语用122

6.4 讨论123

6.4.1 概述123

6.4.2 原则和技术123

6.5 文献评注123

6.6 练习124

7 语义126

7.1 前言126

7.2 具体语义127

7.3 “抽象”语义127

7.4 预备语义概念127

7.4.1 句法和语义类型127

7.4.2 上下文128

7.4.3 状态128

7.4.4 格局128

7.4.5 解释、求值、细化128

7.5 指称语义129

7.5.1 简单情况130

7.5.2 复合情况130

7.6 宏扩展语义130

7.6.1 重写131

7.6.2 宏扩展131

7.6.3 归纳重写132

7.6.4 不动点求值134

7.7 操作和计算语义135

7.7.1 栈语义135

7.7.2 属性语法语义135

7.8 证明规则语义139

7.9 讨论141

7.9.1 概述141

7.9.2 原则、技术和工具141

7.10 文献评注142

7.11 练习142

8 句法145

8.1 问题145

8.1.1 形式和内容：句法和语义145

8.1.2 本章的结构和内容146

8.2 句子和语义结构146

8.2.1 概述147

8.2.2 句子结构示例147

8.2.3 语义结构示例149

8.3 第一个抽象句法，John McCarthy152

8.3.1 分析语法：观测器和选择器152

8.3.2 合成语法：生成器153

8.4 BNF语法≈具体句法153

8.4.1 BNF语法154

8.4.2 BNF？RSL语法解析树关系154

8.5 结构生成器和识别器156

8.5.1 上下文无关语法和语言156

8.5.2 语法解析树157

8.5.3 正则表达式和语言159

8.5.4 语言识别器160

8.6 XML：可扩展标记语言（Extensible Markup Language）160

8.6.1 例160

8.6.2 讨论162

8.6.3 历史背景162

8.6.4 目前的XML“狂热”162

8.6.5 XML表达式162

8.6.6 XML模式164

8.6.7 参考166

8.7 抽象句法166

8.7.1 存储模型的抽象句法166

8.7.2 其他存储模型的抽象句法169

8.8 转换RSL类型到BNF170

8.8.1 问题170

8.8.2 可能的解决办法171

8.9 非形式和形式句法讨论172

8.9.1 概述172

8.9.2 原则、技术和工具172

8.10 文献评注173

8.11 练习173

9 符号体系180

9.1 符号体系＝句法？语义？语用180

9.2 符号体系181

9.3 语言构件181

9.4 语言学182

9.5 语言和系统183

9.5.1 职业语言183

9.5.2 元语言184

9.5.3 系统184

9.5.4 系统图语言195

9.5.5 系统概念讨论196

9.5.6 作为语言的系统196

9.6 讨论197

9.6.1 概述197

9.6.2 原则、技术和工具197

9.7 Charles Sanders Peirce197

9.8 文献评注197

9.9 练习198

Ⅴ 其他规约技术205

10 模块化205

10.1 前言206

10.1.1 一些示例206

10.1.2 预备性讨论211

10.1.3 章节结构213

10.2 RSL类、对象和模式213

10.2.1 介绍RSL“类”概念214

10.2.2 RSL“类”概念217

10.2.3 RSL“对象”概念218

10.2.4 RSL“模式”概念218

10.2.5 RSL“模式”参数化223

10.2.6 “大型”示例226

10.2.7 定义：类、模式和对象230

10.3 UML和RSL231

10.3.1 UML图概述231

10.3.2 类图232

10.3.3 类图232

10.3.4 例：铁路网235

10.3.5 比较UML和RSL OO结构236

10.3.6 引用237

10.3.7 类图的限制237

10.4 讨论238

10.4.1 模块性问题238

10.4.2 原则、技术和工具239

10.5 文献评注239

10.6 练习239

11 自动机和机器241

11.1 离散状态自动机241

11.1.1 直观理解243

11.1.2 动机243

11.1.3 语用243

11.2 离散状态机器245

11.3 有限状态自动机246

11.3.1 正则表达式语言识别器246

11.3.2 正则表达式247

11.3.3 形式语言和自动机248

11.3.4 自动机完全化248

11.3.5 非确定性自动机248

11.3.6 最小状态有限自动机249

11.3.7 有限状态自动机形式化，Ⅰ250

11.3.8 有限状态自动机实现，Ⅰ250

11.3.9 有限状态自动机形式化，Ⅱ251

11.3.10 有限状态自动机实现，Ⅱ252

11.3.11 有限状态自动机——总结252

11.4 有限状态机器253

11.4.1 有限状态机器控制器253

11.4.2 有限状态机器语法分析器255

11.4.3 有限状态机器形式化256

11.4.4 有限状态机器实现257

11.4.5 有限状态机器——总结258

11.5 下推栈设备259

11.5.1 下推栈自动机和机器259

11.5.2 下推栈机器形式化260

11.5.3 下推栈设备总结262

11.6 文献评注：自动机和机器262

11.7 练习262

Ⅵ 并发和时态267

12 佩特里网267

12.1 问题267

12.2 条件事件网（Condition Event Net,CEN）268

12.2.1 描述268

12.2.2 CEN小示例268

12.2.3 条件事件网的RSL模型271

12.3 位置变迁网（Place Transition Net,PTN）273

12.3.1 描述274

12.3.2 PTN小例子274

12.3.3 位置变迁网的RSL模型275

12.3.4 铁路领域佩特里网示例278

12.4 染色佩特里网（Coloured Petri Net,CPN）282

12.4.1 描述282

12.4.2 CPN示例283

12.4.3 染色佩特里网RSL模型285

12.4.4 时间化染色佩特里网289

12.5 CEN示例：工作流系统290

12.5.1 项目计划290

12.5.2 项目活动293

12.5.3 项目生成300

12.6 CPN和RSL示例：超标量处理器302

12.6.1 描述302

12.6.2 染色佩特里网303

12.6.3 RSL模型：超标量处理器308

12.7 讨论316

12.8 文献评注317

12.9 练习317

13 消息和活序列图319

13.1 消息序列图319

13.1.1 问题319

13.1.2 基本MSC(Basic MSC,BMSC)320

13.1.3 高级MSC(High-Level MSC,HMSC)326

13.1.4 HMSC句法的RSL模型326

13.1.5 MSC是HMSC327

13.1.6 MSC的句法良构性328

13.1.7 示例：IEEE 802.11无线网络333

13.1.8 基本消息序列图的语义342

13.1.9 高级消息序列图的语义343

13.2 活序列图：非形式闸述344

13.2.1 活序列图句法344

13.2.2 活序列图示例，Ⅰ348

13.3 进程代数350

13.3.1 进程代数PA∈350

13.3.2 PA∈语义356

13.3.3 进程代数PAc∈359

13.3.4 PAc∈的语义361

13.4 活序列图的代数语义364

13.4.1 活序列图的文本句法364

13.4.2 活序列图语义364

13.4.3 活序列图实例，Ⅱ368

13.5 关联消息图到RSL368

13.5.1 集成的类型368

13.5.2 RSL子集369

13.5.3 关联活序列图到RSL371

13.5.4 检查满足性377

13.5.5 工具支持377

13.6 通信事务进程（Communicating Transaction Processes,CTP）378

13.6.1 直观理解378

13.6.2 阐述CTP379

13.6.3 哲学家就餐示例384

13.6.4 CTP形式化387

13.7 讨论400

13.7.1 概述400

13.7.2 原则、技术和工具401

13.8 文献评注401

13.9 练习402

14 状态图406

14.1 前言406

14.2 状态图的描述407

14.3 状态图句法的RSL模型411

14.4 例413

14.4.1 铁路线路自动闭塞413

14.4.2 铁路线路方向协议系统417

14.4.3 无线雨量计421

14.5 状态图的进程代数426

14.5.1 SPL（Statechart Process Language）：状态图进程语言427

14.5.2 SPL语义427

14.5.3 SPL项等价428

14.6 状态图语义429

14.6.1 状态图的SPL语义429

14.6.2 状态图示例431

14.7 关联状态图到RSL431

14.7.1 句法限制431

14.7.2 满足关系433

14.7.3 满足检查433

14.7.4 工具支持434

14.8 讨论434

14.8.1 概述434

14.8.2 原则、技术和工具434

14.9 文献评注435

14.10 练习435

15 时间的定量模型441

15.1 问题441

15.1.1 软时态441

15.1.2 硬时态442

15.1.3 软实时和硬实时442

15.1.4 例子——“老方法”！442

15.1.5 本章的结构443

15.2 时态逻辑444

15.2.1 问题444

15.2.2 哲学语言学背景444

15.2.3 区间时态逻辑，ITL445

15.2.4 经典时态操作符：◇,□450

15.3 时段演算450

15.3.1 例子，第Ⅰ部分451

15.3.2 一些基础概念451

15.3.3 例子，第Ⅱ部分454

15.3.4 句法457

15.3.5 非形式语义459

15.3.6 例子，第Ⅲ部分460

15.3.7 变迁和事件469

15.3.8 讨论：从领域到设计473

15.4 TRSL：具有时间的RSL473

15.4.1 TRSL的设计标准474

15.4.2 TRSL语言476

15.4.3 另一个煤气灶的例子477

15.4.4 讨论480

15.5 具有时间和时段的RSL480

15.5.1 TRSL的回顾480

15.5.2 TRSL和时段演算481

15.6 讨论483

15.6.1 一般问题483

15.6.2 原则、技术和工具484

15.7 文献评注484

15.8 练习485

Ⅶ 解释器和编译器定义489

16 SAL：简单应用式语言489

16.1 提示489

16.2 SAL句法490

16.2.1 SAL句法的非形式说明490

16.2.2 SAL句法的形式说明490

16.2.3 评论491

16.3 指称语义491

16.3.1 非形式语义491

16.3.2 形式语义492

16.3.3 SAL语义的回顾，1493

16.3.4 两句题外话494

16.4 一阶应用式语义496

16.4.1 句法类型496

16.4.2 语义类型496

16.4.3 抽象函数497

16.4.4 辅助函数498

16.4.5 语义函数498

16.4.6 回顾501

16.4.7 SAL语义的回顾，2501

16.5 抽象命令式栈语义502

16.5.1 设计决策——非形式动机说明502

16.5.2 语义风格评论502

16.5.3 句法类型503

16.5.4 语义类型503

16.5.5 抽象函数503

16.5.6 运行时函数503

16.5.7 语义函数505

16.5.8 SAL语义的回顾，3510

16.6 宏扩展语义510

16.6.1 栈语义分析511

16.6.2 句法类型516

16.6.3 编译时类型516

16.6.4 运行时语义类型516

16.6.5 运行时状态517

16.6.6 运行时栈操作517

16.6.7 运行时栈搜索变量值517

16.6.8 宏扩展函数518

16.6.9 SAL语义的回顾，4525

16.7 ASM：一个汇编语言526

16.7.1 语义类型526

16.7.2 计算机状态526

16.7.3 地址概念527

16.7.4 机器指令527

16.7.5 机器语义529

16.7.6 ASM的回顾534

16.8 一个编译算法534

16.8.1 句法类型535

16.8.2 编译时类型和状态535

16.8.3 编译时动态函数535

16.8.4 编译时静态函数535

16.8.5 运行时常量值536

16.8.6 编译函数536

16.8.7 编译算法的回顾544

16.9 一个属性语法语义544

16.9.1 抽象句法类型545

16.9.2 SAL BNF语法，1545

16.9.3 结点属性546

16.9.4 常量546

16.9.5 一些排印区别546

16.9.6 编译函数546

16.9.7 属性语义回顾，1551

16.10 另一个属性语法语义552

16.10.1 抽象句法类型553

16.10.2 SAL BNF语法，2553

16.10.3 全局变量554

16.10.4 常量555

16.10.5 结点属性556

16.10.6 编译函数556

16.10.7 属性语义的回顾，2559

16.11 讨论559

16.11.1 概述559

16.11.2 原则、技术和工具561

16.12 回顾和文献评注562

16.13 练习565

17 SIL：简单命令式语言567

17.1 背景567

17.2 句法类型567

17.2.1 具体的模式性句法568

17.2.2 抽象句法568

17.3 命令式指称语义568

17.3.1 语义类型569

17.3.2 辅助语义函数569

17.3.3 语义函数569

17.4 宏扩展语义570

17.4.1 句法类型571

17.4.2 编译时语义类型571

17.4.3 运行时语义类型571

17.4.4 运行时状态声明和初始化572

17.4.5 抽象函数573

17.4.6 宏573

17.5 讨论575

17.5.1 概述575

17.5.2 原则、技术和工具575

17.6 文献评注575

17.7 练习576

18 SMIL：简单模块命令式语言577

18.1 句法类型577

18.2 指称语义578

18.2.1 语义类型578

18.2.2 辅助函数578

18.2.3 语义函数579

18.3 宏扩展语义580

18.3.1 运行时语义类型581

18.3.2 编译／运行时语义类型581

18.3.3 编译时语义类型582

18.3.4 语义函数583

18.4 讨论584

18.4.1 概述584

18.4.2 原则、技术和工具584

18.5 文献评注585

18.6 练习585

19 SPIL：简单并行命令式语言586

19.1 问题586

19.2 句法586

19.2.1 非形式句法587

19.2.2 形式句法588

19.3 进程概念和语义类型589

19.3.1 句法概念589

19.3.2 机器和解释器590

19.3.3 语义概念和类型590

19.4 面向进程的语义类型591

19.4.1 唯一进程标识符π:П592

19.4.2 堆ξ:Ξ592

19.4.3 输入／输出通道绑定593

19.4.4 环境ρ:ENV594

19.4.5 状态复合Ψ,Γ,Ξ,∑,Ω594

19.5 初始和辅助语义函数595

19.5.1 开始函数595

19.5.2 系统函数596

19.5.3 绑定和分配函数596

19.5.4 自由和绑定函数597

19.5.5 分配函数597

19.5.6 变迁循环598

19.6 语义函数598

19.6.1 下一状态变迁函数598

19.6.2 赋值语句598

19.6.3 case语句599

19.6.4 while循环599

19.6.5 repeat until循环600

19.6.6 简单输入／输出进程600

19.6.7 并行进程命令，‖601

19.6.8 stop进程技术细节601

19.6.9 进程call命令602

19.6.10 内部非确定性进程，？602

19.6.11 外部非确定性进程，？602

19.6.12 非确定性输入／输出进程603

19.6.13 嵌入式系统进程命令603

19.6.14 finish进程技术细节604

19.7 讨论604

19.7.1 概述604

19.7.2 原则、技术和工具604

19.8 文献评注605

19.9 练习605

Ⅷ 结束语611

20 结束语611

20.1 总结611

20.2 结论：卷1和2611

20.3 卷3的预览612

20.4 “UML”化形式技术613

Ⅸ 附录617

命名规则617

参考文献621