State Dependent Actions
Action triggering conditions:
- external - method on the object was called
- internal - the object is in appropriate state
State-based preconditions: object must be in proper state upon the reception of the message
State-based postconditions: object must be in proper state when the message handling is finished