A formal specification technique for communication protocol

IEEE INFOCOM '89, Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies Pub Date : 1989-04-23 DOI:10.1109/INFCOM.1989.101436

La-yuan Li

引用次数: 17

Abstract

A formal method for communication protocol specification is presented in which the best features of approaches using finite-state machines, communication sequential processes, and abstracting data types are combined. First, the formal techniques of the communication protocol are briefly described. Then, the hybrid method of protocol specification is presented. Finally, an example, i.e IEEE 802.3 MAC protocol for a LAN described by the proposed formal method is given.<>

查看原文本刊更多论文

通信协议的形式化规范技术

提出了一种形式化的通信协议规范方法，其中结合了使用有限状态机、通信顺序过程和抽象数据类型的方法的最佳特性。首先，简要介绍了通信协议的形式化技术。然后，提出了协议规范的混合方法。最后，以IEEE 802.3 MAC协议为例，给出了本文提出的形式化方法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

IEEE INFOCOM '89, Proceedings of the Eighth Annual Joint Conference of the IEEE Computer and Communications Societies

自引率

0.00%

发文量