GSCoL:OGSA框架下的网格服务组合语言

网格计算领域一个重要进展就是采用WEB服务计算模型作为其基本的体系结构,这就是开放网格服务体系结构(OGSA),它已经逐渐成为一种重要的分布式计算基础实施。对网格服务的使用者和提供者来说,一种全新的以网格服务集成和通过组装已有网格服务来创建新的增值服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中一个重要课题。鉴于此,该文提出了一个OGSA框架下的网格服务组合语言GSCoL,讨论了GSCoL的设计,并介绍了在OGSA参考实现GT3核心的基础上完成的GSCoL的概念验证原型。

一种基于接口匹配的组合Web服务描述语言

从基于WSDL的服务接口描述语言入手,分析了Web服务组合的类型和消息依赖关系。将服务组合分为顺序组合、替换组合、混合式组合三种类型;结合这些类型,将组合服务中的消息依赖定义为消息映射依赖、消息合成依赖和消息分解依赖三种关系。在此基础上,提出了一种轻量级的组合服务描述语言(CWSDL)。

Web服务组合处理系统的研究与实现

单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能.通过分析服务组合的处理机制,基于传统工作流技术,使用IBM的WSFL语言作为服务组合描述语言,设计并实现了一个面向Web服务组合语言的通用的Web服务组合处理系统.这是一个多层结构的系统,它由Web服务平台、服务组合处理引擎、JMX注册管理中心、远程管理控制台以及处理引擎配置工具五部分构成;它为WSFL语言所描述的服务组合流程提供了一个运行引擎,同时提供了一个基于JMX的管理控制台,通过它可以对正在运行的流程实例以及历史数据进行控制和管理.该系统为基于Web服务的应用集成和协作提供了一个统一的运行管理环境.

组合服务安全性检查方法研究

文章针对组合服务安全性检查方法未对服务进行分类处理的问题,将服务分为基本服务和扩展服务,基本服务采用进程元语言建模,借助线性时态逻辑表示基本服务的常规安全标准,通过SPIN模型检查基本服务符合常规安全标准的情况;扩展服务在开放工作流网络建模,借助FIONA模型检查服务、组合服务及其服务交互的安全性。通过智能家居药物管理系统的案例验证方法的正确性和效率性能,实验结果表明组合服务安全性检查方法是正确的和有效的。

Web服务组合技术的研究

Web服务组合旨在实现不同功能web服务的有机合成以形成功能更加强大的大粒度服务，成为当前服务计算领域的研究热点。本篇文章通过Web服务组合的概述，web服务组合语言和Web服务组合的实现方式来认识web服务组合技术。

Typed formal model for WS-CDL specification of web services composition

In order to formally reason and verify web services composition described by web services choreography specification WS-CDL,a typed formal model named typed Abstract WS-CDL（web services choreography description language）for WS-CDL specifications is proposed.In typed Abstract WS-CDL,the syntax of type and session,typing rules and operational semantics are formalized;the collaborations of web services are formally described by sessions;the operational semantics of a session can help to formally reason the execution of the choreography;the typing rules can help to formally check the data type consistency of exchanged information between web services and capture run-time errors due to type mismatches.Particularly,the concepts of type assumption set extension and type assumption set compatibility are proposed,and the merging algorithm of type assumption sets is defined so as to eliminate type assumption conflict.Based on the formal model,typed mapping rules for mapping web services choreography to orchestration is also defined.With the typed mapping rules,orchestration stubs and their type assumption sets can be generated from a given choreography; thus, web services composition can be verified at choreography and orchestration levels,respectively.The model is proved to have properties of type safety,and how the model can help to reason and verify web services composition is illustrated through a case study.