基于WSDL的Web服务可替换性验证研究.pdf

《基于WSDL的Web服务可替换性验证研究.pdf》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、复口__人学硕丨：研究生学位论义某十WSDL的Web服务可替换性验ii卜:研究指导小组成员名单汪卫教授顾宁教授朱扬勇教授复曰.大学硕I.?研究生学位论文基十WSDL的Web服务可替换性验证研究目录觀IIIAbstractIV雜11.1面向服务的体系结构11丄1服务组合.21.1.2服务相容性21.1.3服务替换31.2本文工作和主要贡献41.2.1本文研究内容41.2.2论文章节安排51.2.3主要贡献5第二章背景及相关研究72.1Web服务72.1.1Web服务体系架构72.1.2Web服务的描述82.2服务契约102.3国内外相关

2、研究162.3.1服务相容性162.3.2服务替换182.4本章小结20第三章基于WSDL形式的服务替换213.1网购付款服务实例213.2服务建模233.3替换方法架构263.4实验设计与结果283.5实验结果验证333.6本章小结34第四章考虑消息类型的服务替换364.1替换方法架构364.2实验设计与结果384.3本章小结42复_口.人学硕士研究生学位论文祛十WSDL的Web服务可替换性验证研究第五章总结和展望435.1工作总结435.2工作展望43参考文献45硕士期间发表的论文48Silt49复旦人学硕丨.?研究生学位论文

3、祛十WSDL的Web服务可替换性验证研究摘要作为新一代的软件架构，面向服务的体系架构SOA(Service-OrientedAr?chitecture)具有松耦合、开放和平台及实现语言独立的特性，为服务的重用和跨平台的业务整合与交互提供了有效的解决方案，在科学研究和实际应用中都受到了日益广泛的关注。而随着SOA的逐渐成熟，Internet上大量的功能相同或相似、交叉或重叠的共享服务随之涌现。处于分布式环境中，SOA系统存在高失效率的潜在风险，各成员服务都有较高的失败率，并且成员服务失败也可能会导致整个系统的失效。为了防止系统发生这样灾难，应尽可能的去发现Internet上大量

4、的功能相同或相似、交叉或重叠的服务，建立相应的替换机制，替换那些失败不可使用的服务，从而在最大限度上保持合成服务的成功。因此，服务替换是指在组合服务的上下文中，一个新服务替代一个原始服务，并能够保证系统的固有属性不变。服务的可替换性分析成为了一个科学问题。以往的国内外相关研究都大都基于这样一种假设，即成员服务和组合服务需要附随其行为的某种形式化描述。但在SOA最为普遍的形式Web服务应用中，标准的服务契约(ServiceContract)却无法保证这一必要条件的满足。按照W3C的规范和现有基于SOAP的Web服务的广大实践，服务供需双方和第三方的分析验证所能得到的仅仅是WSD

5、L文件所描述的调用接口和输入输出消息。因此，在信息有限的情况下本文开展了对成员服务的可替换性研究。针对上述问题，本文展丌了以下两个方面的研究，取得了相应的研究成果：1.仅仅基于WSDL的信息，自动提取服务的接口，设计验证机制，可判定组合服务中的成员服务是否满足既定的测试条件；2.在服务接口的基础上，更进一步地深入到服务交互消息的关系，从而更细致地判定组合服务中的成员服务是否满足既定的测试条件；3.开发了相应的原型系统，完成了一些典型的验证实验。关键词：服务替换，服务相容性，服务契约，服务描述语言中图分类号：TP311复口.人学硕丨：仙究生学位论文-掩于WSDL的Web服务口丨

6、替换性验证研究AbstractSOA(Service-OrientedArchitecture),asanewgenerationofsoftwarearchitec?ture,haslooselycoupled,open，platformandlanguageindependentfeatures.Itpro?videsaneffectivesolutionforreuseofservicesandbusinessintegrationandinterac?tionofthecross-platformandhasobtainedconsiderableattentionf

7、rombothresearchandpracticerealms.AsSOAgraduallymatures,servicesemergeatanever-increasingpaceinInternetandmanyofthemhavesameorsimilarfunctions.Inthedistributedenvironment,oneoverlookedpotentialdownsidetoSOAisthehighpossibilityofcomponentservicefailure.And