| 前页 | 后页 |
OCL符合性
OCL一致性规则适用于根据对象约束语言（OCL）中的任何定义的约束来验证元素，关系或属性。 OCL用于描述UML模型上的表达式，并表达没有副作用的约束。您可以将OCL约束添加到Enterprise Architect任何元素，关系或属性。
定义OCL约束
您可以通过在对象“属性”对话框中将OCL设置为“约束”类型，来向模型对象添加OCL约束。
对于 |
详情 |
也可以看看 |
|---|---|---|
|
一个元素 |
右键单击元素，然后选择“属性|属性对话框”。单击“约束”页面；在“类型”字段中，单击下拉箭头，然后选择OCL。 要执行OCL验证：
|
配置模型验证 模型验证 |
|
关系 |
在图表上，右键单击连接器，然后选择“属性”选项；选择“约束”页面，然后在“类型”字段中单击下拉箭头，然后选择“ OCL”。 要执行OCL验证：
|
|
|
属性 |
右键单击元素，然后选择“属性|约束在“类型”字段中，单击下拉箭头，然后选择“ OCL”。 要执行OCL验证：
|
违规举报
错误编号 |
描述 |
也可以看看 |
|---|---|---|
|
MVR040001 |
违反OCL：«违反了OCL» 信息：元素的OCL约束使用不正确的语法。 |
|
|
MVR070001 |
违反OCL：«违反了OCL» 信息：关系的OCL约束使用不正确的语法。 |
|
|
MVR0A0001 |
违反OCL：«违反了OCL» 信息：属性的OCL约束使用错误的语法。 |
笔记
- 要具有有效的OCL约束，必须正确形成语法。如果表达式不正确，则会显示一条消息，指出OCL约束无效