基于SDL语言的SIP协议的形式化设计  

Formal Description of SIP Protocol Using SDL

作　　者：陈媛媛[1] 梅杓春[1] 

机构地区：[1]南京邮电大学自动化学院,南京210003

出　　处：《信息通信》2008年第2期24-26,共3页Information & Communications

摘　　要：目前SIP协议做为VoIP的应用协议已经变得越来越重要,3GPP R5版本已经选择SIP协议作为3G移动通信多媒体的信令协议。本文利用SDL语言描述了该协议的核心功能,并对系统进行了仿真和验证。At first, The SIP protocol is introduced .Then it gives the specific method about how to design the key function of SIP protocol using the SDL tools, the system＇s simulation and validation have been completed and the result is given at last.

关 键 词：SIP协议 SDL 形式化 仿真 验证 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]