面向網構軟體的環境顯式化與處理技術研究

《面向網構軟體的環境顯式化與處理技術研究》是依託南京大學，由黃宇擔任項目負責人的青年科學基金項目。

基本介紹

• 中文名：面向網構軟體的環境顯式化與處理技術研究
• 項目類別：青年科學基金項目
• 項目負責人：黃宇
• 依託單位：南京大學

項目摘要

為支持面向開放環境的網構軟體系統構建，本項目考察開放環境的本質特性以及開放環境下網構軟體系統的典型特徵，建立開放環境顯式化與處理概念模型；而後著重研究開放環境分析建模技術、環境信息存儲查詢技術、環境上下文一致性維護技術、環境上下文套用性解釋與服務等支撐技術；並在此基礎上研究面向網構軟體的環境顯式化與處理支撐平台，為面向開放環境的網構軟體系統提供開發和運行支持。. 本項研究旨在為網構軟體這一新型軟體方法與技術體系提供較為系統化的關鍵技術支撐，為軟體產業的發展提供創新技術支持。

結題摘要

隨著網路互聯技術的發展，軟體運行的環境逐漸由封閉變得開放。為此我們需要將對環境的感知和應變從套用邏輯中儘可能地分離出來予以顯式地處理。本項目在深入分析開放環境分布異步特性的基礎上，著重研究如何感知分布異步環境的狀態及其變化，主要工作進展有：1、引入快取機制改進環境數據分發的效率，並提出一種靈活的快取一致性模型讓套用能夠在數據分發效率與數據一致性之間做出高效的權衡；2、引入偏序集與格理論和邏輯時鐘機制以建模異步環境的全局狀態及其變化；3、從瞬時環境特性感知和動態環境特性感知兩個方面討論環境特性的規約與檢測；4、以移動普適計算場景為例，研究上述環境顯式化建模與處理技術在上下文感知計算場景中的實用。上述工作為後續系統深入地進行環境顯式化建模與處理方面的研究打下基礎。