服务形式化验证

其介绍的主要内容为1、Web服务验证的问题定义2、Web服务验证研究现状3、Pi演算介绍4、基于pi演算介绍5、基于Pi演算的Web服务兼容性验证6、基于Pi演算Web服务等价性验证7、类型理论介绍8、基于类型论的Web服务可替换性验证。