SMP是欧航局(ESA)基于模型驱动架构(MDA)的思想提出的仿真模型规范,致力于实现仿真模型的可移植性和可重用性。模型设计对仿真应用开发起到关键作用,而实现模型约束能够增强模型的准确性和语义完整性。本文针对SMP元模型对静态语义的定义并不完善,且基于SMP开发的模型需要实现模型约束的问题,提出基于Eclipse建模框架(EMF)和对象约束语言(OCL)的SMP约束建模方法。包括SMP元模型和模型约束的定义,支持元模型约束验证的RCP应用开发,支持模型约束定义的方法与工具,基于Free Marker的模型约束代码生成等。主要体现在以下几个方面:(1)分析了SMP元模型待实现的静态语义约束,运用OCL实现SMP元模型静态语义的形式化定义。(2)基于Eclipse平台,运用EMF等插件实现EMF Ecore元模型的创建,并运用Complete OCL实现SMP元模型的约束建模,同时开发了工具OCLModeling用于OCL约束的扩展。(3)基于EMF代码生成机制开发RCP应用用于SMP模型开发,并实现其元模型静态语义约束的验证。同时,通过增加Constraint元素扩展了SMP元模型,实现基于SMP标准的SMP模型约束的定义。(4)基于RCP应用进行了一个攻防仿真系统模型及相关的模型约束的设计,并基于Free Marker模板引擎和模板文件实现模型及模型约束代码的生成。