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

Pi-calculus Based Model of Trust Web Service Composition

作　　者：云本胜[1,2] 

机构地区：[1]浙江科技学院数学与信息科学系,杭州310023 [2]同济大学CIMS研究中心,上海200092

出　　处：《计算机科学》2012年第S3期240-244,共5页Computer Science

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

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

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

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]