網路計算環境的程式設計理論及關鍵技術

《網路計算環境的程式設計理論及關鍵技術》是依託中國人民解放軍國防科技大學，由王戟擔任項目負責人的重大研究計畫。

基本介紹

• 中文名：網路計算環境的程式設計理論及關鍵技術
• 項目類別：重大研究計畫
• 項目負責人：王戟
• 依託單位：中國人民解放軍國防科技大學
• 批准號：90612009
• 申請代碼：F0203
• 負責人職稱：研究員
• 研究期限：2006-01-01 至 2008-12-31
• 支持經費：28（萬元）

中文摘要

針對網路計算環境及其軟體生產的特點，包括分布、環境動態、自組織和自適應等，特別是Internet資源所具有的成長性、自治性、異構性等特點，在現有的各種主流的網路計算框架研究的基礎上，結合面向Agent程式設計和面向服務計算，研究適應於網路計算環境套用開發的新型程式設計范型，包括以Caste為中心的網路計算環境的程式元模型和程式模型，面向網路計算環境的程式設計語言、語義和推理系統，新型程式設計語言的