| 前页 | 后页 |
经营约束
约束定义操作的契约行为,即在调用操作之前必须满足的条件(前置条件),以及调用操作之后必须满足的条件(后置条件)。在这方面,它们与类的状态模型相关,也与应用于转换的保护条件相关。您可以为操作定义前置条件和后置条件。
访问
在显示“属性”对话框之前,单击图表或浏览器窗口中所需的操作。
|
键盘快捷键 |
(从图中)输入 > 前或后 (在浏览器窗口中)输入 |属性> 前或后 |
定义约束
属性窗口的'前置'与'后置'选项卡上的字段和选项相同。点击相应的选项卡可以定义操作行为的前置条件和后置条件。
选项 |
行动 |
也见 |
|---|---|---|
|
前提: |
类型在条件的名称或效果中。 |
|
|
类型 |
点击下拉箭头,点击适当的条件类型。 |
|
|
<注记> |
类型对该情况所需的任何进一步解释或描述。 |
|
|
新的 |
单击此按钮可清除字段以定义另一个条件。 |
|
|
节省 |
单击此按钮可保存新的或更新的条件,并将更改添加到“前提条件”或“后置条件”列表。 此按钮还会清除数据字段,以便您可以创建另一个条件。 |
|
|
前提 |
列出为此操作定义的先决条件或后置条件。 单击此列表中的项目可重新填充对话框字段的详细信息,以编辑或删除条件。 |
|
|
删除 |
单击“前提条件”或“后置条件”列表中的某个项目,然后单击此按钮即可从操作中删除该条件。 |
