网络业务建模研究—SIP建模
摘要 | 第1-5页 |
ABSTRACT | 第5-8页 |
1. 绪论 | 第8-10页 |
·研究工作的背景和意义 | 第8页 |
·论文的结构和主要要完成的工作 | 第8-10页 |
2. 网络业务综述 | 第10-18页 |
·网络业务简介 | 第10-16页 |
·基础电信业务 | 第11-14页 |
·增值电信业务 | 第14-16页 |
·网络业务分析 | 第16-17页 |
·本章小结 | 第17-18页 |
3. 网络研究 | 第18-39页 |
·网络综述 | 第18-21页 |
·网络的发展背景及演进方向 | 第18-20页 |
·网络面临的挑战 | 第20-21页 |
·下一代网络研究 | 第21-29页 |
·TINA | 第22-23页 |
·GII、ICA和 NGN | 第23-25页 |
·PARLAY API和 OMA OSE | 第25-27页 |
·Grid Computer和 OGSA | 第27-29页 |
·下一代网络的研究结论 | 第29-38页 |
·下一代网络的组织模型 | 第29-31页 |
·下一代网络的分层模型 | 第31-33页 |
·下一代网络上的业务分类 | 第33-35页 |
·下一代网络上的业务技术 | 第35-38页 |
·本章小结 | 第38-39页 |
4. 网络业务建模研究 | 第39-67页 |
·业务建模技术及建模语言介绍 | 第39-47页 |
·业务建模技术分析 | 第39-41页 |
·mCRL建模语言简介 | 第41-47页 |
·SIP协议简介 | 第47-49页 |
·建模环境介绍 | 第49-51页 |
·cygwin简介 | 第49-50页 |
·CADP简介 | 第50-51页 |
·SIP模型的建立及分析 | 第51-64页 |
·SIP模型的建立 | 第51-59页 |
·建模结果分析 | 第59-64页 |
·模型验证 | 第64-66页 |
·模型验证技术简介 | 第64-65页 |
·模型验证 | 第65-66页 |
·本章小结 | 第66-67页 |
结论 | 第67-69页 |
参考文献 | 第69-71页 |
攻读硕士期间发表的论文及所取得的研究成果 | 第71-72页 |
致谢 | 第72页 |