基于pi-演算的信任web服务组合建模

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