摘要：可组合性是选择和组装仿真组件并以不同的方式组合成为有效的仿真系统来满足用户需求的一种能力。在语法组合的基础上，语义可组合性保证了组合模型的有效性。语义可组合性的形式化理论能够以形式化的方式确定模型组合的基本特征，为实现正确有效的模型组合奠定基础。首先，提出了模型、仿真、可组合性和有效性的形式化定义，并对定义的合理性进行了分析；然后，建立形式化定义与语义之间的联系，研究了基于MDA的元建模方法，并确定了仿真模型中的语义元数据。

关键词：可组合性 语义 形式化理论 有效性 

单位：国防科技大学机电工程与自动化学院 湖南长沙410073