《基於類型論的網構構件模型及其行為互動研究》是依託浙江大學，由李瑩擔任項目負責人的面上項目。
基本介紹
- 中文名：基於類型論的網構構件模型及其行為互動研究
- 依託單位：浙江大學
- 項目負責人：李瑩
- 項目類別：面上項目
- 批准號：60873045
- 申請代碼：F0203
- 負責人職稱：副教授
- 研究期限：2009-01-01 至 2011-12-31
- 支持經費：28（萬元）
項目摘要
隨著Internet的日益普及，軟體系統呈現出柔性可演化、連續反應式、多目標適應的特點。課題擬分析構件行為在網構軟體開發中的重要地位，並針對目前構件模型的不足，結合網構環境的特點，對當前構件模型進行有益的擴展，特別是要增強構件模型對構件互動行為的描述能力，使構件可以成為組成網構軟體的軟體實體，同時借鑑行為類型在行為描述與驗證方面的優勢，擴展傳統的Martin_L?f's類型論，使其可以作為研究全局環境下的網構構件互動行為的理論，並提出基於擴展Martin_L?f's類型論的面向網構軟體的構件模型和語言，實現網構構件互動行為的形式化描述。在此基礎上，研究全局環境下網構構件及其互動行為的兼容性和等價性理論，提出互動行為的驗證方法，以支持網構構件的選擇、匹配、組裝、替換和演化等網構軟體開發的關鍵技術。課題的實施對軟體新構件技術發展有重大理論意義和現實價值。
