The last step is a detailed description of the identified protocols with UML Activity diagrams that contain checks and status updates. The activity diagram for transferMoney is quite long.
