异步交互的Web服务建模与相容性检测

摘要

随着服务组合系统的广泛应用，许多新的研究问题被提出。由于Web服务松散、低耦合等特点，使得Web服务之间的异步交互方式被广泛的采用。而以往的研究往往局限于同步交互情形，很少关注异步通信情况下服务之间交互。在同步条件下，可以使用现有的UPPAAL模型检测工具进行服务交互建模与检测，而在异步情况下需要给出合适的交互模型和检测算法来检测服务的相容性。另外，实际的业务需求常常要求服务之间的交互行为需要添加时间约束。在这种情况下，参与服务组合的服务交互行为必须在满足特定时间约束的前提下，才能保证服务的正确组合，因此，需要对带有时间约束的服务相容性进行检测，但现有的研究多是针对服务交互行为本身能否正确的进行交互，缺乏对操作行为带有时间约束条件的检测验证。
　　针对上述问题，本文的给出了带有时间约束的服务相容性检测方法，具体研究工作如下：
　　（1）分析了三种服务交互模型，分别是同步交互模型、本地序列化异步交互模型、相互序列化异步交互模型，确定在同步和异步不同情形下适用的交互模型。
　　（2）讨论了基于时间自动机的服务建模方法。本文采用将BPEL进行时间属性的扩展，根据实际的业务需求规约在活动元素上添加时间约束属性，将扩展后的BPEL转换为时间自动机。最后分析归纳了BPEL活动元素到自动机模型的转换规则。
　　（3）通过分析给出了异步交互的服务相容性的检测流程和检测算法，设计实现了带有时间约束的服务相容性检测原型工具，该工具支持带有时间约束的异步交互Web服务相容性的检测，最后通过实例分析，表明验证方法与检测算法的可行性。

目录

封面

声明

中文摘要

英文摘要

目录

图表清单

注释表

第一章 绪论

1.1课题研究背景和意义

1.2研究现状及选题依据

1.3论文主要工作及组织结构

第二章 Web服务交互模型与相容性问题分析

2.1 Web服务的相容性问题研究

2.2 Web服务的交互模型

2.3 Web服务相容性检测的形式化方法

2.4本章小结

第三章 带时间约束的Web服务建模

3.1Web服务的时间自动机模型

3.2BPEL活动元素的时间扩展

3.3BPEL到时间自动机（TA）的转换方法

3.4本章小结

第四章 带时间约束的Web服务相容性检测

4.1异步交互Web服务相容性检测方法

4.2带时间约束的异步交互Web服务相容性检测流程

4.3异步交互Web服务相容性检测

4.4 本章小结

第五章 相容性检测系统的设计与实现

5.1 系统的体系结构

5.2 系统模块分析

5.3 系统实现

5.4本章小结

第六章 总结与下一步研究工作

6.1 论文总结

6.2 进一步的研究工作

参考文献

致谢

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

附录