第12章約束.docVIP

约束 到目前为止，本书中介绍的许多表示法都是图形的。这些图标表示了许多概念，同时通过按一定方式连接这些图标，还表达了许多系统特性。例如，连接两个矩形的线表示了两个类之间的关联，并说明了这些类的实例如何互相链接。图中的文字用来命名和标注模型元素，添加特定的注文，例如,重数或监护条件。 图形表示法适合于展示系统的结构方面，但对于描述模型元素的细节特性，或者由相关业务规则对这些模型元素所附加的限制方面，并不是很有效。这些附加特性可以用约束的形式添加到模型中。一个约束是关于一个或多个模型元素的断言，它指明了该系统处于合法状态时，系统必须满足的特性。 例如，假定一个银行开设了一种具有优惠利率的新型储蓄账户，但要求该账户的余额必须保持在0到250,000镑范围内。如果存款（deposit）或取款（withdraw）导致余额(balance)超出此范围则会被拒绝。图12.1表示了这种储蓄账户类（Saving Acount），在注解内非形式写出的是对它的约束。 图12.1 受约束的储蓄账户 UML中非形式写出的约束应当用花括号‘{ }’括起来，放在所描述的模型元素的内部或紧靠所描述的元素的地方。也可以放在注解的图标内，并用虚线连接到所描述的模型元素。 约束指明的特性可以是真或假。例如，给定图12.1中储蓄账户类的任一实例，约束的真假值将取决于该实例的余额值是否在所述余额范围内