Elements can have associated constraints placed on them. These are the conditions under which the element must exist and function.
Typical constraints are pre- and post- conditions, which indicate things that must be true before the element is created or accessed and things that must be true after the element is destroyed or its action complete.
Use the Feature Visibility function to show constraints for an element directly on the diagram (it is also possible to show inherited constraints in this way).
Add Constraints to a Model Element
To add constraints to a model element, follow the steps below:
- Open the element Properties dialog.
- Select the Constraints tab.
- In the Constraint field, type the name of the constraint.
- In the Type and Status fields, click on the drop-down arrow and select the constraint type (Pre-condition, Post-condition or Invariant) and status.
- In the larger text field, type any additional notes required.
- Click on the Save button.
Constraints are used in conjunction with responsibilities to define the conditions and rules under which an element operates and exists.