约束

如果需要定义元素运行和存在的条件和规则，可以通过在元素上设置约束来实现，并结合其职责（内部要求）。典型的约束是前置条件和后置条件，它们指示在元素创建或访问之前必须为真的条件，以及在元素销毁或其操作完成后必须为真的条件。

要为元素创建约束，您可以使用“职责”窗口的“约束”选项卡，或元素“属性”对话框中不同的“约束”选项卡。“职责”窗口可帮助您勾勒出元素的约束，您可以从那里切换到“属性”对话框，为约束添加细节。或者，您也可以直接在“属性”对话框中创建新的约束。

您可以使用元素“Compartment Visibility”函数直接在图表上显示元素的约束；这也会揭示从父元素继承的任何约束。

职责帮助主题中提供了有关使用职责窗口的信息。本约束主题继续讨论元素“属性”对话框的“约束”选项卡。

访问

在图表或浏览器中，选择一个元素并：

功能区

设计>元素>编辑>约束|右键单击约束 >加新或修改所选内容

设计>元素>编辑>属性对话框约束

上下文菜单

右键单击元素|属性|责任>约束|右键单击约束 >加新或修改所选内容

右键单击元素|属性|属性>约束

键盘快捷键

Ctrl+4 >职责窗口的约束卡

Shift+Enter >约束（“属性”对话框）

Shift+Alt+C（“属性”对话框）

Alt+9 >约束：Shift+Enter

选项	描述	也见
约束（领域）	类型约束的名称或值。
类型	单击下拉箭头并选择适当的类型（前提条件、后置条件、进程、OCL 或不变量）。
状态	点击下拉箭头，选择适当的状态。
注记	类型任何有关约束条件的附加详细信息或注释。您可以使用字段顶部的注记工具栏来设置注记文本的格式。	注记工具栏
新的	单击此按钮可清除准备创建新约束的字段。
节省	单击此按钮可保存约束数据。
约束（面板）	此字段按名称列出元素中定义的约束。
删除	点击“约束”列表中的一个约束，然后点击此按钮，即可立即从元素中删除该约束。
（上下手）	（如果元素中有两个或多个约束。）单击“约束”列表中的某个约束，然后单击其中一个按钮，可将约束在列表中向上或向下移动一个位置。