Transitions are represented by solid arrows between states labeled with the ‘eventname/
action’ (the event triggers the transition and action is the result of the transition).
For example, in Figure 25.20, the transition from state Pending to Available is triggered
by an approveProperty event and gives rise to the action called makeAvailable().