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

面向服务的应用的即时构造方法研究

作　者: 赵卓峰
导　师: 韩燕波
学　校: 中国科学院研究生院（计算技术研究所）
专　业: 计算机软件与理论
关键词: 动态应用集成面向服务的计算面向服务的应用的即时构造业务端编程 CAFISE方法聚合反演计算
分类号: TP311.11
类　型: 博士论文
年　份: 2005年
下　载: 448次
引　用: 10次
阅　读: 论文下载

内容摘要

今天,企业、政府等众多机构不仅要面对快速多变的业务需求,还越来越多地倚重跨组织协作。一些应用领域(如企业动态供应链、城市应急指挥等)的跨组织协作具有很强的动态性,提出了对动态应用集成的要求。为了满足这种要求,随着技术的发展和思维的变革,人们开始关注其计算机应用系统的按需、即时构造的能力。作为一种新兴的、面向Internet的分布式计算模式,近年流行的面向服务架构也为松耦合的跨组织应用集成提供了更好的使能技术。本文从支持业务用户自行构造面向服务的应用的角度出发,依托面向服务架构,提出一种面向服务的应用的即时构造方法以提高集成化计算机应用系统的按需、即时的构造能力,并围绕其中的核心内容从模型、语言、支撑机制、及系统等方面进行了研究,其主要工作和贡献如下:对面向服务的应用进行了分析与总结。在此基础上,按照对物理服务资源进行业务抽象并基于此提供业务级服务组合手段以及进而实现业务级服务组合到软件级服务组合的转换的基本思路,从支持业务用户“编程”的角度提出了面向服务的应用的即时构造方法——CAFISE。通过实例验证以及与相关工作的比较可表明:CAFISE方法在提高集成化应用的构造效率以及快速响应多变的跨组织协作需求方面具有更好的效果。在上述CAFISE方法基本思路的指导下,针对其中支持业务端编程的服务资源虚拟化和业务级服务组合两个与业务用户直接相关的核心内容,提出了CAFISE模型,并设计了相应的建模语言——VINCA。其中,CAFISE模型包含聚合服务和业务级服务组合模型两部分内容:聚合服务提供了一种业务驱动及“两头定义、中间相遇”的服务虚拟化机制,使得业务用户透明使用IT领域的物理服务资源成为可能。相对于一般单纯从软件角度考虑的、自底向上的服务虚拟化机制,聚合服务具有两点好处:一是在业务抽象层面为业务用户提供了可以反映业务需求的业务服务;二是同时在IT实施层面提供了对业务服务到动态多变的物理服务资源的自动落实的支持。业务级服务组合模型通过将(聚合服务中的)业务服务看作是表示用户需求的业务过程中业务活动的执行者,提供了一种基于业务服务的业务过程描述方式,使得业务用户可以在以此方式进行“编程”时专注于对其需求的直接表示,而不必考虑物理服务资源的使用细节以及服务组合的IT实现。在CAFISE模型基础上,进一步从实现角度讨论了CAFISE方法的核心支撑机制:一是通过提出聚合服务的生命周期模型将聚合服务具体化为具有一定状态的可操作对象,为聚合服务的管理提供了明确指导,并基于此设计了聚合服务管理机制及关键算法;二是对于CAFISE方法中与业务用户不直接相关的另一核心内容(即业务级服务组合到软件级服务组合的转换)提出了一种基于模式与反演的转换机制,该机制的特点在于通

全文目录

摘要  3-5
Abstract  5-13
第一章绪论  13-31
  1.1 分布式应用集成技术的新发展——面向服务的计算技术  13-16
  1.2 面向服务的应用的即时构造问题  16-20
    1.2.1 问题的提出  16-18
    1.2.2 面向服务的应用的即时构造  18
    1.2.3 基于业务端编程思路的面向服务的应用的即时构造  18-19
    1.2.4 主要研究问题  19-20
  1.3 研究现状概述  20-28
    1.3.1 服务的语义基础  20-21
    1.3.2 服务虚拟化  21-23
    1.3.3 服务组合  23-24
    1.3.4 对业务用户主动参与应用构造的研究  24-25
    1.3.5 对业务领域与IT领域间“鸿沟”问题的研究  25-28
  1.4 关于本论文  28-31
    1.4.1 研究思路  28
    1.4.2 主要工作与贡献  28-29
    1.4.3 论文的组织  29-31
第二章面向服务的应用的即时构造方法——CAFISE  31-39
  2.1 CAFISE方法的基本思路  31-32
  2.2 本文所关注的CAFISE方法的核心内容  32-34
    2.2.1 支持业务端编程的服务资源虚拟化  32-33
    2.2.2 业务级服务组合  33
    2.2.3 业务级服务组合到软件级服务组合的转换  33-34
  2.3 CAFISE方法中的重要概念及支撑技术、理论  34-37
  2.4 小结  37-39
第三章 CAFISE模型  39-61
  3.1 CAFISE模型的设计目标  39-40
  3.2 聚合服务  40-53
    3.2.1 基本思路  40-42
    3.2.2 聚合服务的构成及工作原理  42-47
    3.2.3 形式化定义  47-50
    3.2.4 对聚合服务的讨论  50-53
  3.3 业务级服务组合模型  53-56
    3.3.1 理论描述  53-55
    3.3.2 形式化定义  55-56
    3.3.3 业务级服务组合模型的特点  56
  3.4 CAFISE建模语言——VINCA  56-60
    3.4.1 VINCA语言的提出  56-57
    3.4.2 VINCA服务部分  57-58
    3.4.3 VINCA过程部分  58-60
  3.5 小结  60-61
第四章 CAFISE方法的核心支撑机制  61-83
  4.1 聚合服务管理机制  61-69
    4.1.1 聚合服务的生命周期模型  61-63
    4.1.2 聚合服务管理机制中的主要算法  63-69
  4.2 基于模式与反演的业务级服务组合到软件级服务组合的转换机制  69-80
    4.2.1 问题分析  70
    4.2.2 基本原理  70-72
    4.2.3 业务特性保持模式及转换反演元空间的设计  72-78
    4.2.4 基于转换反演元空间的转换算法  78-80
    4.2.5 对基于模式与反演的转换机制的讨论  80
  4.3 小结  80-83
第五章 CAFISE方法下面向服务的应用的即时构造过程  83-89
  5.1 面向服务的应用的即时构造中涉及的角色及其职责  83-84
  5.2 面向服务的应用的即时构造中的基本活动  84-85
  5.3 面向服务的应用的即时构造的步骤  85-86
  5.4 与一般的面向服务的应用的构造过程的比较  86-87
  5.5 小结  87-89
第六章面向服务的应用的即时构造系统的设计与实现  89-97
  6.1 系统体系结构  89-91
  6.2 核心组件的功能设计  91-92
    6.2.1 聚合服务管理组件  91-92
    6.2.2 转换引擎  92
  6.3 原型系统实现  92-96
    6.3.1 聚合服务管理API  93-95
    6.3.2 转换引擎的实现  95-96
    6.3.3 用户端界面  96
  6.4 小结  96-97
第七章应用实例及评价  97-111
  7.1 FLAME 2008——奥运综合信息服务系统  97-103
    7.1.1 应用问题  97-98
    7.1.2 解决方案  98-103
  7.2 评价  103-109
    7.2.1 测试分析  103-105
    7.2.2 与相关工作的比较  105-109
  7.3 小结  109-111
第八章结束语  111-115
  8.1 对本文工作的总结  111-112
  8.2 进一步工作的设想  112-115
附录 VINCA语言  115-121
参考文献  121-131
致谢  131-132
作者简历  132-133

面向服务的应用的即时构造方法研究

内容摘要

全文目录

相似论文