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

基于MDA的SOA服务协作模型的研究

作　者: 任铭亮
导　师: 刘勇
学　校: 河南科技大学
专　业: 计算机软件与理论
关键词: 模型驱动构架面向服务体系构架 Web服务业务流程执行语言
分类号: TP393.09
类　型: 硕士论文
年　份: 2009年
下　载: 57次
引　用: 0次
阅　读: 论文下载

内容摘要

面向服务体系构架SOA作为整合已有不同系统的一种构架被提出来,主要是解决企业中信息孤岛问题。BPEL是业务流程执行语言用来描述SOA的服务协作模型,实现对各个系统业务流程的编排。但其随着整合遗产系统的增多和业务流程复杂性的增加,BPEL建模也变得异常复杂,同时,因其缺乏形式化的语义描述,极易潜藏一些逻辑错误。简化BPEL建模并自动验证其逻辑正确性将有利于SOA的普及应用。MDA作为一种模型驱动开发构架,它的核心思想是抽象出与具体实现技术无关的PIM层模型,通过转换工具将PIM层模型自动的转换到PSM平台相关层模型。本文给出了一种基于MDA的SOA服务协作模型的构建方法,首先使用UML活动图描述服务协作模型的交互过程,以构建SOA服务协作的PIM模型;然后,通过建立活动图元模型元素与BPEL元模型元素之间的映射规则,以XMI作为标准交换文件,利用EMF及MTF模型框架作为模型转换引擎,将SOA服务协作模型自动转换为BPEL模型即PSM模型。本文还对BPEL的逻辑正确性的验证方法进行了研究,通过将BPEL转换为有色Petri网,利用Petri网工具实现BPEL模型逻辑正确性的自动化验证。由于采用了Petri网工具内置的函数实现分支的跳过处理,简化了BPEL模型到Petri网的转换的复杂性,使其更有利于BPEL的验证。本文利用网上购书的原型系统进行实例验证,利用活动图对网上购物车、银行收费和物流等服务进行了SOA服务协作模型建模,并成功地转换成了BPEL,利用有色Petri网工具进行了结果BPEL的逻辑正确性验证,通过与XSLT的转换方法对比,表明本文给出的方法的可行性和高效性。

全文目录

摘要  2-3
ABSTRACT  3-7
第1章绪论  7-12
  1.1 课题研究背景及研究意义  7-9
    1.1.1 研究背景  7-8
    1.1.2 研究意义  8-9
  1.2 国内外研究现状  9-10
  1.3 课题研究的主要内容  10-11
  1.4 论文组织结构  11
  1.5 本章小结  11-12
第2章面向服务的体系构架与 MDA  12-25
  2.1 面向服务的体系构架介绍  12-18
    2.1.1 SOA 的基本概念  12-13
    2.1.2 SOA 的基本构架  13-14
    2.1.3 实现SOA 的关键技术  14
    2.1.4 SOA 的优势特征  14-15
    2.1.5 SOA 服务协作模型BPEL 分析  15-18
  2.2 模型驱动构架介绍  18-23
    2.2.1 MDA 框架  18-20
    2.2.2 模型转换介绍  20-21
    2.2.3 模型转换框架  21-22
    2.2.4 模型转换方法  22-23
    2.2.5 MDA 的优势  23
  2.3 本章小结  23-25
第3章 UML 活动图到 SOA 服务协作模型的转换  25-36
  3.1 UML 活动图及其元模型分析  25-26
    3.1.1 UML 活动图  25-26
    3.1.2 活动图元模型  26
  3.2 BPEL 元模型  26-29
  3.3 UML 活动图与BPEL 模型的对比  29-30
  3.4 UML 活动图到SOA 服务协作模型转换  30-35
    3.4.1 UML 活动图到BPEL 的映射规则  30-32
    3.4.2 UML 活动图元素到BPEL 元素的转换  32-34
    3.4.3 BPEL 模型的生成  34-35
  3.5 本章小结  35-36
第4章服务协作模型的逻辑正确性验证方法  36-46
  4.1 服务协作模型的健壮性  36-37
  4.2 有色Petri 网的引入  37-39
  4.3 BPEL 到Petri 网的转换方法及改进  39-45
    4.3.1 基本活动的转换  39-40
    4.3.2 结构化活动的转换  40-45
  4.4 本章小结  45-46
第5章模型转换实现  46-57
  5.1 实验需求分析  46-48
  5.2 实验的设计  48-50
  5.3 实验的实现  50-55
    5.3.1 PIM 层模型到PSM 层模型的转换  50-53
    5.3.2 BPEL 模型的验证  53-55
  5.4 实验结果分析  55-56
  5.5 本章小结  56-57
第6章总结与展望  57-58
参考文献  58-62
缩略语词汇表  62-63
致谢  63-64
攻读硕士学位期间的研究成果  64

相似论文

基于用户兴趣特征的图像检索研究与实现,TP391.41
面向业务过程的服务动态组合方法研究,TP393.09
基于面向服务架构的公众信息系统在新农村信息化建设中的应用研究,TP393.09
基于嵌入式Web服务器的监控系统研究,TP393.05
一种基于领域本体的语义Web服务匹配和组合方法,TP393.09
基于BMC的Web服务失配检测方法研究,TP311.52
基于SOA与工作流的OA系统的研究与实现,TP311.52
基于语义的Web服务发现研究,TP393.09
行政审批电子监察系统数据交换的设计与实现,TP311.52
嵌入式网络视频应用技术的研究与实现,TP368.1
一个试卷生成系统的设计与实现,TP311.52
公安信息系统中数据集成的,TP311.52
基于Web服务的Legacy System集成方法研究,TP393.09
基于Web服务的多平台实时票务系统的研究与实现,TP393.09
基于FPGA的SOPC视频复用器设计与实现,TN949.197
普适关爱系统的设计与实现,TN929.5
基于wifi的嵌入式视频监控系统设计,TP277
水土保持自动监测信息系统研究与实现,TP311.52
基于PLSA语义聚类的web服务发现方法,TP393.09
基于QoS感知的Web服务组合,TP393.09
基于嵌入式Web服务器的便携式卫星通信地球站监控系统的设计与实现,TN927.2