RESTful Web服务的形式化建模与分析

发布时间：2017-10-05 10:24

  本文关键词：RESTful Web服务的形式化建模与分析

  更多相关文章： RESTful Web服务 CSP 无状态性 超媒体驱动 PAT

【摘要】：Web服务技术自上世纪90年代诞生以来,就开始了需求激励技术、技术推动服务的浪潮式发展。在信息技术推陈出新日益频繁的今天,REST架构由于具有简单性、高可扩展性、高可伸缩性、低耦合性、高可重用性等特性,引起了理论界和工业界的瞩目,对它的研究和应用也越来越多。RESTful Web服务是指将REST架构应用在Web中,以资源为中心,使用URI作为统一资源标识符,使用HTTP协议中的方法作为操作资源的统一方法的Web服务。从REST架构提出至今,形式化领域中对其的研究工作并不多,而缺少形式化模型的支持使得REST架构风格的设计原则在工业界经常被误用,REST也没有发挥出它真正的强大能力。本文使用进程代数中的CSP对RESTful Web服务进行建模与分析。首先对REST架构本身以及RESTful Web服务进行了形式化建模,前者关注各个模块内的构成,后者关注模块之间的交互。RESTful Web服务模型将整个服务抽象成客户端、服务器、资源三个模块,分别描述成CSP中的进程。每个模块结合HTTP协议中的方法,对发送请求和接受请求的行为进行刻画,分别描述了各个方法的具体行为。通过将资源独立描述成一个进程,模型很好地刻画了资源的状态变化。本文还使用一阶逻辑对RESTful Web服务中最重要的无状态性、超媒体驱动以及HTTP协议方法的安全性和幂等性进行描述,然后使用模型检测工具PAT对其进行了验证。最后,本文使用了一个具体案例来说明模型的适用性。运用形式化方法对RESTful Web服务进行建模与分析,能增强工业界对REST架构相关概念的理解,同时对其性质的描述提供了一个检验Web服务是否为RESTful的方法。
【关键词】：RESTful Web服务 CSP 无状态性 超媒体驱动 PAT
【学位授予单位】：华东师范大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TP393.09
【目录】：

• 摘要6-7
• ABSTRACT7-11
• 第一章 绪论11-19
• 1.1 研究背景11-13
• 1.2 研究现状与相关工作13-15
• 1.3 本文的研究贡献与研究内容15-17
• 1.4 本文组织17-19
• 第二章 REST架构与进程代数19-33
• 2.1 REST架构19-26
• 2.1.1 REST架构总述19-23
• 2.1.2 REST约束23-25
• 2.1.3 RESTful Web服务25-26
• 2.2 进程代数26-32
• 2.2.1 进程代数26-27
• 2.2.2 CSP27-30
• 2.2.3 形式化验证方法及工具PAT30-32
• 2.3 本章小结32-33
• 第三章 RESTful Web服务建模33-51
• 3.1 REST架构模型33-40
• 3.1.1 REST架构抽象33-35
• 3.1.2 REST架构建模35-40
• 3.2 RESTful Web服务模型40-49
• 3.2.1 RESTful Web服务抽象41-42
• 3.2.2 RESTful Web服务建模42-49
• 3.3 本章小结49-51
• 第四章 RESTful Web服务性质分析与验证51-63
• 4.1 RESTful Web服务性质分析51-57
• 4.1.1 REST性质分析51-54
• 4.1.2 HTTP性质分析54-57
• 4.2 RESTful Web服务性质验证57-62
• 4.2.1 模型实现57-60
• 4.2.2 性质验证与实验结果60-62
• 4.3 本章小结62-63
• 第五章 案例分析63-75
• 5.1 案例映射63-70
• 5.1.1 模型映射64-68
• 5.1.2 性质映射68-70
• 5.2 案例验证70-73
• 5.3 本章小结73-75
• 第六章 总结与展望75-77
• 6.1 本文总结75-76
• 6.2 未来工作展望76-77
• 参考文献77-85
• 攻读硕士学位期间发表论文和参与科研情况85-87
• 致谢87

【相似文献】

中国期刊全文数据库 前2条

1 章武媚;;基于RESTful Web技术的资源管理系统设计与实现[J];计算机应用与软件;2014年05期

2 ;[J];;年期

中国硕士学位论文全文数据库 前2条

1 袁婷;RESTful Web服务的形式化建模与分析[D];华东师范大学;2015年

2 吴昌雨;基于Grails框架构建RESTful Web服务研究[D];安徽大学;2013年

，

本文编号：976268