计算机网络协议工程PDF电子书下载
- 电子书积分:9 积分如何计算积分?
- 作 者:龚正虎编著
- 出 版 社:长沙:国防科技大学出版社
- 出版年份:1993
- ISBN:781024275X
- 页数:167 页
第一章 协议工程概论 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
- 《市政工程基础》杨岚编著 2009
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《中国铁路人 第三届现实主义网络文学征文大赛一等奖》恒传录著 2019
- 《工程静力学》王科盛主编 2019
- 《中央财政支持提升专业服务产业发展能力项目水利工程专业课程建设成果 设施农业工程技术》赵英编 2018
- 《化学反应工程》许志美主编 2019
- 《计算机辅助平面设计》吴轶博主编 2019
- 《计算机组成原理解题参考 第7版》张基温 2017
- 《云计算节能与资源调度》彭俊杰主编 2019
- 《市政工程基础》杨岚编著 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编著 1959
- 《《道德经》200句》崇贤书院编著 2018
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《法语词汇认知联想记忆法》刘莲编著 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《国家社科基金项目申报规范 技巧与案例 第3版 2020》文传浩,夏宇编著 2019
- 《流体力学》张扬军,彭杰,诸葛伟林编著 2019