ISO/OSI运输层协议的形式描述

Formal Description of ISO/OSI Transport Layer

通信协议的形式描述是协议实现、正确性验证和一致性测试的基础．本文用一种混合式模型对ＩＳＯ／ＯＳＩ的运输层协议进行了形式描述。

Formal description of communication protocal is base of implementation, evaluation criteria and conformance testing. This article describes the ISO/OSI transport layer in combination model and is beneficial to implementation.