The formal spaciflcation of transport protocol using EPr / TN net system is given, and the general methods for the formal specification of OSI network protocol are outlined.

• 最后用EPr/TN网系统形式描述了运输协议；阐明了OSI网络协议形式描述的一般方法.