基于Pi-演算的服务组合正确性验证

对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。     

基于任务驱动和QoS约束的Web服务组合模型研究

介绍了Web服务的基本概念,给出了用户任务到Web服务的映射模型;提出了一种面向领域的Web服务QoS模型,讨论了基本Web服务评价方法;结合工作流建模技术,阐述了Web服务组合模型的构建方法以及如何计算组合服务的QoS;结合"旅行计划"实例,说明如何利用基于任务驱动和QoS约束的Web服务组合模型进行Web服务组合。     

Web服务动态组合模式研究

Web服务动态组合技术是基于互联网的信息集成研究的重要内容.在对Web服务组合定义基础上,给出了Web服务动态组合的基本模式,并采用Petri网的图形化方式对这些基本模式进行了建模与分析.Web服务动态组合基本模式的研究对于构建服务组合引擎、分析与仿真组合过程具有重要的意义.     

基于Petri网的语义Web服务组合建模研究

近年来,随着Internet上的Web服务数量激增,单个Web服务已不能满足用户需求,开展语义Web服务的组合问题研究具有重要的现实意义。文章在前期Ontology的语义Web服务组合框架研究基础上,围绕Petri网在Web服务的应用展开工作,提出一种Petri网的服务组合建模方法,并通过实例仿真对其有效性、可行性进行了验证。     

Petri网在Web服务组合中的应用研究综述

Web服务组合是web服务发展的一种新的方向,而Petri网作为形式化的建模工具,在服务组合中扮演着重要角色,不仅可以辅助服务组合的设计,还可以更好地对组合流程进行分析和验证。文章对各种Petri网在基于工作流、人工智能（AJ）的Web服务组合中的应用以及基于Petri网的Web服务形式化组合方法进行了综述,并指出了Petri网在服务组合工作中的作用和重要性。最后对研究进行了总结,指出了下一步的工作。     

物联网服务组合技术探析

物联网服务相比普通Web服务存在一定的特殊性,现有Web服务组合技术难以直接应用于物联网中。分析了物联网服务组合技术的相关内容,并从物联网服务建模、物联网服务选择与匹配以及物联网服务访问控制三方面对国内外研究现状进行了概述和分析,最后指出了物联网服务组合技术的应用价值和前景。     

基于Petri网的经济预警服务组合模型研究

针对当前经济预警领域单一模型预测效果不理想,以及模型组合、管理和重用困难等问题,提出了采用面向服务的体系结构构建宏观经济预警平台,将单一预警模型发布为Web服务,并利用Petri网组合预警服务模型的方法,讨论了系统构建方法和服务组合的建模过程,验证了基于Petri网的组合服务模型能够保证组合服务的可达性、安全性、正确性和可终止性。     

基于π-演算的web服务流的分析与建模

为了提高web服务流程的有效性和可靠性,提出了π-演算形式化方法.该方法能克服web服务流语言不能表明一致性及进行验证等缺陷.讨论了web服务流的π-演算分析和建模,对WS-BPEL语法元素及动态基本活动进行了分析和形式化刻画,同时,对π-演算和WS-BPEL的相互映射进行了描述.最后,利用π-演算描述web商业流程基本结构,并从不同角度探讨了用π-演算进行商业建模的方法,有效地对WS-BPEL所述商业流程进行了π-演算的分析和建模.     

普适服务编排的类型和效果

提出一种扩展的lambda演算方法并给出相应类型的系统．基于扩展的lambda演算可建立服务模型,采用形式化方法,将服务内部流程抽象为函数概念,引入效果系统来记录服务的动作属性,推导服务动作操作集以验证服务编排是否满足用户所定义的规范,最后通过Coq实验来验证该方法的可行性．     

动态Web服务组合中的一种服务优化选择方法

基于多选择背包问题的解决办法,我们可以将动态Web服务组合中的服务优化选择问题进行建模,映射成背包问题,并予以相应的选择算法.实验证明算法在保证一定优度的同时亦具有良好的时间性能.     

一种无回溯Web服务动态组合方法

可以把Web服务描述为一个关系,把Web服务的组合过程描述为关系间的运算．据此阐述了Web服务组合的关系模型,给出了相关定义,分析了一种用于消除合成语义冲突的领域级本体,给出了一种输入闭包的优化过程;通过建立服务组合序列,描述了Web服务组合方法,该方法简化Web服务的合成,具有无回溯、易于优化和易于实现的优点．     

基于OGC Web服务规范的Web GIS研究与实现

目的:利用网络上已建立的空间数据资源和GIS应用,构建自己的Web GIS系统.方法:GML作为数据交换标准和OGC GIS Web服务实现GIS互操作.结果:利用deegree服务器,建立了一个基于WMS和WFS的Web GIS系统.结论:基于GML和GIS Web服务的Web GIS实现了空间数据的无缝集成和GIS功能上的互操作.     

Interactive Web service choice-making based on extended QoS model

INTRODUCTION Web service technologies are immerging as a powerful vehicle for organizations that participate in Web based dynamic collaborations. An organization can publish its business processes as Web services to the Internet for potential customers to discover and use them. Compared with traditional fixed inter-orga- nization collaboration relationship, the Web-based dynamic collaboration brings service providers more customers and more profits, and enables consumers to search in a w…     

基于XML的Web Service技术

为解决Web相关数据处理问题而诞生的新一代置标语言XML,在Web Service体系各服务功能实现中无处不在地发挥着重要的作用。本文从XML技术特点、在Web服务中的作用及Web Service的原理和技术平台体系的实现三个方面阐述了XML在Web Service体系中的基石价值。     

基于BPEL的动态服务组合体系结构的研究

静态服务和动态服务是Web服务的两种组成方式,但是目前主要采用的静态服务的方式有较大的局限性。鉴于此,本文探索性地提出了一种基于BPEL技术的动态服务组合体系架构,分析了该体系结构中的关键问题及解决策略,在具体的实现中采用了Dijkstra算法作为服务匹配组合的策略方法,通过具体的阐述说明了服务组合实现的请求、分解、组合、验证等几个方面的问题。     

供应链管理中的不确定性及信息共享解决方案研究

本文对供应链管理中的不确定性因素进行了详细分析,提出了基于Web Services的供应链设计。它可以实现客户对供应商的查找和发现,并在此基础上实现供应商和客户之间的业务往来,以达到信息共享和减少不确定性的目的。     

基于Web Service的印刷管理系统的设计与实现

在分析现有印刷管理系统的局限性和Web Service的特点后,提出基于Web Service的印刷管理系统体系结构,研究了服务粒度的划分,并给出具体实现模型．     

Web服务组合规范WS-CDL的类型化形式化模型

为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务间的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.特别地提出了类型假设集的外延和类型假设集相容性的概念,并定义了类型假设集的合并算法以消除类型假设冲突.在该模型基础上,还定义了从choreography到orchestration的类型化映射规则,通过这组规则,可以从一个给定的web服务choreography得到orchestration桩代码及其类型假设集,因而web服务组合能在choreography和orchestration层被验证.提出的模型被证明具有类型安全性,并且通过一个案例分析说明了所提出的模型是有助于对web服务组合进行推理和验证的.