为了改进传统网格的可扩展性和动态性,提出了一种集成P2P模式的网格资源管理模型,该模型融合了网格计算和对等计算的优点。基于该模型,文中分析了一种集成P2P模式的网格体系结构,并利用Pi-演算可用于对并发和动态变化的系统进行建模的特性,对该体系结构进行描述和建模,分析了有关性能,验证了模型的有效性。结果表明,基于Pi-演算的集成P2P模式的网格形式化系统能够有效地满足网格节点的服务需求。
To improve the scalability and the dynamics of grid, a grid resource management model inte- grated P2P mode was proposed, which was merged the advantage of grid and P2P. Based on the model, a new grid service architecture integrated P2P mode was described. What's more, the architecture model was described based on Pi-Calculus which, can be used to model concurrent and dynamic systems. Then, the related performances are analyzed and the validity of the model is verified. The results showed that the grid formal system integrated P2P mode using Pi-Calculus can effectively meet the service demand of grid nodes.