宣告式网络程序设计语言比较研究

摘要

网络技术的发展和异构计算设备种类的增多给网络协议的设计开发带来诸多挑战.网络协议设计者面临的最基本问题是如何脱离繁琐的协议实现细节,而将主要精力放在协议的功能设计上.近年来,为了解决这个问题,宣告式网络程序设计语言,被提出.宣告式网络程序设计语言吸取数据库管理系统成功的经验,将网络划分为逻辑层和物理层.网络协议设计者只需利用其提供的高层编程抽象设计网络协议的功能,而不用关心繁杂的物理层实现.通过分析和比较不同宣告式网络程序设计语言,对其发展进行了总结,并指出了进行进一步的研究工作需要注意的问题.