基于Petri网的WSCI形式化模型分析

WSCI是一种Web服务组合标记语言,对于一些关键的业务流程,任何设计错误都会造成重大损失,因此有必要为WSCI语言建立形式化模型并给予分析,从而保证正确的业务流程部署。本文主要给出了WSCI的分析方法,基于文献[1]给出了形式化模型,提出了该形式化模型下的一种网融合方法。该方法将表示进程的网模型与其表示例外处理和子流程的网模型进行合并,形成统一的网模型。本文最后还给出了在该网模型下的可达图分析方法,从而达到分析带有例外处理的WSCI形式化模型的目的。

Web服务合成的相容性与替换性分析

形式化的分析有助于Web服务的合成.已有的合成分析方法,验证的重点是Web服务合成时形成的全局交互流程是否与预先定义的模型相匹配,忽略了合成时各个Web服务之间的行为是否相容.通过自动机对基于WSCI规范描述的Web服务进行形式化描述.在此基础上,提出了一个Client/Server模型,定义了Web服务合成的相容性概念,并提供相应的算法进行验证,保证了Web服务合成的正确性.在相容性分析的基础上,考虑到Web服务动态性的特点,定义了Web服务的替换性概念,并给出了保证替换服务正确性的定理.

Web服务组合标准规范的研究

简要介绍Web服务组合,分析几种Web服务组合标准规范,包括BPML、WSCI、WS-CDL和WS-BPEL,着重分析WS-BPEL服务组合规范。最后指出Web服务组合技术在数字图书馆中具有应用价值。

数字图书馆服务动态定制中的组合工具

在简要介绍基于 Web服务组合的服务动态定制机制后 ,着重分析介绍了包括 BPML、BPSS、WS-CI、BPEL 4 WS等在内的 Web服务组合工具。