论文题目: 面向服务的应用的即时构造方法研究
论文类型: 博士论文
论文专业: 计算机软件与理论
作者: 赵卓峰
导师: 韩燕波
关键词: 动态应用集成,面向服务的计算,面向服务的应用的即时构造,业务端编程,方法,聚合,反演计算
文献来源: 中国科学院研究生院（计算技术研究所）
发表年度: 2005
论文摘要: 今天,企业、政府等众多机构不仅要面对快速多变的业务需求,还越来越多地倚重跨组织协作。一些应用领域(如企业动态供应链、城市应急指挥等)的跨组织协作具有很强的动态性,提出了对动态应用集成的要求。为了满足这种要求,随着技术的发展和思维的变革,人们开始关注其计算机应用系统的按需、即时构造的能力。作为一种新兴的、面向Internet的分布式计算模式,近年流行的面向服务架构也为松耦合的跨组织应用集成提供了更好的使能技术。本文从支持业务用户自行构造面向服务的应用的角度出发,依托面向服务架构,提出一种面向服务的应用的即时构造方法以提高集成化计算机应用系统的按需、即时的构造能力,并围绕其中的核心内容从模型、语言、支撑机制、及系统等方面进行了研究,其主要工作和贡献如下:对面向服务的应用进行了分析与总结。在此基础上,按照对物理服务资源进行业务抽象并基于此提供业务级服务组合手段以及进而实现业务级服务组合到软件级服务组合的转换的基本思路,从支持业务用户“编程”的角度提出了面向服务的应用的即时构造方法——CAFISE。通过实例验证以及与相关工作的比较可表明:CAFISE方法在提高集成化应用的构造效率以及快速响应多变的跨组织协作需求方面具有更好的效果。在上述CAFISE方法基本思路的指导下,针对其中支持业务端编程的服务资源虚拟化和业务级服务组合两个与业务用户直接相关的核心内容,提出了CAFISE模型,并设计了相应的建模语言——VINCA。其中,CAFISE模型包含聚合服务和业务级服务组合模型两部分内容:聚合服务提供了一种业务驱动及“两头定义、中间相遇”的服务虚拟化机制,使得业务用户透明使用IT领域的物理服务资源成为可能。相对于一般单纯从软件角度考虑的、自底向上的服务虚拟化机制,聚合服务具有两点好处:一是在业务抽象层面为业务用户提供了可以反映业务需求的业务服务;二是同时在IT实施层面提供了对业务服务到动态多变的物理服务资源的自动落实的支持。业务级服务组合模型通过将(聚合服务中的)业务服务看作是表示用户需求的业务过程中业务活动的执行者,提供了一种基于业务服务的业务过程描述方式,使得业务用户可以在以此方式进行“编程”时专注于对其需求的直接表示,而不必考虑物理服务资源的使用细节以及服务组合的IT实现。在CAFISE模型基础上,进一步从实现角度讨论了CAFISE方法的核心支撑机制:一是通过提出聚合服务的生命周期模型将聚合服务具体化为具有一定状态的可操作对象,为聚合服务的管理提供了明确指导,并基于此设计了聚合服务管理机制及关键算法;二是对于CAFISE方法中与业务用户不直接相关的另一核心内容(即业务级服务组合到软件级服务组合的转换)提出了一种基于模式与反演的转换机制,该机制的特点在于通
论文目录:
摘要
Abstract
第一章 绪论
1.1 分布式应用集成技术的新发展——面向服务的计算技术
1.2 面向服务的应用的即时构造问题
1.2.1 问题的提出
1.2.2 面向服务的应用的即时构造
1.2.3 基于业务端编程思路的面向服务的应用的即时构造
1.2.4 主要研究问题
1.3 研究现状概述
1.3.1 服务的语义基础
1.3.2 服务虚拟化
1.3.3 服务组合
1.3.4 对业务用户主动参与应用构造的研究
1.3.5 对业务领域与IT领域间“鸿沟”问题的研究
1.4 关于本论文
1.4.1 研究思路
1.4.2 主要工作与贡献
1.4.3 论文的组织
第二章 面向服务的应用的即时构造方法——CAFISE
2.1 CAFISE方法的基本思路
2.2 本文所关注的CAFISE方法的核心内容
2.2.1 支持业务端编程的服务资源虚拟化
2.2.2 业务级服务组合
2.2.3 业务级服务组合到软件级服务组合的转换
2.3 CAFISE方法中的重要概念及支撑技术、理论
2.4 小结
第三章 CAFISE模型
3.1 CAFISE模型的设计目标
3.2 聚合服务
3.2.1 基本思路
3.2.2 聚合服务的构成及工作原理
3.2.3 形式化定义
3.2.4 对聚合服务的讨论
3.3 业务级服务组合模型
3.3.1 理论描述
3.3.2 形式化定义
3.3.3 业务级服务组合模型的特点
3.4 CAFISE建模语言——VINCA
3.4.1 VINCA语言的提出
3.4.2 VINCA服务部分
3.4.3 VINCA过程部分
3.5 小结
第四章 CAFISE方法的核心支撑机制
4.1 聚合服务管理机制
4.1.1 聚合服务的生命周期模型
4.1.2 聚合服务管理机制中的主要算法
4.2 基于模式与反演的业务级服务组合到软件级服务组合的转换机制
4.2.1 问题分析
4.2.2 基本原理
4.2.3 业务特性保持模式及转换反演元空间的设计
4.2.4 基于转换反演元空间的转换算法
4.2.5 对基于模式与反演的转换机制的讨论
4.3 小结
第五章 CAFISE方法下面向服务的应用的即时构造过程
5.1 面向服务的应用的即时构造中涉及的角色及其职责
5.2 面向服务的应用的即时构造中的基本活动
5.3 面向服务的应用的即时构造的步骤
5.4 与一般的面向服务的应用的构造过程的比较
5.5 小结
第六章 面向服务的应用的即时构造系统的设计与实现
6.1 系统体系结构
6.2 核心组件的功能设计
6.2.1 聚合服务管理组件
6.2.2 转换引擎
6.3 原型系统实现
6.3.1 聚合服务管理API
6.3.2 转换引擎的实现
6.3.3 用户端界面
6.4 小结
第七章 应用实例及评价
7.1 FLAME 2008——奥运综合信息服务系统
7.1.1 应用问题
7.1.2 解决方案
7.2 评价
7.2.1 测试分析
7.2.2 与相关工作的比较
7.3 小结
第八章 结束语
8.1 对本文工作的总结
8.2 进一步工作的设想
附录 VINCA语言
参考文献
致谢
作者简历
发布时间: 2006-12-27
相关论文
- [1].支持最终用户编程的服务虚拟化方法研究[D]. 房俊.中国科学院研究生院（计算技术研究所）2006
- [2].服务资源不确定性问题及其引发的异常处理方法研究[D]. 李东来.中国科学院研究生院（计算技术研究所）2006
- [3].动态Web服务组合关键技术研究[D]. 刘必欣.国防科学技术大学2005
- [4].支持业务级、大粒度服务组合的知识管理与主动推荐[D]. 胡海涛.中国科学院研究生院（计算技术研究所）2006
- [5].面向服务环境中服务的个性化推荐[D]. 张程.中国科学院研究生院（计算技术研究所）2006
- [6].基于反演计算和Web服务的动态工作流技术研究[D]. 王海波.中国科学院研究生院（计算技术研究所）2002
- [7].面向服务的业务级资源组织方法研究[D]. 耿晖.中国科学院研究生院（计算技术研究所）2004
- [8].Web服务组合关键技术研究[D]. 冯名正.东南大学2006
- [9].面向服务的新一代网络体系结构及其形式化建模的研究[D]. 杨鹏.东南大学2006
- [10].Web服务组装关键技术研究[D]. 杨文军.清华大学2005
标签：动态应用集成论文; 面向服务的计算论文; 面向服务的应用的即时构造论文; 业务端编程论文; 方法论文; 聚合论文; 反演计算论文;