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

摘要：

当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性.在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS和WS-CDL规范的重要行为在模型中作了映射.最后通过例子说明,基于局部和全局的设计方法在提出的模型中的映射是一致的.提出的描述模型直接用来进行Web服务组合的设计时,可以更好地描述动态的体系结构.

关键词：Web服务、Web服务组合、形式化描述模型、Pi-演算

所属期刊栏目：28

分类号：TP301(计算技术、计算机技术)

资助基金：天津市科技支撑计划重点资助项目08ZCKFGX00700;应用基础及前沿技术研究计划资助项目08JCZDJC19800

在线出版日期：2011-09-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：2168-2173