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

摘要

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