支持异步行为的RESTful Web服务编制方法研究

摘要

RESTful Web服务作为一种轻量级的Web服务实现，近年来在云计算环境中得到了广泛的应用。然而基于HTTP协议的RESTful Web服务无法支持异步交互，在多参与者业务流程中执行效率不高。同时，RESTful Web服务并非建立在现有Web服务协议族的基础上，无法与现有的基于BPEL的服务编制方法兼容，因此RESTful Web服务难以通过服务编制的方法支持复杂业务。现有的研究工作主要围绕RESTful Web服务系统建模，模型中体现服务编制场景中交互行为的能力不足，尤其无法描述异步交互行为，同时也缺少可执行的编制描述的支持。本文针对以上问题，提出了一种支持异步行为的RESTful Web服务编制方法，具体成果如下：
　　1)在服务编制的设计阶段，通过对RESTful Web服务编制中资源和流程的分析，提出了一种支持异步行为分析的RESTful Web服务编制建模方法，辅助RESTful Web服务编制的资源和流程建模，分析和抽取其中异步兼容的行为。
　　2)在服务编制的开发阶段，通过分析已有的异步交互模式和BPEL元模型，设计了一种支持异步交互的RESTful Web服务编制语言BPEL-asynREST及其执行机制，指导RESTful Web服务编制流程的描述和异步交互行为的实现。
　　3)在服务编制的运行阶段，通过扩展业务流程执行引擎Apache ODE使其支持RESTful Web服务编制，实现了BPEL-asynREST执行引擎，保障基于BPEL-asynREST的RESTful Web服务编制的正确执行。

目录

封面

声明

中文摘要

英文摘要

目录

图表清单

缩略词

第1章绪论

1.1课题研究背景及意义

1.2课题研究现状及选题依据

1.3论文概述及组织结构

第2章RESTful Web服务编制面临的挑战

2.1 RESTful Web服务编制概述

2.2 RESTful Web服务编制建模与异步行为分析

2.3 RESTful Web服务编制的异步交互和执行机制

2.4支持异步行为的RESTful Web服务编制研究思路

2.5本章小结

第3章支持异步行为分析的RESTful Web服务编制建模方法

3.1电子商务业务流程案例

3.2基于UML的RESTful Web服务编制建模方法

3.3 RESTful Web服务编制行为的形式化表示

3.4异步兼容行为抽取算法

3.5本章小结

第4章支持异步交互的RESTful Web服务编制执行机制

4.1 RESTful Web服务异步交互模式

4.2 BPEL-asynREST：支持异步行为的RESTful Web服务编制语言

4.3使用BPEL-asynREST进行RESTful Web服务编制

4.4本章小结

第5章BPEL-asynREST执行引擎设计与实现

5.1执行引擎系统设计

5.2基于Apache ODE的系统实现

5.3本章小结

第6章总结与展望

6.1论文工作总结

6.2进一步的工作

参考文献

致谢

在学期间的研究成果及发表的学术论文