论文题目: 动态Web服务组合关键技术研究
论文类型: 博士论文
论文专业: 计算机科学与技术
作者: 刘必欣
导师: 吴泉源
关键词: 服务,动态服务组合,模型分析,服务质量,组合方案选择,分布式协调,服务组合支撑平台
文献来源: 国防科学技术大学
发表年度: 2005
论文摘要: Internet正由传统意义下的信息发布平台逐渐演变为一个开放的分布计算环境，越来越多的数据资源、计算资源与应用资源依托Internet成为可被公共获取和访问的网络资源。在开放的网络环境下实现跨组织的网络资源共享与应用集成已成为商业、科学研究、军事等各个领域中具有广泛需求的基础性研究课题。近年来，随着“服务”成为开放网络环境下资源封装与抽象的核心概念，通过动态地组合服务实现资源的灵活聚合成为技术发展的自然思路。特别是随着Web服务技术的出现和推广，Web服务已成为公认的实现服务的主流技术选择，这使得动态Web服务组合技术成为面向服务的计算的核心技术，是近年的研究热点。目前，许多国内外研究机构围绕动态Web服务组合技术展开研究工作，并取得了一些有价值的探索性成果。但是作为一项新兴的研究课题，动态Web服务组合的计算框架、模型理论、关键技术、实现机制等各方面尚不成熟，新的研究问题不断涌现。 本文以开放网络环境下跨组织的资源共享与应用集成需求为背景，展开动态Web服务组合关键技术研究，针对当前动态服务组合研究中存在的若干不足，重点在动态服务组合计算框架、组合服务模型分析理论与方法、基于服务质量的组合方案选择算法、高效组合服务协调机制等几个方面展开研究工作，主要工作包括： 1．动态服务组合计算框架研究：服务组合是基于面向服务的计算环境实现动态资源聚合与服务重用的计算模式，构造组合服务应用系统通常是一项比较复杂的工作。本文首先在分析服务组合开发过程的特点基础上，分离构造组合服务系统所需的具有普遍意义的支撑功能，提出了动态服务组合参考模型DEMO。DEMO模型将组合服务系统的逻辑层次分为组合服务应用、服务组合支撑平台以及服务基础设施三个层次，依据组合服务生命期不同阶段的支撑功能将服务组合支撑平台分解为若干相对独立的功能模块，从而为研究服务组合的关键技术、开发服务组合支撑平台以及在此基础上构造组合服务应用提供可参考的计算框架。 2．基于业务流程的组合服务模型分析理论与方法：组合服务模型是组合服务实现逻辑的高层描述，其正确性对于保证组合服务的正确运行至关重要。基于业务流程的建模方法是目前主流的组合服务建模方法之一。为此本文在研究通用的基于业务流程的组合服务元模型的基础上，采用Petri网的理论与方法研究组合服务行为分析，提出了Process-Net用于刻画组合服务运行时行为。在深入分析流程行为正确性与组合相容性问题的基础上，本文扩展了工作流网合理性定义，给出了流程行为正确性的严格理论含义和相应的判定算法；提出了包含强相容、部分相容、弱相容和不相容等多个相容等级的相容性理论框架以及基于Petri网语言的判定方法。这一成果有助于基于形式化的理论与方法建立组合服务模型分析工具，从而为组合服务的正确性提供保证。
论文目录:
摘要
ABSTRACT
第一章 绪论
§1.1 研究背景
1.1.1.应用需求
1.1.2.面向服务的分布计算技术
1.1.3.服务组合的提出
1.1.4.动态服务组合面临的挑战
§1.2 研究现状
1.2.1.动态服务组合方法
1.2.2.著名研究项目
1.2.3.研究现状总结与分析
§1.3 研究内容
§1.4 论文结构
第二章 动态服务组合参考模型
§2.1 面向服务的计算环境
§2.2 服务描述框架
§2.3 动态服务组合实施过程
2.3.1.基本术语
2.3.2.实施过程
§2.4 动态服务组合参考模型
2.4.1.动态服务组合的技术层次
2.4.2.组合服务系统的软件层次
2.4.3.动态服务组合参考模型DEMO
2.4.4.DEMO模型的意义
§2.5 小结
第三章 基于业务流程的组合服务模型分析
§3.1 基于业务流程的组合服务模型
§3.2 基于Petri网的组合服务行为建模
3.2.1.组合服务运行时行为
3.2.2.Petri网简介
3.2.3.Process-Net
3.2.4.组合服务模型与Process-Net的转换
§3.3 组合服务流程行为分析
3.3.1.流程行为问题描述
3.3.2.流程行为正确性标准
3.3.3.流程行为正确性分析方法
§3.4 组合相容性分析
3.4.1.组合相容性问题描述
3.4.2.组合相容性的Petri网语言刻画
3.4.3.弱相容
3.4.4.组合相容性框架
§3.5 相关工作比较
§3.6 小结
第四章 基于服务质量的组合方案选择
§4.1 基于归约树的QoS聚合模型
4.1.1.结构化流程模型
4.1.2.执行统计信息分析
4.1.3.QoS度量及其聚合规则
4.1.4.基于归约树的组合服务QoS聚合方法
§4.2 基于多维QoS约束的组合方案选择
4.2.1.问题描述
4.2.2.基于归约树的基本搜索算法
4.2.3.基于归约树的启发搜索算法
4.2.4.模拟实验
§4.3 基于用户偏好的组合服务质量优化
4.3.1.问题描述
4.3.2.基于归约树的启发优化算法
4.3.3.模拟实验
§4.4 相关工作比较
§4.5 小结
第五章 基于角色的分布式组合服务协调机制
§5.1 组合服务协调结构分析
5.1.1.组合服务协调结构
5.1.2.集中协调机制的局限
§5.2 基于角色的分布式协调机制
5.2.1.本地流程模型
5.2.2.本地流程模型的分布协调
§5.3 本地流程模型产生算法
5.3.1.活动的分配
5.3.2.本地流程模型产生算法
§5.4 基于角色的分布式协调机制的有效性
5.4.1.通信开销分析
5.4.2.实例性能模拟
§5.5 相关工作比较
§5.6 小结
第六章 动态服务组合支撑平台
§6.1 StarWebService系统概述
6.1.1.研制背景
6.1.2.系统组成
§6.2 Web服务运行环境
6.2.1.SOAP消息总线
6.2.2.服务容器
6.2.3.Web服务
§6.3 服务组合支撑平台
6.3.1.服务组合支撑平台体系结构
6.3.2.事件驱动的流程执行
6.3.3.两级并发机制设计
§6.4 小结
第七章 结束语
§7.1 主要工作与创新点
§7.2 下一步工作展望
致谢
攻读博士学位期间发表的论文与申请的专利
攻读博士学位期间参加的科研工作
参考文献表
发布时间: 2006-09-22
参考文献
- [1].分布式虚拟化环境下服务可信性保障关键技术研究[D]. 邹世辰.哈尔滨工程大学2017
- [2].云计算环境下服务组合技术研究[D]. 霍瑛.南京航空航天大学2016
- [3].动态Web服务组合的关键技术研究[D]. 汤景凡.浙江大学2005
- [4].基于Web服务组合的业务流程集成关键技术研究[D]. 于守健.东华大学2005
- [5].基于扩展颜色Petri网的Web服务组合建模研究[D]. 李景霞.中国科学院研究生院（计算技术研究所）2006
- [6].Web服务发现若干关键技术研究[D]. 胡建强.国防科学技术大学2005
- [7].Web服务组合关键技术研究[D]. 冯名正.东南大学2006
- [8].Web服务自动组合与形式化验证的研究[D]. 邓水光.浙江大学2007
- [9].E-Service接口行为分析及其在服务组合中的应用[D]. 张文涛.北京邮电大学2007
- [10].保证服务质量的动态Web服务组合及其性能分析研究[D]. 吴钊.武汉大学2007
标签：服务论文; 动态服务组合论文; 模型分析论文; 服务质量论文; 组合方案选择论文; 分布式协调论文; 服务组合支撑平台论文;