web服务组合中相容性分析和适配方法的研究

《web服务组合中相容性分析和适配方法的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、NanjingUniversityofAeronauticsandAstronauticsTheGraduateSchoolCollegeofComputerScienceandTechnologyResearchonCompatibilityAnalysisandAdaptationinWebServicesCompositionAThesisinComputerScienceandTechnologyEngineeringByFANDa-juanAdvisedbyProf.HUANGZhi-qiuSubmittedinPartialFu

2、lfillmentoftheRequirementsfortheDegreeofDoctorofPhilosophyJune,2014万方数据承诺书本人声明所呈交的博/硕士学位论文是本人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得南京航空航天大学或其他教育机构的学位或证书而使用过的材料。本人授权南京航空航天大学可以将学位论文的全部或部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。（保密的学位论文在解密后适用本

3、承诺书）作者签名：日期：万方数据南京航空航天大学博士学位论文摘要近年来，面向服务的计算(Service-OrientedComputing,SOC)和面向服务的体系架构(Service-OrientedArchitecture,SOA)作为新型的计算模式和软件架构，有效地解决了在分布、动态、异构环境下的应用集成问题。随着Web服务技术的不断成熟和发展，Web服务以其良好的封装性、松耦合、自描述等特点，成为SOA的重要实现技术之一，促使SOA从概念走向应用。由于单个Web服务提供的功能有限，为了满足实际应用的需求，常常通过组合已有Web服务以

4、构建增值的、具有更大粒度的Web服务。因而，如何分析和保证Web服务之间不同层次的互操作性以实现服务的正确组合，成为当前具有挑战性的关键问题之一。Web服务技术所采用的一系列标准减少了服务之间的异构，实现了Web服务底层的互操作性。然而，Web服务在组合时仍然面临高层的互操作性问题。由于参与组合的Web服务通常是由不同的第三方独立地开发，这些开发者使用不同的方式来定义服务的接口描述、交互协议、功能语义等。因此，在进行服务组合之前，需要进行相容性分析以判定服务之间是否能够互操作。由于服务之间不相容而导致它们不能直接组合的现象常常发生，需要利用

5、服务适配技术来消除服务之间的不相容而不改变服务的内部代码，从而保证服务之间的互操作性。本文主要围绕服务组合中的相容性分析和适配问题展开研究。重点研究了服务的接口、协议和语义建模，服务相容性判定和相容度计算，面向设计阶段的适配器自动构造，面向运行阶段的适配器重配置分析的关键问题。主要工作与贡献如下：(1)针对现有Web服务建模方法对服务接口、协议和语义的形式化描述的不足，提出了一种服务接口、协议和语义的形式化统一建模方法。通过对有限自动机模型进行接口、协议和语义扩展，提出了IPSFA(interface,protocolandsemantic

6、sextendedfiniteautomata)模型用于对服务进行形式化描述；给出了IPSFA的组合模型的形式语义，并讨论了如何将基于XML的服务描述语言转换为IPSFA模型的方法。该建模方法同时兼顾服务在接口层、协议层和语义层上的描述信息以及它们之间的约束关系，为服务相容性分析和适配研究提供了合适的理论模型。(2)针对现有Web服务相容性分析方法通常仅关注服务的协议层信息，且缺乏对服务相容性进行定量分析的问题，提出了一种支持接口、协议和语义的服务相容性判定和相容度计算方法。在分析现有的服务相容性标准的基础上，基于IPSFA模型给出了服务之

7、间三种相容性的形式化定义并给出了相应的判定算法；针对服务实际执行过程中的不确定性，通过引入执行路径概念并分析服务执行路径之间在接口、协议和语义层上的对偶关系来计算服务之间的相容度。该方法可以用于识别导致服务之间不相容的交互部分以反馈给开发者对服务进行重新调整或设计，且其定量计算结果可以为服务选择提供重要参考。（3）针对现有设计时服务适配方法在支持不同层面的适配、适配器构造的自动化程度以I万方数据Web服务组合中相容性分析与适配方法研究及适配器BPEL代码生成方面的不足，提出了一种面向设计阶段的适配器自动构造方法。利用服务的语义信息以及本体概

8、念之间的语义包含关系自动生成服务之间的消息映射；在此基础上，利用“边约简边生成”的思想提出了提高了适配器自动构造的效率，并给出了约简后的适配器模型到BPEL代码的生成方法。通过该