We here propose a structured-expandable format of a use case, which is expressed in Z notation and then represented visually using an Entity-Relationship diagram. Implementation of our approach would ...