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

Comparison Study of Declarative Networking Program Language

作　　者：齐欣[1] 曲文武[2] 

机构地区：[1]中国科学院自动化研究所中法联合实验室 [2]中国科学技术大学计算机科学与技术系

出　　处：《计算机科学》2010年第11期59-63,共5页Computer Science

基　　金：法国国家研究机构(ANR)Ubiquest项目基金(Project No.NT09_537153)资助

摘　　要：网络技术的发展和异构计算设备种类的增多给网络协议的设计开发带来诸多挑战。网络协议设计者面临的最基本问题是如何脱离繁琐的协议实现细节,而将主要精力放在协议的功能设计上。近年来,为了解决这个问题,宣告式网络程序设计语言,被提出。宣告式网络程序设计语言吸取数据库管理系统成功的经验,将网络划分为逻辑层和物理层。网络协议设计者只需利用其提供的高层编程抽象设计网络协议的功能,而不用关心繁杂的物理层实现。通过分析和比较不同宣告式网络程序设计语言,对其发展进行了总结,并指出了进行进一步的研究工作需要注意的问题。The development of network technology and the increasing type number of heterogeneous computational devices have brought lots of challenges to network protocol design.The fundamental problem in front of the network protocol designer is how to get rid of the tedious protocol implementation details and pay their attention mainly to the design of protocol function.Recent years,for sake of solving this problem,the declarative networking programming language has been proposed.The declarative networking programming language has absorbed the experience of database management system＇s success and divided the network into logical level and physical level.The network protocol designers only need to use the high-level programming abstraction provided by declarative networking programming language to design the function of network protocol and don＇t need to take care of the tedious physical implementation.This paper surveyed the development of declarative networking programming language through analyzing and comparing different declarative networking programming languages.Besides,we pointed out the problems that should be paid attention to by further research work.

关 键 词：宣告式 编程抽象 逻辑层 物理层 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]