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

更多科學(xué)出版社服務(wù)，請(qǐng)掃碼獲取。