System Model
Use case : local database update
Actors : use case initiated by Bratt, who communicates with the server
Description : PAID prompts Bratt to update the local database. Bratt delays download. Later, Bratt downloads and receives message confirming update.