复杂上下文感知的组合服务选择框架

泛在网络环境中,组合服务选择不仅需要考虑服务上下文还需要考虑用户上下文,而描述上下文属性的数据类型可能有实数、区间数、三角模糊数和直觉模糊集。为解决这种基于复杂上下文的组合服务选择难题,本文提出一个复杂上下文感知的组合服务选择框架,能够感知服务上下文和用户上下文。该框架基于智能主体设计,其中用户端框架完成用户上下文管理,服务端框架完成服务上下文管理和组合服务选择。通过相关工作的比较,验证了该框架的优越性和有效性。     

基于工作流的Web服务组合系统

对Web服务进行组合提供更强大的服务,是近年来网络技术迅速发展的结果。本文对目前国内外Web服务组合的工作进行了初步的探讨,在调查当前领域内研究现状的基础上,重点讨论了基于工作流的Web服务组合模型,对功能语义、服务粒度、服务参数等描述方法进行了介绍,对服务组合过程中涉及到的流程匹配、服务执行等算法也作了描述。     

基于XYZ/ADL的Web服务组合描述与验证

Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.     

基于层次实时有色Petri网的实时服务描述研究

Web服务描述与组合是实现面向服务计算的关键,但目前Web服务描述研究对Web服务的实时性与智能性因素考虑不多,不适合用于分布式实时系统中的服务描述。该文首先定义了适合实时服务描述的实时有色Petri网(RTCPN)与层次实时有色Petri网(HRTCPN),然后建立了原子实时服务到RTCPN映射描述模型(AS-RTCPN),对服务组合运算规则进行了详细描述与建模,最后形成了服务组合HRTCPN描述模型的简化算法,并给出了HRTCPN的可达服务图RSG的定义及构建算法,证明了HRTCPN模型的正确性。     

一种基于与或关系的Web服务组合算法研究

Web服务组合的有效性取决于实时的网络环境,若仅提供一种较优的Web服务组合结果,在组合失效时需要重新提出服务组合请求.采用基于与或关系的Web服务组合算法,在筛选和匹配相关服务的同时,逐步生成以与或形式描述多种组合结果的Web服务组合图.通过对图的访问,可获取尽可能多的组合结果.若一种组合不可用,可有条件地选择其他的组合替代,提高了服务组合的请求与生成的效率.通过一个实例演示了这种方法的有效性.     

基于本体的Web服务行为语义建模方法

提出一种基于本体的Web服务的服务行为语义建模方法,对于Web服务提供的服务行为、用户预期的服务行为、以及服务组合的交互行为之间的一致性关系进行了语义建模,构建了判断Web服务提供的服务行为是否符合用户预期的本体描述和语义计算模型,利用现有Web服务样本进行实验验证并给出性能分析.     

基于Sub Web Service服务组合方法

在当前Web服务动态组合研究的基础上,提出了一种基于Sub Web Service的混合Web服务组合方法。结合静态与动态服务组合方法,将动态生成的服务组合计划描述保存在缓冲池中,当用户使用该组合服务时,系统将会在缓冲池中搜寻此服务组合,并为请求调用它。在组合算法中提出了基于Sub Web Service的组合算法,将多输入多输出的Web服务分解为多输入单输出的Sub Web服务执行服务组合。在避免重复动态组合服务的基础上,减轻了Web服务在组合过程中对多输出接口的依赖性,提高了系统服务效率。     

SOA架构下基于Petri网的Web服务协商模型

针对SOA实施过程中Web服务协商的需要,提出了一种Web服务协商协议,定义了通信原语,在服务提供者和服务消费者之间动态地协商服务信息,并采用Petri网模型对该协议进行了形式化描述,对Web服务组合进行建模及元素映射,给出了Petri网模型生成算法.     

基于推理机制的逻辑语言在Web服务组合机制中的应用

在实际的网络应用中,相比客户端的形式,人们更希望能提供服务设施和应用程序的平台来自简单方便的网络浏览器.基于多阶段可用性的Web服务组合管理关键技术的研究成功,将解决目前服务组合管理中的许多关键问题.本文主要研究人工智能语言Prolog在该项目中的应用与发展,用情景演算理论作为推导理论,并用逻辑编程语言对服务内容加以描述,同时在Prolog的基础上扩展到对Golog语言的研究,并在此基础上针对Web服务需求做出了一些推论.     

扩展OWL-S的Web服务质量属性描述方法研究

目前的Web服务只有基于功能性描述的服务发现接口,不能实现具有非功能性的如QoS属性的Web服务发现。OWL-S是对Web服务的本体描述,但在服务质量(QoS)方面的描述也不尽人意。提出了扩展OWL-S中的Servi-ceProfile的本体描述方法对Web服务的QoS进行描述,并构建了服务质量树,实现了对Web服务的服务质量描述,与OWL-S对Web服务QoS的描述相比具有更好的灵活性,质量描述更精确。     

基于Agent会话的自适应Web服务交互

基于Agent的Web服务集成框架中的每个Agent代理一个服务,将服务集成流程映射为Agent会话协议,通过Agent会话体现服务交互的自适应,从而发现和恢复服务集成中的错误,使得系统具有一定的容错能力,实现服务交互的自适应.     

A Framework of Information Service Platform in E-Government

For exchanging and sharing information and services in e-government, a framework of information service platform (ISP) is presented. The multi-layer architecture of the ISP is introduced. They are. user's requirement layer, business service layer, business process layer, business function layer and data layer. The lower layers are based on the architecture of web services and the upper layers are related to the institutional and organizational issues. In order to deal with the variation of user's requirements and changing environment, the matching and mapping processes with adaptive mechanism are illustrated.     

电子政务交换平台应用网关研究与实践

本文探讨了如何实现主流交易中间件平台如CICS与新兴的基于webservice架构的交换平台之间的互操作,实现政府的信息共享和业务协同,对如何在不改变系统原有程序模式的情况下访问和调用WEB服务,实现异构平台之间的互操作的方法进行了研究并在实际项目中进行了实践验证。     

基于JBoss实现Web服务与通信业务整合

作为面向服务体系( SOA)的最主要的实现方式,Web服务(Web Services)技术被认为是业务整合的主要基础之一.根据ParlayX的Web服务规范,在NGN/IMS网络环境中,提出了一种基于JBoss服务器的以Web服务的方式交付通信业务的下一代网络融合业务平台架构,详细分析了Web服务与通信业务之间的交互方式,并利用该融合业务平台架构实现了一个第三方呼叫控制示例业务,展示了如何整合Web服务和通信业务,验证了该融合业务平台架构的可行性.     

一种基于运行时体系结构的BPEL支撑环境

为了使BPEL描述的组合服务能够根据动态的网络环境和多变的用户需求而动态演化，在我们已有工作的基础上，提出一种基于运行时体系结构的BPEL支撑环境．其核心在于引入一个运行时体系结构对象来刻画组合服务的体系结构，并用其解耦组合服务与其成员之间的引用关系，从而通过对该对象的修改引起组合服务与其成员之间交互行为的重解释，实现组合服务的动态演化．在此支撑环境上开发了一个简单的应用实例以展示动态调整的效果．     

基于SOA架构的位置服务平台模型研究

在明确界定位置服务平台含义的基础上,分析了我国电信运营商位置服务平台建设中存在的问题,提出了基于SOA架构构建位置服务平台模型的思路,并运用ESB集成框架及Web Service技术进行设计和实现,以期为位置服务业务的推广起到促进作用。     

基于移动Agent的Webj服务安全访问机制研究

针对Web服务安全问题中的访问控制，提出将移动Agent引入Web服务的安全访问控制模型，通过SRP协议对Web服务附加了一个独立的访问控制代理层，具有良好的通用性。实现了基于移动Agent的Web服务访问控制模型．并对控制流程进行了描述。     

基于SAML的单点登陆系统模型

单点登录技术是一项非常重要的Web安全技术.由于Web服务技术的广泛使用,如何实现适用Web服务特点的单点登录也是一个热点问题,SAML是一项基于XML的交换安全性信息的框架,结合SAML的单点登录可以很好地解决这个问题.阐述了单点登录的基本模式以及SAML的工作原理,讨论了一个基于SAML的企业级Web服务系统模型.