基于形式化方法的SIP研究与应用

来源 :北京邮电大学 | 被引量 : 4次 | 上传用户:a83017396
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着社会的进步和通信产业的发展,人们的通信需求日益增多,通信质量要求日益提高,新的业务需求,对现有的通信网络和技术提出了新的要求。IETF(Internet Engineering Task Force)提出的信令控制协议SIP(Session Initiation Protocol)可以方便的创建、修改和终止多媒体会话,具有简单、开放、可扩展和呼叫与业务分离等特点,适于开发新的网络应用。SIP能够将多种网络业务组合起来,通过在灵活、开放的SIP应用架构下合并基于IP网络的多种通信服务,可以降低设计和部署新服务系统的成本,以低廉的价格为用户提供新颖、个性化的网络服务。 SIP中包含两个基本部分:一个部分是SIP消息,另一个部分是收发SIP消息的事务机制。SIP消息部分可看作是规定了协议系统中的信息表达,SIP的事务机制可看作是协议系统中的信息传递机制。本文着重研究了SIP的事务机制,并对oSIP(一个SIP协议栈)中SIP事务机制的实现,进行了详细分析和使用SDL(Specification and Description Language)进行了形式化描述。此外,本文还着重介绍了在开放源代码的SIP软件基础上,对支持多媒体硬终端功能的嵌入式软件系统进行的设计和实现。本文的最后一部分,是在学习、研究过程中本人对协议系统以及通信系统中的信息传递过程,进行求本溯
其他文献
随着Internet上实时多媒体业务的增长、视频编解码技术的发展,在无线网络中视频业务的需求越来越大,视频传输在WLAN的应用中占据了重要地位。另一方面,同有线网络相比,无线网络在
随着移动通信的不断发展和技术的不断提高,多媒体数据通信业务将成为下一代移动通信的主要任务。OFDM具有出色的性能,它具有抗多径衰落特性,能够在移动情况下实现高速数据传输和