基于Pi-演算的Web服务形式化描述模型

摘要

Currently, the formal models for Web service are based on the abstraction of a particular Web service composition specification, and can not take into account both global and local design method. Also all the current models can not describe the dynamic architecture of Web service composition. Beside of a short view of recent research efforts of Web service formal description, this paper presented a Pi-calculus based formal description model for Web service, and gave the mapping of BPEL4WS specification and WS-CDL specification. Used an example to instruct that the mapping above was consistent in the model. The dynamic architecture of Web service composition can be described by the method when it was used to design Web service composition directly.%当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性.在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS和WS-CDL规范的重要行为在模型中作了映射.最后通过例子说明,基于局部和全局的设计方法在提出的模型中的映射是一致的.提出的描述模型直接用来进行Web服务组合的设计时,可以更好地描述动态的体系结构.