Modified use-case specification

also modified the use-case model to suit the changes on the use-case
specification for coherence