一种基于业务流程执行描述语言的分布式Web服务发现方法

现有的Web服务发现方法主要是基于集中式拓扑，并且使用的服务描述仅仅是描述服务接口功能而忽略了业务流程执行相关信息，无法保证Web服务组合的相容性，也无法满足组合事务无死锁的要求。同时，这些方法都无法避免高维护代价、单点失效和可扩展性差等问题。本文提出一种基于结构化对等网络的Web服务发现方法，引入标识确定性有限状态机ADFSA（Annotated Deterministic Finite State Automata），将服务业务流程执行语言用于服务匹配，从而避免了潜在的Web服务组合不相容和有利于服务组合的自动化。     

基于Pi-演算的Web服务形式化描述模型*

当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。本文在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS规范和WS-CDL规范的重要行为在模型中做了映射。最后通过例子说明,基于局部和全局的设计方法在本文提出的模型中的映射是一致的。本文提出的描述模型直接用来进行Web服务组合的设计时,可以更好的描述动态的体系结构。     

用描述逻辑进行语义Web服务组合

针对面向服务功能的语义Web服务组合问题,特别是经典的人工智能规划方法无法有效地处理Web服务执行过程中动态产生的新个体,以及基于服务匹配的方法则无法充分利用服务I/O参数类型之间大量的语义关联等关键问题,通过动态逻辑和描述逻辑之间的对比研究,采用描述逻辑公理来刻画Web服务的IOPR(inputs,outputs, preconditions and results),扩展了基于动态逻辑的人工智能规划方法,提出了把语义Web服务组合问题转化为描述逻辑推理问题的方法,克服了经典的人工智能规划方法中的困难和基于服务匹配的服务组合方法的缺点.     

基于服务上下文的Web服务发现机制

服务发现成为Web服务组合研究的重点,为解决服务组合过程中服务发现方法存在动态适应能力不足,提出了一种基于服务上下文的Web服务发现机制.该机制将一种服务本体描述语言OWL-S和一种基于服务上下文的服务发现算法相结合,利用语义描述服务的信息,同时定义了服务上下文信息并进行服务上下文匹配来发现所需服务.实验结果表明,基于服务上下文的Web服务发现机制能够提高服务发现的准确性,具有较好地动态适应性.     

EDG—DCR：一种基于扩展有向图Web服务组合关系描述方法

Web服务组合是充分利用已有的Web服务,生成满足不同用户实际需要的组合服务的重要技术,Web服务组合关系的描述是Web服务组合的基础。目前,Web服务组合关系描述主要有两类方法,一是基于有向图的描述方法,二是基于Petri网、语义的描述方法。前一种方法简单,但不能描述所有的组合关系;后一种方法虽然能描述所有的组合关系,但是它们的组成元素过于复杂,用户难以理解和使用。文章以工作流模式为基础,提出一种基于扩展有向图的Web服务组合关系描述方法,使得其可以描述所有的组合关系。该描述方法使用XML Schema表示组合关系,保证描述过程的简单性、开放性和可扩展性。     

一种P2P环境中基于语义的Web服务组合方法

Web服务组合研究是Web服务领域一个研究热点。本文利用0WL-S语言对Web服务进行描述，提高Web服务的机器可理解性，并利用语义信息进行Web服务组合操作。文中提出一个在JXTA环境中实现Web服务组合的模型，在其上实现了一个基于语义的Web服务组合方法，并通过一个简单的实例说明语义Web服务组合的具体过程。     

语义Web和Web服务标准集成的研究

首先提出基于本体的增强Web服务描述能力的方法，即将语义添加到Web服务的标准WSDL和UDDI中。然后，提出一种基于语义的Web服务发现算法。基于语义的Web服务发现过程比原有的基于服务属性的服务发现过程更为准确和有效。     

一种基于体系结构的Web服务组合描述方法

Web服务组合能够快速开发复杂的Web服务,以促进Web服务的增值。在分析并比较现有的Web服务组合方法的基础上,提出了一种形式化和工业化方法相结合的Web服务组合描述方法。针对Web服务及其组合的特点,研究了基于体系结构的Web服务组合描述方法,采用扩展的XYZ／ADL定义Web服务及描述其交互的连接件,最后结合一个实例描述Web服务组合的工作方式。     

一种基于本体的语义Web服务发现模型

Web服务已经成为互联网中最为重要的一种计算资源和软件资产,Web服务的大量涌现对服务发现提出了挑战。Web服务发现的关键是Web服务的语义描述的准确性和Web服务检索引擎的检索效率。提出了一种基于本体的Web服务描述方法,采用OWL-S对Web服务进行语义描述,并提出了针对性的Web服务检索引擎。通过试验,该模型结合语义Web服务技术实现Web服务的动态查找与组合,可提高Web服务发现的查全率和查准率。     

语义标记Petri网的组合Web服务建模与验证(英文)

随着Web服务组合的发展,整合业务过程成为可能。组合Web服务可以被看作是基于过程的工作流。由于死锁、不安全和不可达等流的设计错误会影响组合Web服务的有效执行,因此这些错误应在组合Web服务执行前被检测出并修改。提出了基于语义标记Petri网的组合Web服务建模与验证方法。首先提出语义标记Petri网(SaPNs),并给出其语义;用受限描述逻辑tableau算法获得组合Web服务;使用SaPNs描述组合Web服务及其组成部分;最后,使用基于SaPNs的分析方法验证了组合Web服务。使用该方法在开放的Internet环境下可以获得满足客户需求的、可靠的组合Web服务。     

基于语义的QoS感知Web服务发现机制

随着提供相同功能的Web服务数量的日益增多,服务质量(Quality of Service,QoS)成为用户选择Web服务的重要考虑因素.目前,通过对服务QoS属性在语法层匹配来提供Web服务选取的机制不能很好地满足复杂QoS属性匹配的要求.研究了基于用户QoS需求偏好,将用户需求的QoS与候选服务的QoS进行语义比较,结合约束规划(Constraint Programming)方法,在语义层匹配Web服务的QoS属性,选取满足匹配要求的服务,最后对满足QoS属性值约束的候选服务进行优化选择处理,获取最终匹配的候选服务.     

基于生成树的Web服务组合模型

基于接口的服务组合思想并融合P2P技术,提出一种可组合广域范围Web服务的组合模型。根据领域本体及其推理能力,按Web服务的功能关系组织不同的生成树,依据生成树间的组合关系构造Web服务组合网,并给出一种高效的服务组合算法。大量模拟实验表明了该模型的优越性,即支持基于服务质量的Web服务组合,服务组合成功率高,Web服务发布、查找与组合时间快。     

基于主体的语义Web服务自动组合研究

语义Web服务要解决的一个主要问题就是如何实现服务组合自动化.主体技术因其智能性、自主性等特点在解决语义Web服务组合问题中具有较大优势.通过分析语义Web服务组合研究现状,分析主体、语义Web与Web服务的紧密关系,论证了基于主体的语义Web服务的可行性并描述了基于多主体的Web服务组合平台架构.介绍了基于主体技术的语义Web服务组合技术,将服务组合看成是一个多主体环境下的规划问题,给出语义Web服务作为主体动作子类的形式化定义,并针对服务组合问题增加限定条件,定义服务之间的5种关系,试图从逻辑角度,以描述逻辑为基本工具,突出服务的动态性与交互性.最后利用主体的目标规划以及基于描述逻辑的有效推理,给出了服务的自动组合算法.     

具有QoS约束的语义Web服务发现的研究

传统的Web服务主要是基于UDDI的技术规范,只提供了按照简单分类和关键字的服务发现方法,造成查准率与查全率低,影响服务复用和服务组合的相容性.带有语义的Web服务通常也只关注服务功能性的匹配,因缺乏服务质量描述和灵活、有效的服务匹配方法,而难以保证服务的全面匹配和快速定位.本文分析了现有的一些相关研究,在Web服务模型的基础上,结合"逐渐逼近"的思想,提出一个三层次的匹配筛选算法,并对基本描述、IOPE、服务质量各层的匹配算法进行了深入讨论,用相似函数来度量服务提供方与服务请求方的Web服务相似程度,为Web服务发现提供了一种有效的方法.     

语义Web在Web服务中的应用

在分析了现有的Web服务标准和语义Web的基础上,介绍了一种把二者结合起来的语义Web服务(SWS)。它可以实现在不需要人的参与下,Web服务的自动发现、自动调用和自动组合。对于语义Web服务的开发有3种方法,文中重点介绍了实现SWS的一种基于本体的面向代理的OWL-S开发方法。     

Web服务合成的相容性与替换性分析

形式化的分析有助于Web服务的合成.已有的合成分析方法,验证的重点是Web服务合成时形成的全局交互流程是否与预先定义的模型相匹配,忽略了合成时各个Web服务之间的行为是否相容.通过自动机对基于WSCI规范描述的Web服务进行形式化描述.在此基础上,提出了一个Client/Server模型,定义了Web服务合成的相容性概念,并提供相应的算法进行验证,保证了Web服务合成的正确性.在相容性分析的基础上,考虑到Web服务动态性的特点,定义了Web服务的替换性概念,并给出了保证替换服务正确性的定理.     

Building toward Capability Specifications of Web Services Based on an Environment Ontology

Automated Web service discovery requires Web service capability specifications of a high precision. Semantic-based approaches are inherently more precise than conventional keyword-based approaches. This paper proposes to build capability specifications of Web services based on an environment ontology, the main concepts of which are the environment entities in a particular application domain and their interactions. For each environment entity, there is a tree-like hierarchical state machine modeling the effects that are to be achieved by the Web services on this environment entity. The proposed approach is based on the assumption that the Web service capability specifications, built on the effects of the Web services on the environment entities, are more accessible and observable. Algorithms for constructing the domain environment ontology and the matchmaking between the Web service capability specifications are presented to show how Web service discovery is supported. An example on travel service is given to illustrate this proposed approach.     

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服务发现框架.在该框架下,采用Petri网作为Web服务过程描述的形式化工具.首先,利用聚类技术,从服务的功能相似和过程相似两个层面对服务进行聚类预处理,从而在很大程度上降低服务的查找空间,提高服务的查找效率.进一步,针对服务请求中可能潜在的行为约束,建立基于Petri网的过程需求模型,将其与候选服务的过程模型进行比较,对满足功能需求的可行服务进一步筛选,从而提高查找的精确度.最后,利用仿真实验对所提出的方法进行验证.