OCL 一致性

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

定义 OCL约束

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

For	Detail	See also
安元素	右键单击元素并选择“属性\|属性对话框。点击“约束”页面；在“类型”字段中单击下拉箭头并选择 OCL。要执行 OCL 验证：选择“设计>包>管理>工具>验证>配置验证规则”并选中“元素：（OCL）一致性”复选框。单击元素并选择“设计>包>管理>工具>验证>验证当前包”。任何 OCL 语法违规都会记录在系统输出窗口的“模型验证”选项卡中。	配置模型验证验证模型
A关系	在图表上，右键单击连接器并选择“属性”选项；选择“约束”页面，在“类型”字段中单击下拉箭头并选择“OCL”。要执行 OCL 验证：选择“设计>包>管理>工具>验证>配置验证规则”并选中“关系：（OCL）一致性”复选框单击连接器并选择“设计>包>管理>工具>验证>验证当前包” 任何 OCL 语法违规都会记录在系统输出窗口的“模型验证”选项卡中。
一个属性	右键单击元素并选择“属性\|约束”；在“类型”字段中，单击下拉箭头并选择“OCL”。要执行 OCL 验证：选择“设计>包>管理>验证>配置验证规则”并选中“特征：（OCL）一致性”复选框。单击元素并选择“设计>包>管理>验证>验证当前包”。任何 OCL 语法违规都会记录在系统输出窗口的“模型验证”选项卡中。

For

Detail

See also

安元素

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

要执行 OCL 验证：

任何 OCL 语法违规都会记录在系统输出窗口的“模型验证”选项卡中。

A关系

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

要执行 OCL 验证：

任何 OCL 语法违规都会记录在系统输出窗口的“模型验证”选项卡中。

一个属性

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

要执行 OCL 验证：

任何 OCL 语法违规都会记录在系统输出窗口的“模型验证”选项卡中。

Error ID	Description	See also
MVR040001	OCL 违反：«违反 OCL» 信息：元素的 OCL 约束使用了错误的语法。
MVR070001	OCL 违反：«违反 OCL» 信息：关系的 OCL 约束使用了不正确的语法。
MVR0A0001	OCL 违反：«违反 OCL» 信息：属性的 OCL 约束使用不正确的语法。

Error ID

Description