《EDSOA理論基礎研究》是依託北京郵電大學，由章洋擔任項目負責人的面上項目。
基本介紹
- 中文名：EDSOA理論基礎研究
- 項目類別：面上項目
- 項目負責人：章洋
- 依託單位：北京郵電大學
項目摘要,結題摘要,
項目摘要
在未來網路、物聯網等領域，人們將目光重新投向了事件驅動方法學。例如NASPIne、PURSUIT和NDN等項目。然而如何基於事件機制構建面向服務的體系結構，如何生成大規模的事件驅動的服務系統，缺少系統而深入的研究成果。我們從單個事件、服務接口、服務行為、服務屬性、服務系統動態性等五個解耦方面，對大型複雜服務系統給出其分解、精化、重新組合等方面易用且行之有效的形式化理論；提出EDSOA解耦性構建方法，適應於系統的變化性和擴展性；同時，實現服務系統正確性可證明、屬性可推理。為行為失配、屬性失配建立滿足事件獨立性的適配理論。最後研製原型系統。EDSOA理論基礎研究，是在大規模複雜服務系統構建的全新研究領域的理論探索。在實踐方面，智慧城市、智慧型電網等例子套用中會出現大量感知事件流，且都是包含大量基於事件進行服務協作的大規模複雜服務系統，他們迫切需可行與前瞻的理論指導。研究具有重要科學和工程意義
結題摘要
物聯網服務系統包含離散的事件和連續的變數，物理過程和信息過程相互作用，並由於“聯”的需求而導致大規模設備和套用開放式互聯。因此，建立這樣的系統，面臨複雜性、嚴格屬性、擴展性、功能安全和信息安全融合的挑戰。本項目藉助事件驅動的機制，在四個層面解決這些挑戰性難題。在物理系統和感測器進入信息空間的第一道關口，將物理過程和信息過程相互獨立的建模，並通過分散式事件將二者松耦合的連線在一起；連線過程中，採用動作理論全面描述信息過程的物理動作效果，為上層套用提供正確推理的基礎；同時採用分層和模組化的方式駕馭物聯網服務系統建模的複雜性。在服務生成層面，我們使用柔性化方法，逐步建立具有嚴格屬性約束的物聯網服務系統，在建模階段，建立聲明式系統模型，容納後續變化；在部署階段，採用實例細化和事件細化兩種方式，綁定服務、生成物聯網服務屬性；在運行階段，依據服務實例模型，推薦用戶可以線上定義的服務行為，並通過線上驗證機制，確保用戶的修改具有正確的行為屬性。在物聯網服務系統運行層面，我們採用協同邏輯與計算邏輯分離，並將計算邏輯轉化為複雜事件，從而分解一個高層的物聯網套用為多個原子服務和協同邏輯碎片，滿足實時分散式系統需求；並藉助分散式資源池和分散式服務基礎設施，實現系統的擴展性；通過事件驅動機制解決反應式物聯網服務系統分散式運行過程中“Glitch”不一致性的問題。在開放性保障層面，採用運行時監控和虛擬化隔離機制，為物聯網服務系統提供融合功能安全和信息安全的安全保障，首先通過多源觀察解決隔離化帶來的服務運行過程觀察困難的難題，其次融合矛盾的觀察、融合物理模型和信息模型，最後，採用分割式方法提供實時驗證性能。本項目為物聯網服務系統的構建提供了良好的理論基礎，這些成果不僅梳理成自成體系的學術專著發表，而且發表在國際頂級學術期刊上；並通過原型系統的建立，為物聯網系統的構建提供了實際工程指導和借鑑。
