ESTELLE LOTOS SDL UML and MSC are introduced. After analyzed SDL system structure communication mechanism and data type, we use SDL toolkit Telelogic Tau to develop our formal model.

• 然后本文采用SDL规范,利用Telelogic Tau软件对传输协议进行形式化开发,包括协议形式化描述、仿真、和验证。