基于π演算的web service行为交互的建模及死锁现象的研究

摘要

随着信息时代的不断发展，单个的web服务已无法满足用户的需求，于是就需要若干个web服务之间进行交互组合，即把部署于internet上由不同web服务提供者提供的web服务根据特定的需要组合成一个新的web服务，使得整合后的web服务具有更为强大的功能，从而满足用户的需要。然而web服务系统本身的并行性、分布性和高度动态性，仅仅依靠开发者的直观认识，将越来越难以把握所开发系统的行为，也就是说在web服务进行交互的过程中可能会有死锁现象的出现，从而影响整个web服务的质量，因此，在整合后的web服务实施前对web服务组合进行正确性验证是十分必要的。
　　论文针对描述Web服务形式化语言多样性的特点，总结了BPEL关键元素导π演算的建模理论，提出了WS-CDL关键元素到π演算的建模理论；针对移动工作台MWB现有的建模方法的不足，设计了可以对Web服务的交互行为自动建模并把建模过程展示给用户的建模工具HXML；针对移动工作台MWB不能定位异常出现的位置，设计了死锁定位功能，能够展示给用户异常发生在Web服务交互行为的哪一环节。
　　在此基础上，设计实现了HXML工具，选取旅行计划服务案例进行了测试，验证了论文提出的WS-CDL关键元素到π演算的建模理论的正确性，并证实了HXML工具能够对Web服务交互行为进行自动建模和死锁定位功能。

目录

封面

声明

中文摘要

英文摘要

目录

第一章 绪论

1.1课题的研究背景与意义

1.2国内外研究现状

1.3论文的主要工作

1.4 论文的组织结构

第二章 相关技术及概念

2.1 Web服务概述

2.2 Web服务交互行为概述

2.3 BPEL

2.4 WS-CDL

2.5 π演算基础理论

2.6 本章小结

第三章 Web Service交互的建模

3.1 BPEL关键元素到π演算的建模理论

3.2 WS-CDL关键元素到π演算的建模理论

3.3本章小结

第四章 HXML工具的设计与实现

4.1 建模工具分析与比较

4.2 HXML工具功能的分析

4.3 HXML工具的用例图、包图及类图

4.4 HXML工具界面图

4.5 本章小结

第五章 HXML工具的应用

5.1 旅行计划服务案例介绍

5.2 旅行计划服务案例的BPEL描述

5.3 HXML工具的验证

5.4 本章小结

第六章 总结与展望

6.1 论文的主要工作

6.2 进一步工作和展望

致谢

攻读硕士学位期间发表的学术论文

缩略词

图表清单

参考文献