Creating a specification slot
1. Open the Instance's Property Pages.
2. Click the Slot Values tab.
3. Click the
![](../../Integrity_Modeler/images/but-new-item.gif)
Add Specification Slot button.
Note that if the Instance is shown on an Object Diagram, you can set the Specification slot of a State by dragging the State from a Modeler Pane to the Instance on the diagram.