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

• 作者: 云本胜
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: Pi-演算 信任Web服务组合 模型
• 年，卷（期）: 2012,（z3）
• 所属期刊栏目: 形式化与网络应用
• 页码范围: 240-244
• 页数: 5页
• 分类号: TP311
• 字数: 4268字
• 语种: 中文

摘要

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