| 前页 | 后页 |
OCL 一致性
OCL 一致性规则用于验证元素、关系或属性是否符合物件约束语言 (OCL) 中定义的任何约束。OCL 用于描述UML模型中的表达式，并表达无副作用的约束。您可以在Enterprise Architect中将 OCL 约束添加到任何元素、关系或属性。
定义 OCL约束
您可以通过在object “属性”对话框中将 OCL 设置为约束类型，向模型object添加 OCL 约束。
为了 |
细节 |
也见 |
|---|---|---|
|
一个元素 |
右键单击元素并选择“属性|属性对话框”。点击“约束”页面；在“类型”字段中，单击下拉箭头并选择 OCL。 要执行 OCL 验证：
|
配置验证模型 验证模型 |
|
A关系 |
在图上，右键单击连接器并选择“属性”选项；选择“约束”页面，在“类型”字段中单击下拉箭头并选择“OCL”。 要执行 OCL 验证：
|
|
|
属性 |
在元素上点击右键，选择“属性|约束”；在“类型”字段中，点击下拉箭头，选择“OCL”。 要执行 OCL 验证：
|
举报违规行为
错误 ID |
描述 |
也见 |
|---|---|---|
|
MVR040001 |
OCL 违规：“违反 OCL” 信息：元素的 OCL 约束使用了不正确的语法。 |
|
|
MVR070001 |
OCL 违规：“违反 OCL” 信息：关系的 OCL 约束使用了不正确的语法。 |
|
|
MVR0A0001 |
OCL 违规：“违反 OCL” 信息：该属性的 OCL 约束使用了不正确的语法。 |
注记
- 要获得有效的 OCL 约束，语法必须正确形成；如果表达式不正确，则会显示一条消息，指出 OCL 约束无效