语义网服务中的本体综述

作为实现下一代Web的集成方案,语义网服务将语义Web技术和Web服务技术相结合,以支持Web服务的自动发现、选择、合成和执行.本体是语义网服务的理论基础.介绍了Web资源描述本体OWL和Web服务描述本体的概况,并对3种主流的Web服务语义描述框架进行对比分析,为语义网服务中本体的创建提供基础知识.研究了语义网服务中存在的各层次的本体异构问题,明确了语义网服务中本体集成的主要研究方向.     

非循环Web服务自动组合

针对不包含循环的web服务,提出了一种自动组合的形式化方法。由于web服务行为具有异步性的特点,而状态迁移系统能够恰当地描述这种异步通信,因此利用状态迁移系统来完成对非循环Web服务的自动组合过程。文章中阐述了这一自动组合算法,并通过具体的实例进行了详细解释。该自动组合算法能够解决手动组合非循环Web服务时出现的复杂性,易错性和耗时性等问题。     

基于Agent的Web服务自主、动态集成研究

Web服务集成是常见的Web服务应用,基于Agent技术和已有的Web服务集成技术,提出一种自主的、动态的合成框架.扩展了Web服务的描述,详细说明了框架中的主要成分和运作机制,最后给出基于此合成框架的Agent结构.     

语义Web服务组合中的服务建模及规划算法

Web服务的语义建模是指对Web服务的属性、功能和结构等进行语义描述,使用户能够对服务自动地定位、选择、使用和组合.本文以动作理论和描述逻辑为基础对服务的逻辑层信息(控制流和数据流)进行语义建模,用带前提和结果的原子动作描述简单服务,复杂动作描述组合服务的控制流,服务间的依赖关系描述数据流,并提出一个基本的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层2部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.最后给出一种新的自动组合规划算法,该算法充分考虑了语义推理和智能规划的结合,在对问题的描述能力和运行效率上做了较好的平衡.     

基于扩展概念格的Web关系挖掘

针对Web服务因缺少有效的组织和管理机制而产生的应用瓶颈问题,引入基于概念覆盖度函数的扩展概念格,通过构建基于输入和输出参数的Web服务集的扩展概念格模型,给出了Web服务间等价、替代和流关系的离线挖掘算法以及增量和减量的在线更新算法.在真实Web服务集上的测试结果表明,扩展概念格模型是Web服务集的一种有效的组织形式,可用于Web服务关系的自动挖掘和维护,从而为Web服务的选择、优化和组合提供智能支持.     

使用描述逻辑表达语义Web服务行为

该文重点研究Web服务的行为层面并使用描述逻辑对附加的行为信息进行形式化表达。使用Dl框架来描述顺序和平行拆分的交互序列,这些内容对Web服务的发现和组合的研究都提供了一定的参考价值。在不更改代码的情况下,扩展了Web服务的特征描述;通过与本体语言OWL-DL的结合,在目前语义Web服务研究成果的基础上增加Web服务行为方面的描述。     

基于语义的web服务发现方法的研究

提出了基于语义的Web服务发现方法,通过将OWL-S与UDDI相结合,将web服务本体映射到UDDI中的tModel以扩展web服务语义,增强了服务自动发现能力.并给出了此种方法的一个模型的具体设计.     

Web服务行为兼容性的判定与计算

确保Web服务行为兼容是实现Web服务无缝集成与协作的一个重要问题.在服务视图概念的基础上,给出了Web服务行为兼容性的相关定义.提出一种基于π演算的Web服务行为兼容性的定性判定与定量计算方法.该方法首先通过算法自动地将Web服务行为和Web服务间的交互行为表达成π演算进程,然后借助π演算的操作语义和形式化推演实现服务行为兼容性自动的定性判定;随后在π演算的进程变换理论的基础上提出算法实现服务兼容性自动的定量计算.该方法在服务动态组合与服务动态替换中的典型应用表明,该方法对于服务组合的正确建立和可靠执行具有重要作用.     

采用动作时序逻辑的Web服务组合方法

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。     

Web服务核心支撑技术:研究综述

随着电子商务的迅速崛起,基于Web的应用模式迅速发展,Web应用从局部化发展到全球化,从B2C(business-to-customer)发展到B2B(business-to-business),从集中式发展到分布式,Web服务成为电子商务的有效解决方案.Web服务是一个崭新的分布式计算模型,是Web上数据和信息集成的有效机制.Web服务的新型构架,Web服务的高效执行方式,Web服务与其他成熟技术的有机结合以及Web服务的集成是解决现实应用问题的重要技术.从Web服务研究的不同侧面对其进行了综述,阐述了Web服务的基本概念,分析了当前Web服务的主要研究问题及其核心支撑技术,概括了Web服务中的数据集成技术、Web服务的组合、语义Web服务、Web服务发现,Web服务安全,P2P(Peer-to-Peer)新型计算环境下的Web服务解决方案和网格服务等方面的研究内容,并对这些技术进行了总结,结合已有的研究成果,展望了Web服务未来的研究方向及其面临的挑战.     

基于有限状态自动机的Web服务组合

Web服务是Web上的特殊软件资源,可以被应用系统发现和调用.如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题.通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要.结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划.同时讨论了算法的复杂性.     

Composing web services enacted by autonomous agents through agent-centric contract net protocol

ContextAgents are considered as one of the fundamental technologies underlying open and dynamic systems that are largely enabled by the semantic web and web services. Recently, there is a trend to introduce the notion of autonomy empowered by agents into web services. However, it has been argued that the characteristics of autonomy will make agents become available intermittently and behave variedly over time, which therefore increase the complexity on devising mechanisms for composing services enacted by autonomous agents.ObjectiveIn this work, we propose an extension to Contract Net protocol, called Agent-centric Contract Net Protocol (ACNP), as a negotiation mechanism with three key features for composing web services enacted by autonomous agents.Method(1) A matchmaking mechanism embedded in a middle agent (as a service matchmaker) for discovering web services that are available intermittently is presented based on the concept of agent roles; (2) A selection algorithm based on risk-enabled reputation model (REAL) embedded in a manager agent (as a service composer) is introduced to serve a basis for selecting web services with variant performance; and (3) A negotiation mechanism between a manager agent and contractor agents (as atomic services) is devised and enables both a service composer and the atomic services to request, refuse or agree on adapting changes of services.ResultsThe problem of assembling a computer is discussed in this paper.ConclusionIt is increasingly recognised that web services would become more autonomous by introducing diverse agent technologies to better constitute more complex systems in open and dynamic environments. As web service technologies are best exploited by composite services, it is imperative to devise mechanisms for composing services of autonomy.     

基于Web Service进行信息共享和集成的关键技术

由于Web Service是基于标准协议和规范(包括HTTP、SOAP、XML、WSDL、UDDI等),并且平台独立和语言独立的,因此Web Service已成为基于Internet网进行信息交换、信息共享、信息集成和互操作的主流技术,在电子商务和电子政务中被广泛应用.详细介绍了基于Web Service进行信息共享和集成的关键技术--Web Service异步调用技术和动态调用技术.通过Web Service异步调用技术,实现了Web Service的分布式并行执行,提高了计算的效率.通过Web Service动态调用技术,使整个软件系统具有可扩充性,并且易于维护,能满足Internet环境动态性的要求.     

Web服务动态通用客户端的设计与实现

Web Services技术近年来发展迅猛,它基于分布式结构通过Web网络向服务请求者提供服务,并且使用对应的客户端来与服务进行交互,但是这种结构却存在着客户端与Web服务一对一绑定的问题,即调用每个Web服务时都必须使用与服务对应的特定客户端.针对以上问题,提出了一种Web服务动态通用客户端的解决方案,允许服务的主动查找与更新,支持存根的自动生成,从而实现对Web服务的自由调用,使其彻底摆脱一对一模式的束缚,提高实现时的效率和灵活性.     

动态选择Web服务的QoS本体设计

QoS信息是动态选择Web服务的重要依据.本体描述可以使Web服务成为机器可读、可理解和可操作的实体,从而可实现Web服务的自动组合.分析了Web服务的各种Qos参数,设计了一个分层的OWL描述QoS本体结构,分别表示Web服务不同方面的QoS信息,并根据Agent的思想给出了一个Web服务的改进结构,这样Web服务的使用者可利用它们动态选择最合适的Web服务.     

用XML签名及SOAP信息头实现安全Web服务

针对Web服务领域在安全方面存在的问题，分析了Web服务安全解决方案的现状，描述了XML签名语法及其处理过程，结合实例阐述了XML签名语法在提高Web服务的安全性上的优越性，并探讨了SOAP(简单对象访问协议)信息头在创建安全Web服务中的作用。     

基于扩展语义接口的Web服务动态组合方法

自动地根据用户请求进行服务的动态组合是目前Web服务领域的关键问题.针对该问题,提出了一种基于本体的服 务动态组合方法,设计并实现了一个服务动态组合原型.首先Web服务按照一定规则被抽象为本体模型,然后通过分析所 构造服务的模型来实现服务的匹配,最后利用BPEL4ws对匹配生成的服务组合序列来进行自动的组合.实验结果表明,该 方法细化了服务接口的语义,并且在发现结果上有更高的准确性.     

Consumer-centric QoS-aware selection of web services

There exist many web services which exhibit similar functional characteristics. It is imperative to provide service consumers with facilities for selecting required web services according to their non-functional characteristics or quality of service (QoS). However, the selection process is greatly complicated by the distinct views of service providers and consumers on the services QoS. For instance, they may have distinct views of the service reliability—wherein a consumer considers that a service is reliable if its success rate is higher than 99%, while a provider may consider its service as reliable if its success rate is higher than 90%. The aim of this paper is to resolve such conflicts and to ensure consensus on the QoS characteristics in the selection of web services. It proposes a QoS Consensus Moderation Approach (QCMA) in order to perform QoS consensus and to alleviate the differences on QoS characteristics in the selection of web services. The proposed approach is implemented as a prototype tool and is tested on a case study of a hotel booking web service. Experimental results show that the proposed approach greatly improves the service selection process in a dynamic and uncertain environment of web services.