操作约束

约束定义了一项操作的契约行为，即在调用之前必须为真（先决条件）以及在调用之后必须为真（后条件）。在这方面，它们与一类的州模型有关，也可以与适用于过渡的警卫条件有关。您可以定义操作的前提条件和前提条件。

访问

在显示“属性”对话框之前，在图表或浏览器窗口中单击所需的操作。

键盘快捷键

（从图中）输入> Pre或Post

（从浏览器窗口中）输入|。属性>前置或后置

“属性”窗口的“前”和“后”选项卡上的字段和选项相同。单击适当的选项卡以定义操作行为之前和之后的条件。

选项	行动	也可以看看
前提：条件后：	输入条件的名称或效果。
类型	单击下拉箭头，然后单击适当的条件类型。
<笔记>	输入条件所需的任何进一步的说明或描述。
新	单击此按钮以清除字段以定义其他条件。
保存	单击此按钮保存新的或更新的条件，并将更改添加到“先决条件”或“先决条件”列表中。此按钮还清除数据字段，以便您可以创建其他条件。
前提条件后	列出为此操作定义的前置条件或后置条件。单击此列表中的项目，以使用详细信息重新填充对话框字段，以编辑或删除条件。
删除	单击“先决条件”或“后继条件”列表中的项目，然后单击此按钮以从操作中删除该条件。