类的状态空间和行为，子类的状态空间和行为，类的不变式和类的前置条件和后置条件。

类状态空间维数：属性的个数。子类的状态空间受限于父类的状态空间。但是可以扩展。

类的行为：子类行为的拓展。一个类的不变式是指一种状态，即在任何时候该类的每一

个对象都满足条件（当这个对象处于平衡状态时）。

（如三角形）类的不变式的继承性。每一个行为都有：前置条件和后置条件。（前置条件：栈非空，后置条件：取出内容。）

类的不变式和操作运算的前置条件和后置条件一起，共同形成了一种称为“契约设计”的设计

方法的框架结构，这种设计方法能够确保一个目标对象的操作对其客户对象提供的一条消息

产生正确的反应，而客户对象提供的消息是符合该操作运算的前置

条件的。本节关于UML建模工具方面的知识介绍到这里，请期待下节介绍。