Objective In this lab, you will work on the ATM example seen in class. You will perform the following: .Basic domain modeling . Basic requirement analysis . High-level behavioral modeling using UML activity diagram:s Problem Statement A bank has several automated teller machines (ATMs) that are geographically distributed and connected via a wide area network to a central server. Each ATM machine has a card reader, a cash dispenser, a keyboard/display, and a receipt printer. By using the ATM machine, a customer can withdraw cash from either a checking or savings account, query the balance of an account, or transfer funds from one account to another Customer (Informal) Requirements General Requirements: A customer can withdraw cash from either a checking or savings account, query the balance of an account, or transfer funds from one account to another A transaction is initiated when a customer inserts an ATM card into the card reader Customer records, account records, and debit card records are all maintained at the server. Card Verification Requirements: .The card reader should check if the card is recognized . The card reader should determine if the expiration date has not passed and the user entered the right PIN matches the one maintained by the system