《计算机网络协议工程》求取 ⇩

第一章 协议工程概论1

1.1 协议及系统的相互作用1

1.1.1 分层嵌套系统模型1

1.1.2 系统的相互作用2

1.1.3 事件与活动2

1.1.4 协议及协议的描述2

1.1.5 OSI模型3

1.2 协议开发过程5

1.3 协议工程的研究内容6

1.3.1 协议工程的定义6

1.3.2 协议设计技术9

1.3.3 协议模型及形式描述技术9

1.3.4 协议验证分析技术10

1.3.5 协议实现技术10

1.4 协议开发工具11

1.3.6 协议测试技术11

第二章 协议构造技术15

2.1 引言15

2.2 协议构造过程15

2.2.1 协议环境15

2.2.2 协议功能和协议机制20

2.2.3 协议元素22

2.2.4 协议组织23

2.3 协议构造方法24

2.2.5 协议文本24

2.4 ISO T层协议的构造26

2.4.1 T层用户要求26

2.4.2 N层通道特性26

2.4.3 T层协议功能和协议机制27

2.4.4 T层协议的组织27

2.4.5 T层协议元素28

2.4.6 T层协议文本32

思考题33

第三章 协议模型技术35

3.1 引言35

3.1.1 协议性质35

3.1.2 协议元素性质37

3.1.3 通道类别38

3.1.4 协议模型的选取38

3.2 有限状态机(FSM)38

3.2.1 FSM定义38

3.2.2 通道FSM39

3.2.3 协议实体FSM40

3.2.4 FSM简化41

3.2.5 FSM合成42

3.2.6 FSM扩充44

3.3 Petri网44

3.3.1 Petri网概念44

3.3.2 Petri网特性46

3.3.3 Petri网扩充47

3.3.4 协议实体Petri网48

3.3.5 通道Petri网49

3.3.6 Petri网的替换与合成50

3.3.7 办议并发性表示51

3.4 时序逻辑(TL)52

3.4.1 名词术语52

3.4.2 时序逻辑系统54

3.4.3 AB协议的TL描述55

3.4.4 协议的TL描述方法57

3.5 通讯进度演算(CCS)59

3.5.1 CCS算子59

3.5.2 变换规则60

3.5.3 CCS的发展61

3.5.4 AB协议的CCS描述62

3.5.5 CCS的应用要点64

思考题65

4.1 引言67

第四章 协议形式描述语言67

4.2 ESTELLE概述68

4.2.1 模块概念68

4.2.2 模块通讯71

4.2.3 状态转换的描述74

4.2.4 AB协议的ESTELLE描述75

4.2.5 ESTELLE的特点与应用方法81

4.3 LOTOS概述81

4.3.1 进程定义81

4.3.2 行为算子82

4.3.3 抽象数据类型84

4.3.4 门径(gates)85

4.3.5 AB协议的LOTOS描述86

4.3.6 LOTOS的特点与应用方法91

思考题91

5.2.1 穷尽可达性分析94

5.2 可达性分析94

5.1 概述94

第五章 协议验证技术94

5.2.2 非穷尽可达性分析97

5.2.3 协议错误的检测方法99

5.3 不变性分析101

5.3.1 不变性证明系统101

5.3.2 不变性监测系统103

5.4 等价性分析103

5.4.1 基于FSM的观察等价性分析104

5.4.2 基于CCS的观察等价性分析106

思考题107

第六章 协议综合技术108

6.1 概述108

6.2 多阶段协议的综合方法109

6.2.1 CFSM网109

6.2.2 阶段(phase)定义111

6.2.3 多阶段网的联接规则112

6.3.2 碰撞问题113

6.3 交替功能协议的综合方法113

6.3.1 同步问题113

6.3.3 交替功能协议的组合规则115

6.3.4 同步条件117

6.4 单功能协议的综合方法118

6.4.1 生成规则(production rules)118

6.4.2 生成规则的使用要点120

思考题121

第七章 协议实现技术123

7.1 概述123

7.2 协议代码半自动生成技术125

7.3 模块通讯的实现方法128

7.4 数据缓冲技术132

7.4.1 缓冲器指针传递方法132

7.4.2 共享缓冲区的分配与管理133

7.4.3 接收缓冲区的分配与管理135

7.5 协议并行处理技术136

思考题139

第八章 协议一致性测试140

8.1 基本概念140

8.1.1 一致性定义140

8.1.2 测试模型140

8.1.3 测试工作流程141

8.1.4 测试级别143

8.1.5 要考虑的问题145

8.2 测试方法145

8.3 测试描述语言TTCN149

8.4 测试序列生成方法157

8.4.1 测试序列生成的基本算法158

8.4.2 测试序列生成的修正算法159

8.4.3 最短转换游程160

8.4.4 特征序列的形成162

8.4.5 使用特征序列的最短测试序列163

思考题165