A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality

Figure 1

Example of the use cases and actors for an ATM system.