Update use case diagram

re-factor the use case diagram, add link database server
to startup consistency verification
add rectangle and rename rectangles