NEUT-TP4:一个MAP传送层协议的描述及其半自动的实现

SEMIAUTOMATIC IMPLEMENTATION OF NEUT-TP4: A MAP TRANSPORT PROTOCOL

MAP协议是一套用于工业自动化的计算机通讯协议,国际标准化组织所开发的七层协议模型中的第四层——传送层(第四类)是MAP协议集的核心部分。该协议可为不同主机上的用户进程提供可靠的“端——端”(end——end)数据传送服务。本文介绍了东北工学院计算机系软件与网络工程研究室在MAP协议开发中,用Estell,语言描述一个符合ISO传送层Class 4协议标准的软件包NEUT—TP4并且使用协议开发工具Estelle编译器将它半自动地实现出来的过程。

MAP protocol is a series of protocols used in industrial computer communication. As the kernel part of MAP, the transport protocol is a connection-oriented, end -to - end protocol providing a valiable mechanism for the exchange of data between processes indifferent computer systems. In this paper, we present a formal description of a NEUT transport protocol(NEUT-TP4)using Estelle,which is compatible with the ISO class 4 transport protocol, and a semiautomatic implementation of it using an Estelle -C compiler. We find the semiautomatic approach offers several advantages over conventional manual method, including correctness and modularity in protocol implementation code, confirmance to the specification, and reduction inimplementation time.