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