基于进程代数的REST系统的形式化建模与分析

摘要	第1-7页
Abstract	第7-13页
第一章 绪论	第13-21页
·研究背景	第13-14页
·研究现状	第14-15页
·相关工作	第15-18页
·研究方法和本文贡献	第18-19页
·文章结构	第19-21页
第二章 背景知识介绍	第21-29页
·表述性状态转移	第21-26页
·软件架构和架构风格	第21-22页
·表述性状态转移	第22-26页
·π演算	第26-27页
·本章小结	第27-29页
第三章 形式化建模	第29-71页
·相关术语	第30-32页
·用户代理	第32-57页
·用户代理显示模块	第32-35页
·用户代理处理模块	第35-45页
·用户代理通信模块	第45-55页
·用户代理组件的集成	第55-57页
·来源服务器	第57-65页
·来源服务器通信模块	第57-59页
·来源服务器资源管理模块	第59-64页
·来源服务器组件的集成	第64-65页
·REST系统集成	第65-66页
·本章小结	第66-71页
第四章 形式化模型和REST约束条件的映射	第71-95页
·一个应用场景	第72-74页
·客户-服务器	第74-75页
·分层	第75-82页
·无状态	第82-87页
·统一接口	第87-92页
·资源的识别	第87-88页
·通过操纵表述来访问资源	第88-89页
·自描述的消息	第89-90页
·超媒体作为应用状态的引擎	第90-92页
·本章小结	第92-95页
第五章 总结和展望	第95-99页
·总结	第95-98页
·展望	第98-99页
参考文献	第99-105页
致谢	第105-107页
攻读硕士学位期间发表论文和参与科研情况	第107页