基于一阶逻辑的形式化领域专用元建模语言XMML

特定领域建模已广泛且成功地用于特定领域的软件系统建模。 尽管特定领域的元建模语言（DSMML）由于其非正式的定义而具有普遍的重要性，但它不能严格表示其结构语义，因此其属性（如一致性）无法得到系统地验证。 为此，本文提出了基于一阶逻辑的DSMML结构语义的正式表示形式，即XMML。 首先介绍了XMML，其次，通过基于一阶逻辑的XMML的依恋关系和细化关系的形式化约束以及形式化约束，对XMML本身和基于该模型建立的元模型进行一致性验证的方法来说明我们的方法最后，介绍了用于元模型的形式化自动映射引擎，以展示XMML形式化的应用。