“工业4.0”提出的智能化、网络化的新型工业模式正影响着世界范围内的工业体系。本文结合当前主流的异构协同计算模式思维,创新地在从系统中物理资源约束关系角度,研究如何生成具备协同式异构计算能力的群体模型。在对多机、多模块的协同式异构智能体控制系统中,设备物理资源的调度约束关系是影响异构式系统的控制能力的关键因素。这是影响和制约复杂模型分解的关键因素。因此,本文以复杂模型为研究对象,基于程序切片技术对模型进行分解,从而生成相对应的群体模型,然后进一步分析系统依赖图来研究群体子模型之间的协同关系,最终完成面向工控领域的群体协同模型生成技术研究。本文的主要工作概括如下:1、设计了一种以触发事件为驱动、可以描述异构式系统资源的建模语言IMCL。该语言能够将所有存在差异性的物理资源置于统一的工控系统抽象模型中,在实现平台无关性的基础上通过研究系统的控制逻辑,将复杂工业控制系统描述成语言形式的复杂模型。2、本文从控制器与物理资源形成的约束关系进行研究,提出了一种能够自动化地将一个复杂模型分解成多个子模型的分解方法。该方法能够在给定的资源约束前提下,把复杂系统中的所有物理设备资源,按照约束关系智能化地分解到对应的多个模型中,从而形成一个群体模型。3、为了保证分解后的群体子模型能够相互协同,在分解后的群体模型基础上,本文从系统依赖图角度分析了模型之间的控制依赖和数据依赖关系。通过完善子模型之间通信同步,保证了子模型之间能够进行数据和控制信息上是相互协同的,使得群体模型内部子模型之间能够协同工作,确保了群体模型和原始复杂模型是功能等价的。本文通过对复杂工控系统的统一化建模,并在此基础上依赖于系统依赖图基础上,分析复杂模型内部的制约关系与系统特性,最终完成群体模型生成技术研究。本文提出的这种新型轻便的模型驱动开发思想,不仅能够提高工控系统开发过程的可靠性与安全性,更能为开发设计人员提供新的开发方法,精化复杂系统的设计过程,提高开发质量和效率。