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

面向服务的动态体系结构描述语言SO-DADL及其应用研究

作　者: 秦辉
导　师: 史维峰
学　校: 西北大学
专　业: 计算机软件与理论
关键词: SOA ADL 服务动态行为服务组合
分类号: TP311.52
类　型: 硕士论文
年　份: 2011年
下　载: 29次
引　用: 0次
阅　读: 论文下载

内容摘要

软件系统能够在运行时进行动态演化,是近年来软件开发领域研究的热点问题之一,其目的在于适应用户需求和Internet网络环境的不断变化。由于软件的复杂性,目前对动态演化的研究还主要从宏观层面入手。而软件体系结构(Software Architecture, SA)从全局的角度为系统提供结构、行为和属性等信息,是软件开发过程中的核心制品,体系结构描述语言(Architecture Description Language, ADL)是其研究的核心问题。面向服务的体系结构(SOA)是一种基于Internet的分布式体系结构,将应用程序的不同服务通过它们之间定义良好的接口和契约联系起来。其核心思想是要实现IT系统与业务对齐,以应对业务快速变化与发展的挑战。因此,使SOA架构在运行时具备动态调整的能力成为了一种必要。然而当前尝试在一个更高、更抽象的层次上去模拟和分析服务和SOA架构在运行时的动态行为的研究还比较少。论文深入地分析了SOA的相关理论和基础技术,以及Web服务作为SOA实现方式所具有的一些优势,并在对SOA的发展状况进行仔细分析的基础之上,对SOA未来发展方向进行了预测。对ADL的相关理论和研究现状进行了深入分析,为了弥补SOA动态架构在建模方面存在的不足,基于高阶多型π演算理论和XML语言,提出了一种SOA架构下的动态体系结构描述语言SO-DADL。SO-DADL指定服务的接口、行为、语义和质量特性,提供了对动态和不断演化的SOA架构进行建模和分析的机制,支持基于SOA架构的服务组合和运行时动态演化,并通过案例说明了SO-DADL的实际应用。提出了一种基于SO-DADL的Web服务组合方法,将SO-DADL描述的体系结构模型经过处理转化为基于BPEL工作流描述的组合服务,并通过案例详细地说明了其应用。

全文目录

摘要  3-4
Abstract  4-5
目录  5-8
第一章绪论  8-14
  1.1 研究背景  8-9
  1.2 国内外研究现状  9-11
  1.3 主要研究内容及创新点  11-12
  1.4 本文篇章结构  12-14
第二章面向服务的体系结构  14-24
  2.1 SOA概述  14-16
    2.1.1 SOA的概念  14
    2.1.2 SOA的基本要素  14-15
    2.1.3 SOA的目标  15
    2.1.4 SOA的通用架构模型  15
    2.1.5 SOA的价值  15-16
  2.2 SOA基本技术  16-20
    2.2.1 WSDL  16-17
    2.2.2 SOAP  17
    2.2.3 BPEL  17-19
    2.2.4 UDDI  19
    2.2.5 ESB  19-20
  2.3 Web服务概述  20-22
    2.3.1 Web服务概念  20-21
    2.3.2 Web服务组合概述  21
    2.3.3 Web服务与SOA  21-22
  2.4 SOA的发展状况  22-23
  2.5 本章小结  23-24
第三章软件体系结构描述语言  24-27
  3.1 ADL概述  24-25
    3.1.1 ADL的构成要素  24
    3.1.2 ADL与软件体系结构  24-25
  3.2 现有动态ADL  25-26
  3.3 ADL在SOA中的意义  26
  3.4 本章小结  26-27
第四章面向服务的动态体系结构描述语言SO-DADL  27-44
  4.1 SO-DADL相关理论基础  27-29
    4.1.1 高阶多型π演算理论  27-28
    4.1.2 XML  28-29
  4.2 SO-DADL的描述框架  29-30
  4.3 SO-DADL的语言结构与服务定义  30-33
  4.4 服务端口和行为规约  33-37
  4.5 SO-DADL的动态配置及其形式化解释  37-43
  4.6 本章小结  43-44
第五章基于SO-DADL的Web服务组合方法  44-61
  5.1 方法概述  44-45
  5.2 基于SO-DADL的服务发现机制  45-46
  5.3 BPEL的生成过程  46-47
  5.4 部署代码的生产  47-48
  5.5 基于WSC-BSB的应用案例  48-60
    5.5.1 房屋贷款案例分析  48-49
    5.5.2 案例的SO-DADL描述  49-53
    5.5.3 BPEL代码的转化生成  53-58
    5.5.4 ESB部署文件的生成  58-59
    5.5.5 案例执行结果  59-60
  5.6 本章小结  60-61
总结与展望  61-63
  全文总结  61
  将来研究工作  61-63
参考文献  63-67
攻读硕士学位期间取得的学术成果  67-68
  论文发表  67
  科研项目  67-68
致谢  68

面向服务的动态体系结构描述语言SO-DADL及其应用研究

内容摘要

全文目录

相似论文