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

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

基于SOA架构的Web服务组合系统

应用SOA架构是构建松散耦合Web服务组合系统的一个有效途径.本文在深入研究Web服务组合系统一般工作流程的基础上,提出了一种基于SOA架构和分层协议栈机制构建Web服务组合系统的方法,给出了服务分层模型和分层协议栈,设计并实现了一个基于SOA架构的松耦合原型系统来实现Web服务组合,可为Web服务组合的研究和企业应用提供灵活的实验及应用开发平台.     

基于工作流的Web 服务组合模型设计与实现

单个Web服务无法满足企业的应用需求,对多个Web服务进行组合的研究尤为必要。本文提出了一种基于 工作流模板的服务组合模型,旨在通过定义和发布静态的Web服务,搭建基于工作流的Web 服务业务流程组合模型,实现在 工作流流程中调用静态的服务组合。     

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

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

基于控制结构的Web服务可靠性预测模型

在Web服务开发过程中,为了创建满足特定应用需求的新服务,需要将不同地理位置、不同服务提供者提供的Web服务按照一定的结构关系组合起来。在服务组合过程中,首先要保证服务执行的可靠性,组合服务的可靠性是Web服务最重要的QoS(Quality of Service)属性,是决定Web服务能否成功应用的关键。组合服务的可靠性不仅和服务之间的结构有关,而且和组合的条件也有一定的关系,因此传统的可靠性模型已经不再适用于Web服务。为了提高Web服务的可靠性预测精度,提出了一种基于控制结构的组合服务的可靠性模型,最后通过案例分析说明了该可靠性模型能够比较精确地预测服务可靠性。     

基于Pi-演算的BPEL4WS Web服务组合形式化模型

Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了P-演算的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言（Business Process Execution Language for Web Services,BPEL4WS）,定义了Pi-演算和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于P-演算的形式化模型,最后通过一个案例给出了模型验证的方法。     

基于领域本体的Web服务动态组合模型

给出了领域本体、Web服务及服务组合的形式化描述,综合基于业务流程的动态服务组合和基于服务接口匹配的服务组合方法,提出了一种基于领域本体的Web服务动态组合模型。该模型首先把服务请求分解为业务流程,再对业务流程的每个服务按接口匹配方法分解为组合服务。以客户订购产品为例,说明了领域本体的建立方法和Web服务动态组合模型的应用方法。     

基于Pi演算的OWl-s的Web服务的自动组合

Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型可以用来检查、验证Web服务组合以保证组合的正确性。针对目前最主要的一种语义Web服务组合的规范WEB本体论语言(Ontology Web Langage-Semantic,简称OWL-S),给出基于Pi演算的形式化描述,定义了Pi演算和OWl-S之间的概念映射,并给出了OWl-S的基于Pi演算的形式化模型,最后通过一个案例给出了模型验证的方法。     

基于冗余的Web服务组合可靠性优化方法

为了确保Web服务组合的可靠性满足用户需求,该文提出一种可靠性优化方法,利用软件容错技术来提高组合服务的可靠性。在Web服务组合的可靠性预测模型的基础上,分别给出两种容错模式下可靠性优化模型的表示,对于Web服务组合的优化设计具有一定的理论指导意义。     

基于Web服务组合技术的智能交通信息服务系统

Web服务结合可移动的数字设备、无线网络的应用,使得Web服务组合成为智能交通信息服务的一种有效地解决方案。文章主要介绍了智能交通信息服务系统的架构、Web服务组合和基于Web服务组合的智能交通信息服务系统。     

基于代理和BPEL4WS的Web服务合成与实现

Web服务的交互和实现被推荐通过软件代理来实现.Web服务目前还不能很好地支持动态、自适应的服务组合和分布式业务流程.软件代理在建模、知识表达和交互等技术上的优势,能够强化Web服务的交互和动态应用能力.基于代理和面向流程建模的BPEL4WS,可以实现Web服务面向业务应用的合成与执行,支持多个协同的业务流程及其动态配置.系统分析了代理、BPEL4WS和Web服务整合的技术与实现方案,利用JADE平台开发了相关的测试模型,并且以网上拍卖为案例,验证了所提方案及实现.     

基于Dijkstra算法的Web服务合成选择策略研究

Web服务合成中操作的选择是一个关键问题,这直接影响到用户对合成的复合服务的满意度、解决该问题的关键是对候选Web服务的输入输出数据关系进行建模,以及有效利用这些已有的数据依赖关系实现服务合成的请求。通过从Web服务规范语言中提取Web服务的语义信息．掏建Web服务的有向图,并分析Diikstra算法用于Web服务合成的问题。提出了相应的船决办法,给出了一个基于Diikstra算法的Web服务合成选择策略的算法。该算法能在合成中选择最恰当的操作组合．产生最终的复合服务。     

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

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

基于OWL—S和HTN的Web服务组合原型系统的研究

Web服务是近年发展的一种分布式技术,引起了越来越多研究者的关注。随着网络上Web服务技术描述的信息系统数量的不断增加,将现有的业务流程进行组合以满足较为复杂的业务系统成为当前发展的主要趋势。此外,由于Web服务所处环境的复杂性和动态性,使得Web服务组合任务变得非常困难。因此,Web服务组合逐渐成为语义Web服务领域研究的热点和难点。描述了一个基于OWL—S和HTN的Web服务组合框架,并详细介绍了如何利用HTN规划解决Web服务组合问题的算法思想。通过学生选课服务实验,验证了该方法的可行性。     

一种基于与或图的语义Web服务自动组合方法研究

单个Web服务提供的功能有限,服务组合成为Web服务应用的一个重要研究方向。提出了一种基于与或图的语义服务自动组合方法。该方法为Web服务引入语义,能将服务搜索空间受限于服务组合与或图中,并能从服务组合与或图中选出最佳组合图,从而达到优化服务组合的目的。仿真实验证明,该方法提高了Web服务组合的成功率和效率。     

基于Petri网的Web服务自动组合研究

根据Web服务中消息和行为的关系,Web服务被描述为面向消息的基于行为Petri网模型(Moap)．该模型包括消息域和服务过程,前者是服务协同以及和用户通信的通道,后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用,可以很好地描述可用服务的并行调用,另外元消息机制也有利于服务的自动组合．在Moap基础上,定义了服务组合系统和服务的协同;给出了服务自动组合规则,并证明了其有效性和完备性．最后,通过一个实例直观描述了服务组合系统的工作方式．     

基于软件代理和上下文的Web服务合成方法

Web服务的诸多特性使得它非常适合于商务应用集成，工业界和学术界都希望能够通过合成多个Web服务从而获得增值的新服务。介绍两个概念以减少Web服务合成的复杂性：软件代理和上下文；并论述了在合成期间，软件代理之间进行会话以同意Web服务参与到合成中。     

基于与或图的Web服务组合的研究

现在Web服务技术的应用变得更为普及。单个Web服务只提供有限的功能,难以满足实际应用的需要。Web服务组合已经成为Web服务应用中一个非常重要的研究方面。本文提出了一种基于与或图的Web服务组合方法,该方法通过对已经访问过的服务进行标记,以服务代价作为在与或图中进行搜索的依据,缩小了搜索空间,能够快速找到一种代价很小的服务组合方法。仿真实验表明,该方法提高了Web服务组合的效率和成功率。