《格線程式層次模型及其理論》是依託同濟大學，由蔣昌俊擔任項目負責人的面上項目。
基本介紹
- 中文名：格線程式層次模型及其理論
- 項目類別：面上項目
- 項目負責人：蔣昌俊
- 依託單位：同濟大學
- 批准號：60473094
- 申請代碼：F0207
- 負責人職稱：教授
- 研究期限：2005-01-01 至 2007-12-31
- 支持經費：24（萬元）
中文摘要
格線是計算機領域中的前沿研究課題，取得了諸多的研究成果，但這些成果大多集中在體系結構、實現技術和套用層面，而對其基礎理論方面的研究成果尚不多見。格線程式語言理論是其基礎研究的一個重要方面。本項目的提出，是在深入探討格線計算環境下程式模型特點的基礎上，提出一種基於PN機的格線程式層次模型，包括面向上層套用的格線程式語言模型GHPN（格線高級PN機）、面向GHPN的格線程式驗證與測試模型GPN（格線PN機）、面向格線環境的格線機器語言模型GXML（擴展XML）。研究GHPN的語義理論、GPN的驗證理論和測試方法、GXML的編譯理論與技術，以及各層模型之間的映射算法與實現技術。最終，建立一套面向格線計算環境的程式語言模型、程式驗證與測試模型、機器語言模型的理論和方法，研製相應的格線編程環境的原型系統。從而為格線環境下的程式語言理論提供支持，推進格線基礎研究。
