建模的目的是为了开发出性能良好的系统。选取合适的工具，创建良好的模型是非常有必要的。这些工具包括很多，其中包括UML。

         元模型是对模型的一种描述。建模语言描述模型，因此它可以用元模型描述。元模型试图通过定义语义使语言精准，但是为了适应新的情况，它必须适应扩展。元模型的实际形式对于用工具建模和模型的互换很重要，但多数用户并不关心它。元模型和语言必须能够覆盖很多的背景信息，并具有很强 的解释能力。但是在实际的系统当中，总是存在一些语义的分歧点，于是把这些分歧点称为语义变更点。这些变更点是随语义执行产生的不同点，与系统其它方面无关。同时，需要元模型可以支持不完整的建模，因此UML也有类似的要求。同时一些扩展或者裁制只有在有必要的时候才会使用，以避免不必要的风险。

        表示法是帮助用户理解模型的含义。例如UML的表示法标准就是一种表示法，通过使用这种表示法，人们可以了解建模图纸的含义。

        UML作为一种建模语言，它应该满足生成良好的设计，并能够根据设计生成对应编程语言的代码。但是在实际情况中，使用UML搭建的模型中有我们不需要的UML含义，这就需要我们进行手动输入一些信息，甚至对生成的代码进行相应的调整。所以说现在还没有非常成熟的无缝的代码生成机制，仍需要进一步的发展和推动。

        工具处理模型的物理组织和存储。它必须支持一个项目的若干工作同时工作，以及支持跨越多个项目的重用。下面是几个使用工具时要考虑的问题：

        二义性和不能详尽说明的信息。在初期的时候，有许多信息不能够明确的描述，这个时候工具不许能够支持这种情况。

        这种情况在开发中可能会遇到，因为由于条件的添加，省略等等操作，会让模型看起来变得不一致，有时还会变得矛盾。但是我们应该把这些看做通往最终完美设计的一些探索与尝试。

       空值和未详细说明的值在建模过程中是会出现的，因此选择的工具应该可以支持它们。

NOTE：这一篇只当做了解，没有必要花很多精力去钻研。