论文部分内容阅读
今天,政务、商务、科研、应急等领域普遍存在业务需求快速多变的特点,迫切要求信息系统能够按需动态集成,以即时应对需求的变化。当前研究的趋势之一是通过最终用户编程(End-User-Programming)以实现应用的按需即时构造。面向服务计算所支持的标准化、松耦合的集成方式为最终用户编程的发展提供了新契机。然而,面向服务环境下最终用户编程的某些核心问题仍然没有得到很好的解决。其中,业务领域与IT领域不同关注点所产生的领域鸿沟为业务级服务具体落实到软件层服务带来了挑战。从支持最终用户编程,保障业务服务到Web服务的平滑过渡角度出发,提出一种弥合业务与软件层服务鸿沟的服务虚拟化方法,以保证业务服务能最终落实到Web服务,在底层技术层面支持最终用户编程。主要工作和贡献如下:提出支持最终用户编程的服务虚拟化方法-VINCAvirtualization。与现有的相关工作相比,该方法具有以下特色:(1)针对网络环境下服务资源的自治特点,采用“两端自主定义,多级虚拟化关联”的虚拟化思路,既保证了为业务用户提供直接反映业务需求的业务服务,又为最终用户编程提供了尽可能的物理资源;(2)针对Web服务资源较多的可能,引入聚类机制,可提高服务关联的效率,加速服务查找过程;(3)针对跨领域服务存在的功能关注鸿沟问题,在已有服务匹配关联方法的基础上,引入服务转换、服务组合等关联策略,为业务服务到Web服务的落实提供更多的保障手段。提出基于函数变换的服务转换代数系统-SAGE。已有的服务转换研究工作往往从纯应用角度出发,缺少对转换依据的理论论述,得到的结果具有随意性。针对此现状,从服务参数转换的角度,以“用函数的变换刻画服务功能的改变”为思路,基于服务的函数模型提出了支持服务转换的代数系统SAGE,为服务转换提供了理论基础,同时也为VINCAvirtualization方法中的服务转换关联关系提供了理论支撑和实现指导。其另一个特色在于转换所产生的新功能依赖于对服务参数信息的变换,而不是通常的依赖组合逻辑派生新服务的方法。提出支持用户表达转换需求的服务转换定义语言。以服务转换代数系统为设计依据,为方便用户表达转换需求,提出服务转换定义语言。该语言借鉴SQL语言的表现方式,具有非过程化的特点,用户使用比较方便。现有的工作要么缺少可操作的转换定义方式,要么可用的转换操作比较复杂,如BPEL基于XPath对服务转换的支持,一般用户难以掌握。提出基于排序法聚类策略的服务聚类机制。针对VINCAvirtualization中服务聚类用以创建全局服务视图的要求,对服务聚类的基本理论进行了研究,证明了VINCAvirtualization所定义的聚类关系的合理性,并在此基础上,