用非正式的方式定义的特定领域建模语言(DSML)无法精确地表示其结构语义,因此无法系统地分析和验证模型的属性(例如一致性)。 作为回应,本文提出了一种自动推理DSML一致性的方法。 首先,我们建立基于一阶逻辑的DSML正式框架; 然后,定义了用于形式化DSML的自动映射机制。 在此基础上,我们提出了基于一阶逻辑推理的DSML及其模型一致性验证方法。 最后,设计了用于形式化DSML及其模型的自动映射引擎,以证明我们形式化方法的可行性。