网格程序层次模型及其理论

网格是计算机领域中的前沿研究课题，取得了诸多的研究成果，但这些成果大多集中在体系结构、实现技术和应用层面，而对其基础理论方面的研究成果尚不多见。网格程序语言理论是其基础研究的一个重要方面。本项目的提出，是在深入探讨网格计算环境下程序模型特点的基础上，提出一种基于PN机的网格程序层次模型，包括面向上层应用的网格程序语言模型GHPN（网格高级PN机）、面向GHPN的网格程序验证与测试模型GPN（网格PN机）、面向网格环境的网格机器语言模型GXML（扩展XML）。研究GHPN的语义理论、GPN的验证理论和测试方法、GXML的编译理论与技术，以及各层模型之间的映射算法与实现技术。最终，建立一套面向网格计算环境的程序语言模型、程序验证与测试模型、机器语言模型的理论和方法，研制相应的网格编程环境的原型系统。从而为网格环境下的程序语言理论提供支持，推进网格基础研究。