学位论文 > 优秀研究生学位论文题录展示

Web服务行为适配技术研究

作　者: 缪晶晶
导　师: 吴健；邓水光
学　校: 浙江大学
专　业: 计算机应用技术
关键词: 面向服务的体系架构(SOA) Web服务适配 π演算失配检测适配器
分类号: TP393.09
类　型: 硕士论文
年　份: 2008年
下　载: 141次
引　用: 2次
阅　读: 论文下载

内容摘要

面向服务的体系架构(Service oriented Architecture,SOA)作为一种新的分布式软件系统架构,为互联网环境中服务共享、服务重用、业务集成提供了新的解决方案,它能实现系统之间的松散耦合,从而提高软件组件的可重用性。Web服务技术是实现SOA的关键技术,然而Web服务的异构性、动态性、分布式和不断演化的特点使得服务之间的协同交互变得异常复杂。因此,如何提高服务之间协同的正确性和可靠性成为实施SOA的关键问题。Web服务适配是解决这一问题的可行方法,也是推动面向服务的软件架构应用与实施的关键技术。本文在分析Web服务适配技术发展现状的基础上,围绕Web服务行为模型、Web服务行为失配检测以及自动适配等问题展开研究,主要工作与贡献包括以下四方面:1)提出了Web服务行为模型的形式化表达方法研究能表达服务的过程流转、状态变迁、消息传递等动态行为属性的通用行为模型,提出基于π演算形式化表达的行为模型,利用π演算提供的操作语义和辅助工具对服务的交互行为进行严谨的分析和推导。2)提出了Web服务行为交互的失配检测及其算法基于通用的行为模型与形式化表达,设计了一套高效的失配检测机制,准确扑捉失配点信息,并定制了合理的失配模式与分类规则,在检测出失配点之后,基于失配类型能及时对失配模式进行识别,为适配提供诊断依据。3)提出了Web服务交互的适配器生成及算法依据失配检测的结果,本文还研究了在不同失配点和失配模式下适配器的行为特征,在行为模型的形式化方法基础上研究适配器的生成规则,最后基于生成规则和形式化推演,提出了适配器的自动生成及构造算法。4)设计了支持自动适配的Web服务组合原型系统提出了支持自动适配的Web服务组合原型系统的体系架构,此架构从抽象层面刻画了服务适配的过程,基于抽象的体系架构思想,开发了一个集服务流程建模模块、服务组合验证模块、服务行为失配检测模块、服务行为适配模块以及服务流程运行平台等功能于一体的Web服务组合原型系统。

全文目录

摘要  3-4
Abstract  4-5
目录  5-9
第1章绪论  9-17
  1.1 研究背景  9-13
    1.1.1 面向服务的计算与面向服务的体系结构  9-11
    1.1.2 Web服务技术  11-12
    1.1.3 Web服务适配技术  12-13
  1.2 研究意义  13-14
  1.3 研究内容  14-15
  1.4 文章结构  15-17
第2章国内外研究现状  17-24
  2.1 Web服务行为模型与形式化表达  17-21
    2.1.1 有限状态机  17-18
    2.1.2 Petri网  18-19
    2.1.3 进程代数  19
    2.1.4 π演算  19-20
    2.1.5 形式化方法比较  20-21
  2.2 服务适配技术的研究现状  21-23
    2.2.1 语法适配  21-22
    2.2.2 语义适配  22
    2.2.3 行为适配  22-23
  2.3 本章小结  23-24
第3章基于π演算的Web服务行为模型  24-33
  3.1 Web服务行为模型的问题概述  24-25
  3.2 π演算的概念及其基本理论  25-29
    3.2.1 π演算的基本概念  26-27
    3.2.2 π演算的操作语义  27-28
    3.2.3 π演算的扩展规则  28-29
  3.3 Web服务行为模型表达  29-32
    3.3.1 在线订购服务例子  29-30
    3.3.2 Web服务模型在π演算中的表达  30-31
    3.3.3 Web服务交互在π演算中的表达  31-32
  3.4 本章小结  32-33
第4章 Web服务行为失配检测  33-45
  4.1 Web服务行为兼容性验证  33-34
  4.2 Web服务行为失配检测流程图  34-35
  4.3 Web服务行为失配类型分析及失配点检测  35-42
    4.3.1 粗粒度消息失配-CMM  36-37
    4.3.2 细粒度消息失配-FMM  37-38
    4.3.3 消息异步失配-AMM  38-39
    4.3.4 消息同步失配-SMM  39-40
    4.3.5 消息序列失配-MSM  40-42
  4.4 Web服务行为失配检测算法实现  42-44
    4.4.1 失配点检测过程  42
    4.4.2 失配类型识别过程  42-43
    4.4.3 失配检测算法  43-44
  4.5 本章小结  44-45
第5章 Web服务适配器生成  45-53
  5.1 适配器生成流程图  45-46
  5.2 不同失配类型的适配器生成  46-51
    5.2.1 粗粒度消息适配器-CMA  47-48
    5.2.2 细粒度消息适配器-FMA  48
    5.2.3 消息异步适配器-AMA  48-49
    5.2.4 消息同步适配器-SMA  49-50
    5.2.5 消息序列适配器-MSA  50-51
  5.3 适配器生成算法  51-52
  5.4 本章小结  52-53
第6章支持服务行为适配的服务组合原型  53-67
  6.1 支持服务行为适配的服务组合框架WSCF-BA  53-56
  6.2 支持服务行为适配的服务组合原型WSCP-BA  56-65
  6.3 本章小结  65-67
第7章结论与展望  67-70
  7.1 本文工作总结  67-68
  7.2 未来工作展望  68-70
参考文献  70-73
致谢  73-74
作者简历  74-75

Web服务行为适配技术研究

内容摘要

全文目录

相似论文