| 基于Pi-演算的集成P2P模式的网格形式化建模 |
| |
| 引用本文： | 熊曾刚,杨扬,曾明,陈福.基于Pi-演算的集成P2P模式的网格形式化建模[J].北京交通大学学报(自然科学版),2008,32(6). |
| |
| 作者姓名： | 熊曾刚 杨扬 曾明 陈福 |
| |
| 作者单位： | 北京科技大学,信息工程学院,北京,100083;湖北孝感学院,计算机系,湖北,孝感,432000;北京科技大学,信息工程学院,北京,100083 |
| |
| 基金项目： | 国家自然科学基金
，
国家高技术研究发展计划(863计划)
|
| |
| 摘 要： | 为了改进传统网格的可扩展性和动态性,提出了一种集成P2P模式的网格资源管理模型,该模型融合了网格计算和对等计算的优点.基于该模型,文中分析了一种集成P2P模式的网格体系结构,并利用Pi-演算可用于对并发和动态变化的系统进行建模的特性,对该体系结构进行描述和建模,分析了有关性能,验证了模型的有效性.结果表明,基于Pi-演算的集成P2P模式的网格形式化系统能够有效地满足网格节点的服务需求.
|
| 关 键 词： | 网格计算 对等计算 Pi-演算 模型 |
Formal Modeling of Grid Integrated P2P Mode Using Pi-Calculus |
| |
| XIONG Zenggang,YANG Yang,ZENG Ming,CHEN Fu.Formal Modeling of Grid Integrated P2P Mode Using Pi-Calculus[J].JOURNAL OF BEIJING JIAOTONG UNIVERSITY,2008,32(6). |
| |
| Authors: | XIONG Zenggang YANG Yang ZENG Ming CHEN Fu |
| |
| Abstract: | |
| |
| Keywords: | grid computing Peer-to-Peer computing Pi-Calculus model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
