协议工程学

计算机网络在最近二十几年来发展速度非常之快.计算机互连网络Internet的浪潮更

是冲击着整个世界,深刻地影响着我们的学习,工作和生活.通过网络,你可以浏览新

闻,图片,甚至享受多媒体服务(音乐,视频点播等);从网络信息海洋中,你可以查找

你想要的任何资料;到网络上的虚拟社区,你可以聊天,交友,甚至可以发表你的任何

感想――因为这里言论绝对自由;电子商务的发展使网络的商业应用走向又一个高潮,

不久,就可以实现在网络上购物的梦想.二十一世纪将是网络的世纪.

计算机网络的发展离不开网络协议(Protocol).所谓协议就是计算机网络中各种通信

实体或进程间相互交换信息时必须遵守的一组规则.为了使各种各样的计算机系统方便

可靠的相互连接通信,国际标准化组织(OSI)提出了开放系统互连(Open System

Interconnection)参考模型,它在网络的体系结构和协议标准的开发中起着重要的作用.

"开放系统"意思是指遵从一个标准实现的各个系统之间是相互开放的,也就是说可以

畅通无阻的相互连接通信.TCP/IP协议簇是Internet网络体系结构的核心协议,已成为

实际上的计算机网络工业标准.随着计算机网络的发展,网络协议的数量越来越多,内

容也越来越复杂,如何设计出正确可靠的协议已成为一个挑战性的课题.

为此,协议工程学[1]应运而生.它采用形式化的方法,将协议转换(Transformation),

协议说明(Specification),协议证实(Validation),协议验证(Verification),协议实现

(Implementation),协议测试(Testing)等内容并在一个开发系统中完成,实现协议开发

的一体化(Integrated)即系统化.一体化的最终目标就是在输入自然语言描述的协议后,

自动的完成上述各个任务.