| 基于Z的协议形式描述与验证 |
| |
| 引用本文： | 李腊元.基于Z的协议形式描述与验证[J].计算机科学,1994,21(6):11-15. |
| |
| 作者姓名： | 李腊元 |
| |
| 作者单位： | 武汉交通科技大学 武昌 |
| |
| 摘 要： | 一、引言在过去的十年.计算机网络与分布式系统已取得了很大的进展6j。步入九十年代,各种新型通信技术和分布式应用已相继出现.并已对计算机通信软件发生了重要影响。这些新技术及应用主要包括高速光纤网、多媒体通信、宽带综合业务数字网(B一IsDN)、智能网络技术.如智能服务器、智能路由选择、智能协议开发环境等.以及综合语音、数据、图文和图象服务等等。为了适应这种形势的发展一门新兴的学科一协议工程已应运而生川。
|
| 关 键 词： | 计算机网络 协议 形式描述 验证 |
Protocol Specification and Verification Based on Z |
| |
| Li Layuan.Protocol Specification and Verification Based on Z[J].Computer Science,1994,21(6):11-15. |
| |
| Authors: | Li Layuan |
| |
| Abstract: | This paper has made the study on protocol and verification in Z. It first describes main features of Z notation. Taking a simplified transport protocol as an example.it then details a specification of the protocol and discusses the verification of safety and liveness properties,which is based on Z. Finally,some conclusions are given. |
| |
| Keywords: | Protocol Specif ication and verification Z |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
