Ice协议的形式化分析

【文件属性】：

文件名称：Ice协议的形式化分析

文件大小：133KB

文件格式：PDF

更新时间：2014-07-31 10:32:05

Ice 形式化分析

ice中间件是一个和CORBA同样强大却摒除了CORBA的缺陷的分布式对象平台， 它为异构环境下的应用开发提供了一种新的方式。ICE协议定义了客户和服务器通信的规则。本文使用Pi演算描述分析ICE协议， 从交互过程和协议实体两方面对协议进行了刻画， 揭示其并发、 分布的对象计算特征。