7.5.1 Properties: Attributes

举个例子，Person的age可以写为 self.age:

context Person inv:
    self.age > 0

子表达式self.age的值是由self所指定的Person实例的age属性的值。该子表达式的类型是属性age的类型，标准的整型。

我们可以使用基本值类型上定义的所有属性和操作来表达类模型上的计算。举个例子，一条业务规则可能是“Person的年龄总是大于0”。这就可以用上述的不变式来声明。

在UML模型中attributes有multiplicities。当attribute的multiplicity大于1时，结果类型是一个值的集合。集合在后面介绍。