非正式方法定义的领域特定元建模语言（DSMML）无法严格表示其结构语义，因此无法整体地，系统地验证其属性（如一致性）。 针对这种情况，本文提出了一种基于DSMML形式化的XMML形式验证模型一致性的方法。 首先描述了形式化的方法，然后提出了基于一阶逻辑推理的XMML及其元模型的一致性验证方法，最后，提出了形式化。设计了元模型的自动映射引擎，并进行了相关测试。展示我们正式方法的可行性。