基于Pi-演算的信任Web服务组合建模

摘要：

为了提高Web服务组合的可信性,利用Pi-演算刻画信任Web服务组合的结构及信任实体间的交互.首先,给出信任Web服务组合的抽象定义；然后,建立信任实体与Pi-演算的对应关系.借助Pi-演算的支持工具MWB对信任Web服务组合系统进行分析和推演,旨在Web服务组合信任认证实施之前发现并改正错误,以有效满足用户在信任方面的服务质量需求.

关键词：Pi-演算、信任Web服务组合、模型

所属期刊栏目：39

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

资助基金：国家自然科学专项基金11147114;浙江省科技计划项目2011C33012

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

页数：共5页

页码：240-244