近年来地区性、全球性传染病爆发情况呈越发严重的趋势,而随着社会的发展,疾病传播逐渐向复杂化、网络化、社会化方向发展,公共卫生部门在进行疾病防控干预措施决策时面临很大困难,迫切需要建立一套可定制、可计算、可扩展的―情景—应对‖型动态仿真系统。而作为一种自底向上研究复杂系统的方法,人工社会已经成为研究人类社会复杂性和复杂现象的重要方法,在传染病传播研究中也有很好的应用前景。人工社会涉及多个领域,对其建模要考虑到多领域性的特征。因此,需要研究支持人工社会多个领域建模和模型互操作的理论方法及技术。基于元建模技术及模型变换技术的领域特定建模可为这一问题提供良好的解决方案。本文在―非常规突发事件模拟仿真与计算实验集成升华平台‖研究的背景下,提出了一种面向疾病传播的人工社会元建模方法,并将通用建模环境(GME)作为领域特定建模(DSM)工具构造了公共卫生事件用例。主要研究内容如下:1)基于元建模方法,构造了面向疾病传播研究的人工社会领域建模语言。本文深入研究了模型驱动架构(MDA)、元建模、领域建模语言(DML)、模型变换等基本概念,辨析了这些概念之间的内在联系和区别;分析了面向疾病传播的人工社会建模特点及困难,针对性地设计了基于元建模方法的人工社会领域建模语言,该语言采用元模型、扩展对象约束语言(OCL)对抽象语法进行建模,采用图形化的方式对具体语法进行建模。2)基于模型变换方法实现了人工社会领域建模语言的语义建模,提出了两类共三种模型变换方法。本文设计并实现了人工社会领域模型到典型建模范式有限状态机的模型变换,以及有限状态机到代码的变换。此外,还结合工程实践,提出了领域模型直接向代码变换的方法。这两类共三种模型变换有效的完成了领域建模语言的语义建模,保证了系统开发的高效性、模型的易维护性和代码的一致性。3)构建了常见的疾病干预防控措施模型并进行了计算实验。构建面向疾病传播研究的人工社会的目的是为疾病防控提供决策支持,本文通过对常见的几种疾病防控措施建模并仿真,评估了投放疫苗、隔离患者、定向隔离密切接触者、关闭公共场所等措施的实际效果。相对于传统方法给出的定性结果,计算实验方法提供了更为详细的定量结果,解决了以往疾病防控措施效果无法量化评估,参数凭经验制定等问题。论文的研究一方面成功地将元建模方法应用于面向疾病传播研究的人工社会建模过程,为定量地检验传染病防控措施的效果及参数的灵敏性提供了技术支撑,同时也丰富了仿真学科的基本建模理论方法。另一方面构造了基于元建模方法的人工社会领域建模语言,极大提升了人工社会系统的拓展性、可重用性、互操作性以及集成能力。