《新型網路下可信服務協同的建模與驗證技術研究》是依託北京航空航天大學，由趙永望擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：新型網路下可信服務協同的建模與驗證技術研究
- 依託單位：北京航空航天大學
- 項目負責人：趙永望
- 項目類別：青年科學基金項目
項目摘要,結題摘要,
項目摘要
隨著感測器、移動設備、電子控制設備的成熟和廣泛套用，Internet與這些物理設備通過互聯將形成新型網路，如物聯網、CPS等。面向新型網路的軟體系統需解決自主適應、線上演化、可信保障等方面的技術挑戰。針對新型網路環境的高動態性、網路化軟體的高靈活性和高複雜性、構成服務的自治性等特徵及安全攸關的高可信要求，以面向新型網路為1個重點目標，從服務協同系統的結構和行為2個層次，開展系統建模、驗證和模型轉換3個方面的基礎理論和關鍵技術研究，具體包括：協同結構的可信約束與滿足性判定方法，支持演化的協同行為描述語言及驗證方法，面向自主適應的模型轉換方法。最終形成支持可信演化的服務協同框架體系，為新型網路下面向服務軟體系統的設計和分析提供可用的關鍵技術。
結題摘要
圍繞支持自主適應、線上演化和可信保障的面向服務軟體建模與驗證的基礎理論與關鍵技術為核心，本課題從服務協同的結構和行為兩個層面開展研究，基本解決了新型網路下面向服務軟體系統的設計和分析技術問題，形成了支持自主適應、線上演化和可信保障的面向服務軟體建模與驗證的關鍵技術，取得了創新性研究成果，並達到了項目預期的研究目標。取得的主要成果包括：（1）在協同結構層面上，研究了服務協同結構的基本模型，為未來新型網路環境中服務系統的結構設計和自治管理提供了一種系統架構層面的形式模型；研究了服務協同結構可信約束的分解與滿足性判定技術，為自治式複雜服務系統的運行提供了結構約束和運行機制，並保證系統相關質量屬性；（2）在協同行為層面上，研究了支持演化的協同行為規約與驗證方法，提出了模式擴展的線性時序邏輯，解決了複雜服務系統的動態演化中服務協同行為規約和關鍵性質難以刻畫的問題，並提出了形式驗證的算法；研究了協同服務的可信執行與安全機制，為服務可信執行的運行平台中服務協定處理正確性提供了一種驗證方法，為服務可信執行中多安全協定的靈活集成提供了一種策略框架。（3）在可信服務協同機制方面，研究了基於 QoS 的服務協同動態重構方法，為新型網路環境下大規模組合服務動態重構提供了高效的實現機制；研究了面向數據的輕量級協同服務封裝技術，為新型網路環境下大規模、異構數據的共享及封裝服務的高效協同提供了一種輕量級的實現技術；研究了基於 QoS的分布啟發式服務選擇方法，為新型網路環境下保證QoS的動態服務協同提供了一種服務搜尋方法。相關研究成果發表在International Journal of Web and Grid Services、Computing、Earth Science Informatics、Computer Methods and Programs in Biomedicine等期刊以及SCC、APSCC、ICEBE等國際會議上，共發表高質量論文15篇，其中SCI檢索6篇。申請國家發明專利3項，國際發明專利1項。培養博士生6名，碩士生1名。
