基于Pi-演算的Web服务组合的描述和验证

形式化方法对于建模和验证软件系统是一种有效的方法,所以对Web服务的形式化描述和验证是一个重要的研究方向．对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的．Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模．该文基于Pi-演算对Web服务及其组合进行形式化描述和建模．文中说明了Pi-演算与以前形式化方法的不同之处,分析了Pi-演算应用于Web服务组合需要解决的问题．讨论了Pi-演算与Web服务协议栈的对应关系,说明了利用Pi-演算建立Web服务组合模型的规则,指出了如何寻找代理和通道．最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证．     

Web服务组合行为一致性的形式化描述和分析

Web服务编排和Web服务编制从全局和局部分别定义了Web服务组合的全局交互行为和每个参与者的局部行为,为了保证Web服务组合实现的正确性,Web服务组合的全局交互行为和每个参与者的局部行为必须是一致的。首先利用进程代数给出了对Web服务组合的全局交互行为、局部行为以及二者之间的映射关系的形式化描述,在此基础上分别通过分析全局会话变迁和局部进程变迁的关系和进程互相似理论给出了Web服务组合全局交互行为和局部行为的一致性的两个形式化判定准则。同时通过案例说明了如何形式化地检测Web服务组合的全局交互行为和局部行为之间的一致性。结果显示提出的Web服务组合一致性形式化定义和检测方法能检测组合行为的一致性,从而能有效地保证Web服务组合的正确性。     

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

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

一种基于扩展有限自动机验证组合Web服务的方法

为简化并自动化组合Web服务验证,提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状态转移及其标注描述Web服务与用户间的消息交换.EDFA给出Web服务交互过程的所有消息交换序列,刻画出Web服务的动态行为.使用基于EDFA的组合Web服务验证方法不但可以验证组合Web服务是否满足系统需求,还可以验证组合Web服务运行过程是否有逻辑错误.与其他方法相比,该方法更适于验证开放式环境下的组合Web服务.     

语义Web服务自动组合定义、方法及验证调查

针对近几年在语义Web服务自动组合上的研究成果,深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术,对语义Web服务组合问题进行分类和形式化定义,并归纳出一个语义Web服务自动组合框架。按照不同问题分析和比较相关的组合方法,同时总结了组合方案正确性验证技术。最后,根据前面的分析和总结,提出了语义Web服务自动组合当前面临的问题和挑战。     

基于Web Service组件的Web服务组合的设计方法

利用软件工程领域中的相关知识,提出了有效策略,构建出了服务组件知识库结构,解决了服务组合的重用问题。     

XFire和WSS4J下的Web Service组合安全策略

结合运用XFire和WSS4J,由XFire提供Web Service容器,由WSS4J提供安全机制,给出了“数字签名+报文加密+身份认证”的组合安全策略,并在现代物流实验中心运用Tuscany作为SCA中间件,运用这种组合安全策略作出了应用实验。     

基于BPEL的Web Service组合的数据流分析测试方法

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Service组合测试模型WSCTM,该测试模型可以捕获Web Service组合的数据流接口.采用基于服务的模型WSCTM,数据流可以从3个视点来分析:服务间、服务内和服务实现构件间.从而,Web Service组合的数据流测试可以在三层上得到实现.基于以上方法,可得到Web Service组合的定义-使用链,最终可产生满足既定测试标准以获得需求Web服务组合质量要求的测试路径.     

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

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

基于Web Service架构的新闻服务研究

Internet特有的时效性,使得网络新闻出版和服务正在步入一个快车道。尽管基于HTTP/HTML架构的Web新闻服务方式在新闻的时空性方面超越了传统媒体,但它的交互性还不足以满足个性化新闻定制和阅读的需求。该文提出了一种基于WebService架构和NewsML置标语言的新闻服务系统框架,讨论了新闻服务提供端、新闻注册端和新闻发现/阅读客户端的工作原理和关键技术。基于WebService架构和新闻语言NewsML的新闻服务系统,支持个性化的新闻定制和服务。     

基于QoS的可信Web服务组合研究

如何合理、高效地选择和组合众多功能相似的服务,为用户提供更优质的服务,是当前SOA领域研究的重点和难点。服务质量QoS(Quafity of Service)的引入,在一定程度上保证了服务组合的合理性,但对于如何确保服务组合的可信,目前还没有一个比较完善和可行的方案。因此,提出了可信Web服务组合模型(Trust Web Service Composition Modcl,TWSCM),并通过在原有Wcb服务体系架构上增加QoS代理和可信模块来确保服务组合的质量和可信。最后,在语言网格上进行了相关实验,结果表明,该方法能为用户提供高质量、可信的组合服务,从而验证了该方法的合理性和有效性。     

基于相对服务质量的Web服务集成策略

该文提出基于过程定义的Web服务集成模型,给出Web服务在服务群中相对服务质量的计算方法,为Web服务的集成过程提供选择依据。最后把Web服务集成抽象为多段图问题,给出采用动态规划的求解策略。     

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

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

Web服务合成平台研究

Web服务之间的交互是面向服务的架构（SOA）中的关键问题。该文分析了Web服务合成的研究现状并提出了服务合成平台WSCP的设计方案。给出了WSCP的总体结构，描述了其中的关键技术，包括流程模板库定义，服务发现，流程设计、分析、执行和监控等。     

一种基于匹配策略的Web服务组合方法

现有的Web服务只能被单独调用,不能提供复杂的组合服务.文中提出了一种基于匹配策略的Web服务组合方法,该方法利用匹配关系,通过自顶向下的服务分解和自底向上的服务组合,自动将原子服务组合成满足用户要求的组合服务.通过实例说明该方法的执行过程,应用结果表明该方法减少了用户的交互操作,降低了服务成本,提高了服务效率.     

一种半自动化Web服务合成的算法

Web服务合成,即将现有的若干服务合成为一个新的服务以获得新的功能,对于B2B、B2C应用和企业应用集成等各个领域都是十分重要的。服务合成必须实现半自动化或自动化。半自动化是比较可行的,它在用户的参与下合成服务。本文提出了一个半自动化服务合成的原型。其要求对服务进行语义描述,合成算法根据服务的语义信息来完成服务的合成。本文提出了基于目标服务的合成算法。其关键问题是如何选择下一个服务,以产生合适的输出作为当前服务的输入参数;需要对待选服务进行语义匹配,提出了精确匹配、一般匹配和语义距离等概念来衡量匹配度,并且用户可以根据其它属性来过滤服务,选择最优的一个。最后开发了一个合成系统,进行实验测试。     

基于目标递进的Web服务组合方法

单个Web服务难以满足实际应用需求,如何组合已有服务形成新服务成为该领域的研究热点.现有的组合方法仅依靠输入和输出参数组合相关服务,很少考虑前提和后置条件的语义相关性.为此,提出一种基于目标递进的Web服务组合方法,采用前向链的搜索策略,建立基于条件的有向无环图,可有效利用输入、输出参数和前提、后置条件确定服务组合顺序...     

一种Web服务组合的可信评估方法

软件可信性日益成为软件工程研究中的热点问题,作为软件资源主要形态的Web服务的可信性也受到了越 来越多的关注。目前对于Web服务可信性的研究主要集中在单一服务QoS属性的可信评价,而针对服务组合的可信 性研究较少。提出了一种通用的原子服务可信评佑模型,并结合原子服务在服务组合执行时的权重,给出了一种基于 结构分析的服务组合可信性的评估方法。最后,结合网络购物实例描述了服务组合可信性评估方法的实验过程。     

一种新的启发式Web服务组合算法

作为推动SoA和Web服务向纵深化发展的重要支撑技术,Web服务组合一直在领域研究中占据着重要地位。提出了一种新的启发式Web服务组合算法—HASC算法,该算法分为遍历搜索和回溯组合两个过程。前者以Web服务输出集合基数为启发函数,确定到达每个目标本体所需调用的Web服务;在此基础上,后者采用输出集合与目标集合交集的基数为启发函数,逐步建立输出集合到输入集合的回溯路径,进而获取最优组合方案。最后,以公共测试集EEE05和ICEBE05为测试对象,对该算法的性能进行深入分析。实验结果表明,该算法在组合效率和寻求最短组合路径方面较同类算法有较大提升。