Creating Preconditions

Preconditions are states that are true about an event or one of the actors before the event is undertaken.

The above window is used to register the preconditions.

Creating Postconditions

Postconditions are states that are true about an event or one of the actors after the event is undertaken.

The above window is used to register the postconditions.