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

时间感知Web服务交互适配技术研究

作　者: 王昇
导　师: 张广泉
学　校: 苏州大学
专　业: 计算机软件与理论
关键词: 时间感知Web服务时间服务协议时间服务交互模型检测交互适配
分类号: TP393.09
类　型: 硕士论文
年　份: 2010年
下　载: 49次
引　用: 1次
阅　读: 论文下载

内容摘要

随着Internet的快速发展与普及,网络化软件正逐步成为未来软件发展的趋势之一。“软件服务”作为一种新的软件实体,承担着封装各种资源、完成计算并对外提供服务的任务,被认为是网络化软件的基本组成成分。近年来,以Web服务为主流实现技术的各类软件服务在Internet中的数量呈快速增长的态势,通过服务组合的方式,灵活、快速构建的网络应用已经渗透到政府、金融、教育等关键行业。面对网络上数量日趋增长的可用Web服务,如何有效提高服务利用率并保证服务组合系统的可靠性,服务适配发挥着其它方法不可替代的作用,已成为目前服务计算领域中的一个研究热点。从互操作性分层的角度出发,服务适配可能发生在技术、签名、行为(交互协议)、服务质量(QoS)、语义等不同层次。其中,行为层次的适配(交互适配)研究是关键也是难点。针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,本文提出将定量时间属性引入Web服务交互适配研究框架中,围绕时间感知Web服务交互的形式化建模、交互失配的自动检测和适配器交互协议的自动生成等具体问题展开研究,主要内容包括:(1)研究时间感知Web服务的交互行为和时间属性的形式化表达机制,提出了时间服务协议(TSP)模型和时间服务协议网络(TSPN)模型及二者的形式化语义。(2)将交互失配检测问题转化为TSP模型的兼容性判定问题,提出了一种基于模型检测工具UPPAAL的时间感知Web服务交互失配的自动化检测技术,其检测结果作为下一步是否需要构造适配器的判断依据。(3)对于同步TSP模型满足部分兼容性性质的多个时间感知Web服务,提出了一种基于时间服务交互(TSI)模型的适配器交互协议自动生成算法,并针对虚拟旅游代理(VTA)服务进行了实例分析。

全文目录

中文摘要  4-5
Abstract  5-7
图表索引  7-11
第一章绪论  11-17
  1.1 引言  11-12
  1.2 研究背景及意义  12-14
  1.3 研究内容与创新  14-16
  1.4 本文组织结构  16-17
第二章 Web 服务交互适配及相关研究  17-26
  2.1 面向服务的软件工程  17-21
    2.1.1 Web 服务  17-19
    2.1.2 Web 服务交互与适配  19-21
  2.2 Web 服务交互协议模型与形式化表达  21-24
    2.2.1 基于进程代数的方法  21-22
    2.2.2 基于Petri 网的方法  22
    2.2.3 基于有限状态机的方法  22-23
    2.2.4 讨论  23-24
  2.3 Web 服务交互适配技术研究现状  24-25
    2.3.1 基于模板的半自动化适配器生成方法  24-25
    2.3.2 基于模型的自动化适配器生成方法  25
  2.4 本章小结  25-26
第三章时间感知Web 服务交互的形式化建模  26-37
  3.1 时间感知Web 服务交互的概念模型  26-28
  3.2 实例：虚拟旅游代理服务  28-31
  3.3 时间感知Web 服务交互的形式化模型  31-36
    3.3.1 单个时间感知Web 服务的交互行为模型  31-34
    3.3.2 多个时间感知Web 服务的并发组合模型  34-36
  3.4 相关工作比较  36
  3.5 本章小结  36-37
第四章时间感知Web 服务交互失配检测  37-56
  4.1 问题描述  37-39
  4.2 时间感知Web 服务交互失配检测框架  39-41
  4.3 基于UPPAAL 的时间感知Web 服务交互失配自动检测  41-54
    4.3.1 时间感知Web 服务描述至TSP 模型的转换  42-47
    4.3.2 TSP 模型至UPPAAL 规约的转换  47-49
    4.3.3 TSP 模型兼容性性质的CTL 公式表达  49-50
    4.3.4 基于UPPAAL 实现VTA 服务交互失配检测  50-54
  4.4 相关工作比较  54-55
  4.5 本章小结  55-56
第五章时间感知Web 服务适配器交互协议生成  56-71
  5.1 问题描述  56-57
  5.2 时间感知Web 服务适配器交互协议生成流程  57-60
  5.3 基于TSI 模型的适配器交互协议自动生成  60-69
    5.3.1 计算CTSI 模型算法CCTSI  60-62
    5.3.2 计算TSI 模型算法VTSI  62-64
    5.3.3 适配器交互协议生成算法APG  64-66
    5.3.4 VTA 服务实例分析  66-69
  5.4 相关工作比较  69-70
  5.5 本章小结  70-71
第六章结束语  71-73
  6.1 本文工作总结  71-72
  6.2 未来工作展望  72-73
参考文献  73-79
攻读硕士学位期间参加的科研项目和发表（录用）的论文  79-80
致谢  80-81

相似论文

基于BMC的Web服务失配检测方法研究,TP311.52
基于四方的安全电子商务支付协议研究,TP393.08
安全协议自动化分析系统的设计与实现,TP393.08
Web服务事务协调协议WS-TX的形式化分析与验证,TP393.09
基于UPPAAL的电子商务协议安全性分析,TP393.08
基于模型检测方法的可信软件验证技术研究,TP311.52
面向环境演算系统的模型检测算法的研究,TP274
网络安全协议的模型检测分析及验证系统,TP393.08
基于程序语义的静态恶意代码检测系统的研究与实现,TP393.08
可重配置硬件系统调度算法的模拟与分析,TN791
基于XYZ/ADL的Web服务组合验证研究,TP393.09
基于Color Petri Nets的HMIPv6协议形式化验证研究,TN929.5
基于SVO逻辑的多方不可否认协议的形式化分析与研究,TP393.08
基于行为时序逻辑模型检测的研究与应用,TP311.52
基于时态认知逻辑的Web服务模型检测,TP393.09
模型检测在安全协议验证中的研究与应用,TP393.04
安全协议可视化建模和验证方法的分析与设计,TP393.08
THP事务协调协议的形式化分析与验证,TP311.52
无尺度网络下蠕虫的传播模型与检测技术,TP393.08
基于模型检测的动态协同服务间的一致性验证,TP311.52