Updated detailed use case descriptions

Added preconditions, post-conditions, and some exception flow for the
three features