数据通信协议(data communication protocols)
目录 |
数据通信协议亦称数据通信控制协议。是为保证数据通信网中通信双方能有效，可靠通信而规定的一系列约定。这些约定包括数据的格式，顺序和速率，数据传输的确认或拒收，差错检测，重传控制和询问等操作。数据通信协议分两类：一类称为基本型通信控制协议，用于以字符为基本单位的数据传输，如BSC协议（二进制同步同步通信协议）；另一类称为高级键路控制协议，用于以比特为基本单位的数据传输，如HDLC（高级数据键路控制协议）和SDLC（同步数据键路控制协议）。
数据通信协议有两个显著特点：
一是都采用分层结构。网路体系结构实际上就是通信功能层次和协议的集合。在开放系统中，各端系统必须执行开放系统互连参考模型中的七层协议，中继系统则执行其下三层协议。
二是数据通信协议都是以标准的形式出现。这里所说的标准包括国际标准和各国各公司的标准。数据通信协议的国际标准主要有相关的CCITT建议和ISO标准。CCITT建议是从数据通信网的角度出发的，ISO标准则是从网路终端系统的角度出发的，二者的相应协议标准互相兼容。CCITT有关数据通信协议的主要建议有V系列建议、X系列建议、T系列建议和I系列建议。V系列建议规定了电话网中数据传输协议（X系列建议系统地规定了数据通信网业务和业务功能、网路体系结构、网路互连、移动数据通信、网路编号方案、数据传输质量、网路管理和安全体系结构等协议以及消息处理系统和目录查询等应用协议；T系列建议规定了数据终端及应用协议>1系列建议规定了综合业务数字（ISDN）中数据通信的协议。
协议实用化的主要技术。主要包括协议形式化描述技术、协议验证技术、协议分析技术和协议一致性测试技术。
1.协议形式化描述技术
协议形式化描述技术是用某种具有形式语法或语义的语言（包括状态图表等）对某种给定协议进行说明的技术，是为协议实现莫定基础的一种有效手段，是使协议无含糊性和能够唯一解释的一种表示技术。CCITT和ISO相继研究出SDL（说明和描述语言）、ESTELLE（扩展的状态转移语言）和LOTOSC时序说明语言）三种形式化描述技术。
2.协议验证技术
协议验证技术证明所描述的对象是否满足协议规范的技术。主要的方法有：
①状态转移法利用状态转移图表示协议和验证协议的各种性质的方法。这种方法容易检测死锁现象以及检测出现特殊状态的可能性，也可以用计算机自动实现。缺点是当协议规模增大和复杂化时，状态数增加，计算机处理就比较困难。这种方法多用于已经模型化了的通信进程间的事件交换。
②编程语言法以PASCAL等高级编程语言为基础，增加适于表示协议的固定命令集所形成的语言规范的验证方法。这种方法可以用于验证用状态转移法难以验证的序列号和定时值等参数的处理规程，
③时序逻辑法在逻辑运算符（逻辑和、逻辑乘、同意、否定等）的基础上增加时间运算符的规范描述验证方法。这种方法对协议生存性和安全性的验证能力强，但当协议规模较大时，描述内容的可理解性降低，验证变得困难。
④代数方法利用操作、参数的说明部分（定义域、值域）和公理来规定协议规范的验证方法。这种方法的优点是协议规范作为公理给出，验证和协议规范描述可在同一框架中讨论。缺点是协议规模大时，可理解性降低，维护变得困难。
3.协议分析技术
协议分析技术是在协议开发；、试验和维护等过程中，对协议的执行状况进行判断和故障诊断，从而判定协议执行正确性的技术。协议分析是利用协议分析仪，采用监控和模拟两种方式来实现的。监控方式是协议分析仪通过显示和存储从线路上接收到的数据信号，供操作人员判断和分析。模拟方式是用协议分析仪代替主计算机或终端，在预先编制的程序控制下，检査和分析被测设备执行协议的正确性。
协议一致性测试技术测试数据通信系统中协议实现和协议标准之间一致性程度的技术。其目的在于提高数据通信设备之间的互操作性。