摘要: Ice中间件是一个和COBRA同样强大却摒除了COBRA的缺陷的分布式对象平台,它为异构环境下的应用开发提供了一种新的方式。Ice协议定义了客户和服务器通信的规则。本文使用pi演算描述分析Ice协议,从交互过程和协议实体两方面对协议进行了刻画,揭示其并发、分布的对象计算特征。
杨小刚 沈曾伟. Ice协议的形式化分析[J]. 计算机科学, 2006, 33(8): 240-242. https://doi.org/
YANG Xiao-Gang ,SHEN Zeng-Wei (State Key Lab. of Software Development Enviroment, Beihang University, Beijing 100083). [J]. Computer Science, 2006, 33(8): 240-242. https://doi.org/