基于参考网的Web服务组合模型

为了确保组合Web服务执行的可靠性,提出了基于Reference nets的Web服务组合方法。精确描述了Web服务的形式化语义,使用该方法对组合Web服务控制流的八种基本结构建立模型,并给出了建模步骤。结合应用实例使用Renew2.0.1建立组合服务模型并进行仿真,进一步验证了该方法的有效性。     

基于工作流模式的OWL-S过程模型分析及其应用

确定OWL-S过程模型描述Web服务之间交互协议的能力和缺陷,为组合Web服务执行提供有效支持。将组合web服务视为基于Web服务的工作流,利用OWL-S过程模型的控制结构给出工作流模式的实现方案,分析出OWL-S描述web服务之间交互协议的能力及缺陷;在此基础上,设计并实现基于OWL-S的组合web服务执行工具,通过验证Web服务调用的有效性及Web服务之间交互协议的有效性,提高组合Web服务执行的健壮性。     

一种基于语义的Web服务动态组合及其实现

随着Web Services 的广泛流行以及Web环境下日益增加的Web服务,如何根据用户的需求自动地对Web服务进行有效的组合已经成为一种挑战.文中提出了一种基于领域本体的动态组合方法,该方法利用领域本体以及语义技术首先生成一个基于领域本体的Web服务组合图,根据该Web服务组合图可以进行服务的自动发现、调用、组合.该方法综合考虑了服务的语义支持,领域特性,服务的自动组合.最后通过实例验证了该方法的有效性.     

一种Web服务组合模型

为了满足Web服务组合的需要,提出了一种基于招标/投标框架,以服务组合总线为核心,支持＂多代理＂,适用于动态Web服务组合的应用场景的Web服务组合总线模型（WSCBM：Web Services Composition Bus Model）。为了验证该模型和方法的有效性,介绍了WSCBM的一种实现原型及其在实际工程中的应用。     

基于多元Pi演算的Web服务形式化描述模型及其验证*

Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生组合时的类型良好性;给出Web服务可替换性定义,并在此定义基础上说明如何进行Web服务组合的功能验证。提出的类型化Web服务形式化描述模型,准确说明了Web服务组合运行时的类型良好性,以及Web服务组合的功能验证方法。最后通过例子说明,提出的定义和判断方法的有效性。     

基于Petri网的Web服务组合建模

针对Web服务组合流程进行建模,可以实现可靠的服务组合。文中首先提出了一种基于Petri网理论的Web服务组合建模方法,对服务组合进行形式化建模,然后通过分析Web服务网的可迭性和活性对Web服务组合进行验证,最后举例说明此方法的应用。     

数据和时间感知的Web服务组合模型检测

为了验证Web服务组合中的数据属性和时间属性,提出了一种基于数据和时间感知的服务模型DTSM的Web服务组合模型检测方法。首先将I3PEL描述的Web服务组合转换为含有数据流信息和时间信息的形式化模型,然后将该模型映射至UPPAAL规约,最后应用模型检测工具UPPAAL实现了Web服务组合的正确性验证。     

基于概率模型检测的Web服务组合验证

Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法。首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证服务组合的可靠性,最后通过实例进一步说明该方法的可行性。     

面向应用的Web服务组合设计和验证框架

针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题,提出了一个自顶向下的Web服务设计和验证的框架-iFrame4WS。在iFrame4WS中,将Web服务组合的设计方案划分为描述层、抽象层和执行层,并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性。     

语义Web服务组合的形式化描述与验证研究

Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模.     

Web服务组合方法综述

Web服务组合通过重用已有的Web服务满足用户高质量的应用需求,是面向服务架构研究领域的热点问题。该文对当前Web服务组合的研究现状进行了综述,分析了WSC的概念和实现框架。根据研究侧重点及其依赖的技术基础,将WSC方法归为两大类别——基于工作流、状态演算和进程代数模型描述的过程驱动的组合方法和基于语义描述的自动服务组合方法。对WSC的评价模型及其研究与应用中所面临的挑战进行了论述。     

The effects of alliance information on Web service composition

Web service composition (WSC) has emerged as a promising approach to integrating business applications within and across organizational boundaries. One of the major objectives of WSC research is to improve the performance of composite Web services. To this end, alliance information between different services partners has great potential, but has been overlooked by extant approaches to composing Web services. To address the above limitation, we propose an alliance-aware method for WSC in this paper, which incorporates the alliance information in constructing Web services. In addition, we adopt a multi-agent architecture to model and evaluate methods for WSC. Our experiment results reveal a significant impact of alliance information on the performance of WSC. We believe our findings on WSC are important to both WSC researchers and practitioners.     

基于连接件的Web服务自愈框架研究

借鉴软件体系结构的研究思想,提出了服务连接件的概念,并以此扩展面向服务的体系结构,设计了一个基于服务连接件的、轻量级的、独立的Web服务自愈框架;分析了Web服务故障监控的因素及其规约的方法,给出了Web服务故障处理三种策略模式,并运用实例表明了方法的可行性。     

一种改进的基于Pi演算的Web服务自动组装方法

提出了一种改进的Web服务自动组装的方法,以提高Web服务组装的自动化。组装Web服务时,先用UML对复合Web服务进行建模,从UML模型得到复合服务的Pi演算描述,通过Pi演算的形式化验证,为这些逻辑子服务自动找到匹配的已实现的原子服务,最后生成可执行的复合Web服务。     

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

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

基于本体分类的Web服务合成的研究及应用

阐述了一个基于本体分类的Web服务合成模型,扩展标准的WSDL服务描述,将Web服务及其参数严格映射到本体概念分类层次,使服务描述保存了语义信息,领域本体过滤确保了合成服务的有效性,基于用户的需求描述实现了从现有Web服务中动态发现、匹配和组合服务的功能的算法,根据用户的服务质量要求,模型还能从生成的合成服务链中筛选出最佳服务组合。整个模型在一定程度上实现了服务合成的自动化。     

Web service集成标记语言关键技术研究

描述Web service的标记语言在使服务能被人们或软件Agents动态发现方面发挥着重要的作用。学术界和工业界研究小组在服务描述、发现、集成、执行上推出了很多基于XML结构的语言。这些语言中有些已经定义了良好的语义,有些是基于工作流方式的,同时也有一小部分是综合利用其它几个独立的语言而形成。面对这么多都被推荐成为标准的语言,对它们的优点和缺点作深入的分析是十分必要的。本文首先从便于服务描述、发现、集成和执行的角度,分析了Web service集成标记语言所应具有的特性,如表达性、语义支持、可用的支持工具、核心集成机制、对容错及异常处理的支持;然后简要描述了比较熟悉的几种服务集成语言的相关技术;最后对这些语言的关键特性作了比较。     

QoS可信的服务组合技术研究*

现有基于QoS的服务组合方法通常假定QoS数据可信,然而这种假设很难保证,虚假的服务对于服务组合实现的影响常常是致命的。针对该问题,提出一种考虑QoS可信的服务组合方法。分析了QoS来源,建立了相应的系统结构,划分了信任级别,根据社会交往方式量化了直接经验和间接经验在可信判断中的作用,并以此构建QoS的计算模型,设计了相应的算法。最后,通过仿真实验,将考虑可信的服务组合方法与未考虑可信的传统组合方法进行了比较,前者体现出明显的优越性,从而表明提出的方法在性能和执行效率上是可行的。