摘要
为了提高Web服务组合的可信性,利用Pi-演算刻画信任Web服务组合的结构及信任实体间的交互。首先,给出信任Web服务组合的抽象定义;然后,建立信任实体与Pi-演算的对应关系。借助Pi-演算的支持工具MWB对信任Web服务组合系统进行分析和推演,旨在Web服务组合信任认证实施之前发现并改正错误,以有效满足用户在信任方面的服务质量需求。
为了提高Web服务组合的可信性,利用Pi-演算刻画信任Web服务组合的结构及信任实体间的交互。首先,给出信任Web服务组合的抽象定义;然后,建立信任实体与Pi-演算的对应关系。借助Pi-演算的支持工具MWB对信任Web服务组合系统进行分析和推演,旨在Web服务组合信任认证实施之前发现并改正错误,以有效满足用户在信任方面的服务质量需求。
出处
《计算机科学》
CSCD
北大核心
2012年第S3期240-244,共5页
Computer Science
基金
国家自然科学专项基金(11147114)
浙江省科技计划项目(2011C33012)资助