ＳＩＰ协议系统模型的形式化研究

李中华　穆维新　刘润杰　申金媛

0引言

随着通信技术的快速发展，网络通信技术的要求不断提高，在通信技术中具有决定作用的通信协议的功能也不断完善且更加复杂。ITu—T的Z.100建议SDL(Specification and Description Language)语言可以定义通信协议的分层结构和协议各部分间的相互联系及接口，使用SDL语言描述、分析通信协议，能够提高通信软件开发效率和可靠性。