前页 后页

OCL符合性

OCL一致性规则适用于根据对象约束语言（OCL）中的任何定义的约束来验证元素，关系或属性。 OCL用于描述UML模型上的表达式，并表达没有副作用的约束。您可以将OCL约束添加到Enterprise Architect任何元素，关系或属性。

定义OCL约束

您可以通过在对象“属性”对话框中将OCL设置为“约束”类型，来向模型对象添加OCL约束。

对于

详情

也可以看看

一个元素

右键单击元素，然后选择“属性|属性对话框”。单击“约束”页面；在“类型”字段中，单击下拉箭头，然后选择OCL。

要执行OCL验证：

  1. 选择“设计>模型>管理>验证>配置验证规则”，然后选择“元素：（OCL）符合性”复选框。
  2. 单击元素，然后选择“设计>模型>管理>验证>验证当前包”。
任何违反OCL语法的行为都会记录在“系统输出”窗口的“模型验证”选项卡中。 		配置模型验证 模型验证

关系

在图表上，右键单击连接器，然后选择“属性”选项；选择“约束”页面，然后在“类型”字段中单击下拉箭头，然后选择“ OCL”。

要执行OCL验证：

  1. 选择“设计>模型>管理>验证>配置验证规则”，然后选择“关系：（OCL）符合性”复选框
  2. 单击连接器，然后选择“设计>模型>管理>验证>验证当前包”
任何违反OCL语法的行为都会记录在“系统输出”窗口的“模型验证”选项卡中。

属性

右键单击元素，然后选择“属性|约束在“类型”字段中，单击下拉箭头，然后选择“ OCL”。

要执行OCL验证：

  1. 选择“设计>模型>管理>验证>配置验证规则”，然后选择“功能：（OCL）符合性”复选框。
  2. 单击元素，然后选择“设计>模型>管理>验证>验证当前包”。
任何违反OCL语法的行为都会记录在“系统输出”窗口的“模型验证”选项卡中。

违规举报

错误编号

描述

也可以看看

MVR040001

违反OCL：«违反了OCL»

信息：元素的OCL约束使用不正确的语法。

MVR070001

违反OCL：«违反了OCL»

信息：关系的OCL约束使用不正确的语法。

MVR0A0001

违反OCL：«违反了OCL»

信息：属性的OCL约束使用错误的语法。

笔记

  • 要具有有效的OCL约束，必须正确形成语法。如果表达式不正确，则会显示一条消息，指出OCL约束无效

学到更多

前页 后页