1. 在Service中单击SO跳转到SO的约束 2. 在概念类图中指定某个属性为key，自动生成Unique不变量 3. 两个变量进行比较时，两个变量需要是可比较的类型（integer或real） 4. Var.oclIsUndefined var必须是一个对象 5. 删除对象时需要移除链接 6. 后置条件冗余 对象属性值不变时不需要后置条件检查
