信息物理融合系統(tǒng)作為一種新型復雜信息系統(tǒng)，涉及多種計算模型的集成和協(xié)同工作，面臨設(shè)計方法不統(tǒng)一、計算模型多樣化、重用性差、復雜性高、難以驗證等問題，使得開發(fā)較復雜系統(tǒng)的工作變得十分困難，甚至無法進行；或因為系統(tǒng)需求的不斷變化或小組成員的流動導致項目失敗，其協(xié)同設(shè)計是一個亟待解決的難題。針對異構(gòu)環(huán)境下信息物理融合系統(tǒng)的協(xié)同設(shè)計，本書提出了一種結(jié)構(gòu)化、可描述行為的開放性普適組件模型，用統(tǒng)一方法進行建模，引入可擴展描述方法，對各類組件用統(tǒng)一語法進行系統(tǒng)描述，并提出了多級開放組件模型的協(xié)同驗證方法，確保模型真實地反映設(shè)計者的建模意圖，盡早檢測出可能會導致建模失敗的設(shè)計錯誤。

更多科學出版社服務，請掃碼獲取。