Z应用于通信协议形式化描述的研究  

作　　者：袁晓东[1] 徐殿祥[1] 郑国梁[1] 

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

出　　处：《计算机工程与应用》1998年第11期26-28,共3页Computer Engineering and Applications

摘　　要：Ｚ语言是一被广泛使用的形式化规格说明语言，该文在其上扩充了时间描述机制Ｔｉｍｅ模式，使之适应于对通信协议的形式化描述，并以流行的ＹＭＯＤＥＭ通信协议为例详细介绍了如何用Ｚ对通信协议进行形式化描述以及在此基础上协议的具体实现方法。

关 键 词：Z规格说明 形式 通信协议 YMODEM协议 

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