%0 Journal Article
%T 基于pi-演算的信任web服务组合建模
%A 云本胜？
%J 计算机科学
%D 2012
%X 为了提高web服务组合的可信性，利用pi一演算刻画信任wcb服务组合的结构及信任实体间的交互。首先，给出信任web服务组合的抽象定义;然后，建立信任实体与pi-演算的对应关系。借助pi一演算的支持工具mwi3对信任web服务组合系统进行分析和推演，旨在web服务组合信任认证实施之前发现并改正错误，以有效满足用户在信任方面的服务质量需求。
%K pi-演算
%K 信任web服务组合
%K 模型
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=1201166&flag=1