基于CSP的网络协议描述与仿真  

Description and simulation of network protocol based on CSP

作　　者：宋金晶[1] 沈军[1] 

机构地区：[1]东南大学计算机科学与技术学院,南京210096

出　　处：《东南大学学报（自然科学版）》2008年第A01期28-33,共6页Journal of Southeast University：Natural Science Edition

基　　金：国家重点基础研究发展计划(973计划)资助项目(2003CB314801;2009CB320501)

摘　　要：首先提出一种基于CSP的协议形式化描述方法.这种方法把协议看成交互实体,从而能很方便地描述协议间的交互关系以及仿真一个协议交互系统.在此基础上,提出了基于CSP的网络协议仿真方法,介绍了仿真流程及其核心模块.这种仿真方法以CSP文档的解析为起始,随后生成协议交互的仿真场景,最终调用仿真核心模块输出仿真结果.给出了TCP协议描述的实例,并以此为输入对TCP协议的连接过程进行了仿真,生成了可视化的仿真结果.这些研究表明这种协议形式化描述及其仿真的方法具有较好的理论和应用价值,并为实现自动化的协议开发平台奠定了基础.A CSP-based method of network protocol description is firstly proposed, in which protocols are regarded as interactive entities for easily describing the interaction of protocols and simulating a protocol interaction system. On this basis, a simulation method of network protocol based on CSP （communicating sequential processes） is put forward including the flow chart and nucleus module of simulation. This simulation method starts with the parsing of a CSP document, and then creates a simulation scene of the protocol interaction, finally outputs the simulation results by calling the nucleus module of simulation. A description of TCP（transmission control protocol） is given in this paper which is used as the input to simulate the process of establishing a TCP connection. Visual results are generated after the simulation. These studies show that the method of the protocol formal description and simulation not only has a better theoretical and application value but also lays the foundation of the implementation of automatic protocol development platform.

关 键 词：形式化描述语言 通信顺序进程 协议仿真 系统建模 

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