第一章 协议工程概论 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 通道FSM 39
3.2.3 协议实体FSM 40
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 测试描述语言TTCN 149
8.4 测试序列生成方法 157
8.4.1 测试序列生成的基本算法 158
8.4.2 测试序列生成的修正算法 159
8.4.3 最短转换游程 160
8.4.4 特征序列的形成 162
8.4.5 使用特征序列的最短测试序列 163
思考题 165