为了构建更精确的模型，尽可能接近实际的相关业务，我们通常需要添加约束。为了显示怎样构建有用和精确的域模型，本文介绍了如何使用IBM?Rational?SoftwareArchitect以及EMF确认框架，以UML和OCL写成的域模型的确认过程。软件建模在传统上成为产生图表的一个同义词。大多数的模型由一系列的序列和箭头组成。这样的模型所传递的信息，有一种趋势会不完整，不规范，不精确，有时甚至会不稳定。因此，软件建模的一个目标，就是创建一个精确且足够规范的模型。让我们拿系谱树形结构作为一个范例，从图

为了构建更精确的模型，尽可能接近实际的相关业务，我们通常需要添加约束。为了显示怎样构建有用和精确的域模型，本文介绍了如何使用IBM?Rational?SoftwareArchitect以及EMF确认框架，以UML和OCL写成的域模型的确认过程。软件建模在传统上成为产生图表的一个同义词。大多数的模型由一系列的序列和箭头组成。这样的模型所传递的信息，有一种趋势会不完整，不规范，不精确，有时甚至会不稳定。因此，软件建模的一个目标，就是创建一个精确且足够规范的模型。 让我们拿系谱树形结构作为一个范例，从