文档介绍：复口__人学硕丨:研究生学位论义某十 W S D L 的 W eb 服务可替换性验 ii卜:研究
指导小组成员名单
汪卫教授
顾宁教授
朱扬勇教授
I.?研究生学位论文基十 W SD L 的 W eb 服务可替换性验证研究
目录
觀곁ϊ III
A b stra c t곁ϊ 곁ϊ곁ϊ IV
雜곁ϊ 1
面向服务的体系结构곁ϊ 1
1丄 1 服务组合곁ϊ 곁ϊ .2
服务相容性곁ϊ 2
服务替换곁ϊ 3
本文工作和主要贡献곁ϊ 4
本文研究内容곁ϊ 4
.2 论文章节安排곁ϊ 5
.3 主要贡献곁ϊ 5
第二章背景及相关研究곁ϊ 7
W eb 服务곁ϊ 7
곁ϊW eb 服务体系架构곁ϊ 7
곁ϊW eb 服务的描述곁ϊ 8
2 .2 服务契约곁ϊ 10
国内外相关研究곁ϊ 16
2 .3 .1 服务相容性곁ϊ 16
2 .3 .2 服务替换곁ϊ 18
本章小结곁ϊ 20
第三章基于 W S D L 形式的服务替换곁ϊ 2 1
网购付款服务实例곁ϊ 2 1
3 .2 服务建模곁ϊ 23
替换方法架构곁ϊ 26
3 .4 实验设计与结果곁ϊ 28
3 .5 实验结果验证곁ϊ 33
3 .6 本章小结곁ϊ 34
第四章考虑消息类型的服务替换곁ϊ 36
4 .1 替换方法架构곁ϊ 36
4 .2 实验设计与结果곁ϊ 38
4 .3 本章小结곁ϊ 42
W S D L 的 W eb 服务可替换性验证研究
第五章总结和展望곁ϊ 43
5 .1 工作总结곁ϊ 곁ϊ곁ϊ 43
5 .2 工作展望곁ϊ 43
参考文献곁ϊ 4 5
硕士期间发表的论文곁ϊ 48
S ilt 곁ϊ 49
复旦人学硕丨.?研究生学位论文祛十 W S D L 的 W eb 服务可替换性验证研究
摘要
作为新一代的软件架构,面向服务的体系架构 S O A (S ervice-O riented A r?
chitecture ) 具有松耦合、开放和平台及实现语言独立的特性,为服务的重用和跨
平台的业务整合与交互提供了有效的解决方案,在科学研究和实际应用中都受到
了日益广泛的关注。而随着 S O A 的逐渐成熟,上大量的功能相同或相似、
交叉或重叠的共享服务随之涌现。
处于分布式环境中,S O A 系统存在高失效率的潜在风险,各成员服务都有较
高的失败率,并且成员服务失败也可能会导致整个系统的失效。为了防止系统发
生这样灾难,应尽可能的去发现上大量的功能相同或相似、交叉或重叠
的服务,建立相应的替换机制,替换那些失败不可使用的服务,从而在最大限度
上保持合成服务的成功。因此,服务替换是指在组合服务的上下文中,一个新服
务替代一个原始服务,并能够保证系统的固有属性不变。服务的可替换性分析成
为了一个科学问题。
以往的国内外相关研究都大都基于这样一种假设,即成员服务和组合服务需
要附随其行为的某种形式化描述。但在 S O A 最为普遍的形式 W eb 服务应用中,
标准的服务契约(Service C ontract)却无法保证这一必要条件的满足。按照 W 3C 的
规范和现有基于 S O A P 的 W eb 服务的广大实践,服务供需双方和第三方的分析
验证所能得到的仅仅是 W S D L 文件所描述的调用接口和输入输出消息。因此,
在信息有限的情况下本文开展了对成员服务的可替换性研究。
针对上述问题,本文展丌了以下两个方面的研究,取得了相应的研究成果:
1. 仅仅基于 W S D L 的信息, 自动提取服务的接口, 设计验证机制,可判定
组合服务中的成员服务是否满足既定的测试条件;
2 . 在服务接口的基础上,更进一步地深入到服务交互消息的关系,从而更细
致地判定组合服务中的成员服务是否满足既定的测试条件;
3. 开发了相应的原型系统,完成了一些典型的验证实验。
关键词:服务替换,服务相容性,服务契约,服务描述语言
中图分类号:T P 3 1 1
:仙究生学位论文-掩于 W S D L 的 W eb 服务口丨替换性验证研究
A b str a c t