第1章 引言 1. 数据是描述现实世界事物的符号记录，是用物理符号记录下来的可以识别的信息。 数据是信息的符号表示，是载体；信息是数据的语义解释，是内涵。 2. 数据模型是对现实世界数据特征的抽象，是数据库系统的形式框架，用来描述数据的一组概念和定义，包括描述数据、数据联系、数据操作、数据语义以及数据一致性的概念工具。 满足三条件：比较真实地模拟现实世界；易于人们理解；易于计算机实现 三个组成要素：数据结构（静态，数据对象本身结构及之间的联系）、数据操作（对数据对象操作及操作规则的集合）和完整

大多数领域特定的元建模语言（DSMML）都使用非正式的方法来定义其语义，因此很难精确，自动地分析基于DSMML构建的元模型的特征。 作为回应，本文基于我们开发的DSMML的形式化XMML，提出了一种通过自动映射机制自动将元模型转换为相应的一阶逻辑系统的方法来自动验证元模型的一致性。 首先，简要介绍了XMML及其元模型的形式化方法，然后，建立了对元模型形式化的自动映射机制，最后，开发了对元模型形式化的自动映射工具，并进行了相关实验以验证我们的方法。

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