基于PAR平台的短信系统的应用研究

摘要	第1-4页
ABSTRACT	第4-7页
第一章 绪论	第7-11页
·研究背景	第7-8页
·论文的主要内容	第8-9页
·本文篇章结构	第9-11页
第二章 PAR 方法概述	第11-19页
·软件形式化方法	第11-12页
·软件形式化的国内外研究现状	第12-14页
·PAR 方法	第14-19页
第三章 短信通信基础	第19-25页
·短信增值业务概述	第19-20页
·短信通信网络结构	第20页
·短信传输过程	第20-23页
·主要通信协议介绍	第23-24页
·与运营商的通信	第24-25页
第四章 系统的分析和总体设计	第25-39页
·短消息平台系统逻辑结构图	第25-29页
·数据库结构设计	第29-36页
·设计实现的目标	第36页
·小结	第36-39页
第五章 PAR 平台在系统开发中的方法	第39-43页
·PAR 算法开发步骤	第39-41页
·PAR 方法数据库机制开发数据访问层	第41-43页
第六章 短信系统的主要实现	第43-53页
·通信协议处理层	第43-47页
·业务处理层	第47-48页
·公共服务层	第48-53页
第七章 总结与展望	第53-55页
·总结	第53-54页
·展望	第54-55页
参考文献	第55-58页
致谢	第58-59页
攻读硕士学位期间发表的论文和参与的课题	第59-60页