信息物理融合系统作为一种新型复杂信息系统，涉及多种计算模型的集成和协同工作，面临设计方法不统一、计算模型多样化、重用性差、复杂性高、难以验证等问题，使得开发较复杂系统的工作变得十分困难，甚至无法进行；或因为系统需求的不断变化或小组成员的流动导致项目失败，其协同设计是一个亟待解决的难题。针对异构环境下信息物理融合系统的协同设计，本书提出了一种结构化、可描述行为的开放性普适组件模型，用统一方法进行建模，引入可扩展描述方法，对各类组件用统一语法进行系统描述，并提出了多级开放组件模型的协同验证方法，确保模型真实地反映设计者的建模意图，尽早检测出可能会导致建模失败的设计错误。

更多科学出版社服务，请扫码获取。

ftp://124.17.26.93/curved-toc/9787030669902-curvedToc.pdf