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

第1章 前言	第1-11页
·研究背景	第8-9页
·SIP终端开发与研究工作情况	第9-11页
第2章 有限状态机与形式化语言SDL	第11-13页
·有限状态机	第11-12页
·形式化描述语言SDL	第12-13页
第3章 SIP及其相关协议	第13-26页
·会话发起协议SIP	第13-21页
·SIP功能概要	第13-14页
·SIP的协议结构	第14-15页
·SIP中的有关概念	第15-16页
·SIP消息	第16-21页
·会话描述协议SDP	第21-24页
·实时传输协议RTP	第24-26页
第4章 oSIP协议栈分析	第26-64页
·协议栈使用概要	第26-28页
·初始化oSIP	第26-28页
·事务处理	第28页
·oSIP中的SIP事务层实现	第28-63页
·客户端事务	第30-46页
·服务器端事务	第46-63页
·SIP解析器	第63-64页
第5章 SIP多媒体终端的设计与实现	第64-78页
·嵌入式系统开发环境	第64-66页
·OMAP平台开发环境概述	第64-65页
·开发环境建立	第65-66页
·SIP终端软件系统设计	第66-75页
·主控模块	第67-68页
·SIP模块	第68-74页
·媒体传输模块	第74-75页
·代码在嵌入式系统中的移植与调试	第75-78页
第6章 基于状态模型的通信系统思考	第78-80页
参考文献	第80-82页
致谢	第82页