前页 | 后页 |
约束
如果您需要定义一个元素运行和存在的条件和规则,您可以通过在该元素上设置约束来完成此操作,并结合其职责(内部要求)。典型的约束是前置条件和后置条件,它们表示在创建或访问元素之前必须为真的事情以及在元素被销毁或它的动作完成之后必须为真的事情。
要对元素创建约束,您可以使用责任窗口的“约束”选项卡或元素“属性”对话框的不同“约束”选项卡。责任窗口帮助你勾勒出元素的约束,你可以从那里切换到“属性”对话框来为约束添加细节。或者,您可以直接在“属性”对话框中创建新约束。
您可以使用元素的“分隔可见性”函数直接在图表上显示元素的约束;这也揭示了从父元素继承的任何约束。
责任帮助主题中提供了有关使用责任窗口的信息。此约束主题继续讨论元素的“属性”对话框的“约束”选项卡。
访问
在图表或浏览器中,选择一个元素并:
功能区 |
设计>元素>编辑>约束|右键单击约束 >加新或修改选定项 设计>元素>编辑>属性对话框>约束 |
上下文菜单 |
右键单击元素|属性|职责 >约束|右键单击约束 >加新或修改选定项 右键元素|属性|属性>约束 |
键盘快捷键 |
>约束(责任窗口的选项卡) >约束(“属性”对话框) Shift+Alt+C(“属性”对话框) >约束:Shift+Enter |
为元素定义约束
Option |
Description |
See also |
---|---|---|
约束(字段) |
类型约束的名称或值。 |
|
类型 |
单击下拉箭头并选择适当的类型(Pre-condition、Post-condition、进程、OCL 或 Invariant)。 |
|
状态 |
单击下拉箭头并选择适当的状态。 |
|
注记 |
类型在约束的任何附加细节或注释中。您可以使用字段顶部的注记工具栏格式化注记文本。 |
Notes Toolbar |
新的 |
单击此按钮可清除准备创建新约束的字段。 |
|
节省 |
单击此按钮以保存约束数据。 |
|
约束(面板) |
此字段按名称列出元素中定义的约束。 |
|
删除 |
单击“约束”列表中的约束并单击此按钮可立即从元素中删除约束。 |
|
(上下手) |
(如果元素中有两个或更多约束。)单击“约束”列表中的约束,然后单击其中一个按钮将约束在列表中向上或向下移动一个位置。 |