使用对象约束语言(OCL)生成更精确的域模型

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