论文部分内容阅读
计算网格是第三代因特网和高性能并行计算的研究热点,并提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受.但是目前网格系统尚无一个清楚的定义,本文基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型.希望能给认识、研究、推广网格计算扫除一些障碍.