网络协议工程
作者：吴礼发编著
出版时间：2011年版
内容简介
　　网络协议是计算机网络及数据通信的核心，开发正确、有效的网络协议一直是人们追求的目标。协议工程是指集成化、形式化的协议开发过程，其目的是减少协议开发中潜在的错误，提高协议开发的效率和质量。《网络协议工程》以协议工程活动所涉及的各种技术为主线，以介绍基本原理、技术与方法为原则，主要内容包括：协议工程概论、协议设计技术、协议形式化描述技术、协议形式描述语言、协议验证技术、协议验证工具、协议一致性测试技术等。各章均附有讨论题、思考题及参考文献。《网络协议工程》可作为高等学校网络工程、计算机、通信工程等专业与网络协议工程、协议设计与分析、通信软件开发有关课程的高年级本科生和研究生教材，也可作为网络研究和开发人员的自学教材和参考书。
目录
第1章 概述
　1.1 协议
　　1.1.1 定义
　　1.1.2 协议的标准化
　1.2 协议工程
第2章 协议设计技术
　2.1 协议模型
　2.2 协议设计的基本内容
　　2.2.1 协议的?信环境
　　2.2.2 协议提供的服务
　　2.2.3 协议功能
　　2.2.4 协议元素
　　2.2.5 协议组织
　　2.2.6 协议文本
　2.3 协议设计方法
　　2.3.1 协议设计原则
　　2.3.2 分层次的协议设计
　　2.3.3 自顶向下的协议设计
　2.4 差错控制技术
　　2.4.1 差错类型
　　2.4.2 差错检测技术
　　2.4.3 差错控制技术
　　2.4.4 差错控制与层次的关系
　2.5 流量控制技术
　　2.5.1 X-on/X-off协议
　　2.5.2 滑动窗口协议
第3章 协议形式化描述技术
　3.1 概述
　3.2 FSM
　　3.2.1 FSM的基本概念
　　3.2.2 FSM的简化
　　3.2.3 FSM的错误模型
　　3.2.4 FSM的合并
　　3.2.5 扩展的有限状态机(EFSM)
　3.3 PetriNet
　　3.3.1 Petri网的基本概念
　　3.3.2 Petri网的扩充
　　3.3.3 Petri网的性质
　　3.3.4 Petri网在协议描述中的应用
　3.4 时序逻辑
　　3.4.1 基本概念
　　3.4.2 时序逻辑系统
　　3.4.3 时序逻辑在协议描述中的应用
　3.5 通信顺序进程
　　3.5.1 概述
　　3.5.2 CSP在协议描述中的应用
第4章 协议形式描述语言
第5章 协议验证技术
第6章 协议验证工具
第7章 协议一致性测试技术
附录A 英文缩略词