Refine sequences and add class models

This patch refines the system sequence diagrams and adds class models for the server.  Specifically, the system sequence diagrams have been refactored to include actual method calls and more detailed interactions between classes.