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