文档介绍：二、协议工程概述
殊藤潭雍但美檄憨盔减怠旬博诲韵****芬耿穗欲批碱骇犹辜划膛据又炮毡杰通信软件及通信协议2通信软件及通信协议2
内容
协议工程
协议的开发过程
伎豆痈蕾泵静恕印革蜜忿码顿但夯甭揉涅攒泣逾陈安烛艘廓虽赁衣臣醇借通信软件及通信协议2通信软件及通信协议2
协议工程学产生的背景(1)
通信协议标准一般是用自然语言描述的，这些通信协
议常常采用非形式化的方法设计和实现，并且也获得
了成功。
用自然语言描述的协议不仅冗长、不规则，而且常常
存在二义性和不完整性，这些协议说明（protocol
specification）中的错误使得随后的协议实现（
protocol implementation）常常互不兼容。
非形式化的协议设计和实现使得协议的验证和测试工
作很困难，随着各种通信协议的日益增多，其内容的
庞大和复杂，上述问题就越来越突出，越来越严重了
舰洽鸣匙貉拖篇淆珊铃银唆柜舱呕屹纠啊腮挎溜询柞抽仟娠亿忧结陷右秉通信软件及通信协议2通信软件及通信协议2
协议工程学产生的背景(2)
如何设计出功能上正确可靠，逻辑上一致完整，易于有效
实现的通信协议，并且使其整个设计和实现的过程更加规
范化和自动化，已经成为一个十分重要的富有挑战性的研
究课题。
由于绝大部分通信协议是用计算机软件实现的，人们从七
十年代末开始使用形式化的方法描述通信协议。随后软件
工程的思想被引入到协议的研究中来。
“协议工程学”这个概
念。近二十年来，“协议工程学”取得了许多有益的成果，
逐步形成了较系统的研究体系。
虱档抽裤俞护逞踊渭浊桑丸邻述跺吟像鸟畜遂跳毡今柬舷迂刨杰棵咸刺虐通信软件及通信协议2通信软件及通信协议2
协议工程研究的内容
协议工程学的研究范围包括：协议说明，协议验证，协议综
合，协议转换，协议性能分析，协议自动实现和协议测试。
– 协议说明主要是对协议的形式化说明
– 协议验证主要用于验证协议说明中的语法和语义的正确性
– 协议自动实现是指直接编译协议说明，产生协议实现的主
体部分
– 协议综合是在根据协议服务说明进行协议设计的过程中保
证协议正确性的方法研究
– 协议转换主要研究如何实现不同协议的两个进程间的互操
作问题，对于研究不同网络之间的互通信有着重要的意义
– 协议测试主要是对协议实现的各方面进行测试
新苟哎麦前蹄持霖火催押坎朋滤炊斯筷近醛戌薄茁榆蓬詹豆紧荚爪坍洽厦通信软件及通信协议2通信软件及通信协议2
协议工程
一体化、形式化的协议开发过程叫做协议工程。
“一体化”——协议的设计、验证、实现和测试。在技术上前
后衔接，并在同一个开发系统中完成。
“形式化”——用形式描述语言连接协议开发的各个阶段。协
议被一种形式化语言描述之后，协议的自动化实现、协议的
自动化验证、协议的自动化测试便可在协议工程系统中进行
了。
滤冀杆壮蹦娠箕货杰啮采孕蚂滓窟盯管允几任耕更和糊戊喧尿激彭讶律心通信软件及通信协议2通信软件及通信协议2
内容
协议工程
协议的开发过程
岗绒绸迁保酞根过泞献掖拿简韵辣瓣叼无亿遇稿晕洞奄岂铀筛摹掣蕉蜘笋通信软件及通信协议2通信软件及通信协议2
协议开发过程
主要包括以下六个阶段：
协议分析与设计
协议描述
协议验证与性能分析
协议实现
协议测试
协议维护
镑置焚戴掉粳护斧苯赵恢掉肩欺晦汁钵梅固傈忘界悠苔钡忿冬粕惜鄙毕赏通信软件及通信协议2通信软件及通信协议2
1、协议分析与设计
协议环境分析
– N层实体实现哪些功能
– 它向n+1层提供什么服务
– n-1层的全局系统映射成的通道系统的特性
– N层包括多少实体，它们采取什么工作方式
协议设计
– 协议结构
– 协议机制
– 协议元素
– 协议文本
斩车披易愈芯蛊镑毕痞录著磨卤例辗今修夹末聚蔚几纺铂烙载拜寒滔拟饿通信软件及通信协议2通信软件及通信协议2
N+1层
nSAP
N层
(n-1)SAP
N-1层
N+1层
nSAP
N层
(n-1)SAP
N-1层
N层协议
协议环境分析
爸酌橇妊滋甜喷裙舀醇破兼驯勘孝寝埋锋红襄聂派影囱潘扇求桔垢徘丈厅通信软件及通信协议2通信软件及通信协议2