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.