前页 | 后页 |
操作约束
约束定义了一项操作的契约行为,即在调用之前必须为真(先决条件)以及在调用之后必须为真(后条件)。在这方面,它们与一类的州模型有关,也可以与适用于过渡的警卫条件有关。您可以定义操作的前提条件和前提条件。
访问
在显示“属性”对话框之前,在图表或浏览器窗口中单击所需的操作。
键盘快捷键 |
(从图中)输入> Pre或Post (从浏览器窗口中)输入|。属性>前置或后置 |
定义约束
“属性”窗口的“前”和“后”选项卡上的字段和选项相同。单击适当的选项卡以定义操作行为之前和之后的条件。
选项 |
行动 |
也可以看看 |
---|---|---|
前提: |
输入条件的名称或效果。 |
|
类型 |
单击下拉箭头,然后单击适当的条件类型。 |
|
<笔记> |
输入条件所需的任何进一步的说明或描述。 |
|
新 |
单击此按钮以清除字段以定义其他条件。 |
|
保存 |
单击此按钮保存新的或更新的条件,并将更改添加到“先决条件”或“先决条件”列表中。 此按钮还清除数据字段,以便您可以创建其他条件。 |
|
前提 |
列出为此操作定义的前置条件或后置条件。 单击此列表中的项目,以使用详细信息重新填充对话框字段,以编辑或删除条件。 |
|
删除 |
单击“先决条件”或“后继条件”列表中的项目,然后单击此按钮以从操作中删除该条件。 |