小型文件传输协议TFTP的形式化描述和自动生成工具EIT  

FORMAL DESCRIPTION AND THE AUTOMATIC IMPLEMENTATION TOOL EIT OF TRIVIAL FILE TRANSFER PROTOCOL

作　　者：丁晋[1,2] 杨培根[1,2] 

机构地区：[1]南京大学计算机科学与技术系 [2]南京大学计算机软件新技术国家重点实验室

出　　处：《计算机研究与发展》1997年第S1期136-140,共5页Journal of Computer Research and Development

基　　金："八五"国家重点攻关项目

摘　　要：文中给出了小型文件传输协议ＴＦＴＰ的ＥＳＴＥＬＬＥ语言的形式化描述及自动生成工具ＥＩＴ，并对ＥＳＴＥＬＬＥ语言进行了扩展．引入限定注释机制，使描述功能增强，协议描述与实现环境更加独立，提高了协议软件的可移植性．The formal description technique of ESTELLE and the automatic implementation tool EIT used to specify and develop the TFTP protocol are presented. The functions of the formal description are enhanced to make the protocol description more independent of implementation environment by inserting qualifying comments in ESTELLE text to meet the portability objective of protocols.

关 键 词：形式化描述 协议 协议工程 ESTELLE 自动生成 

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