ATM machine system helps to service one customer at a time. the customer must insert the ATM card and the enter PIN, then the information entered will be sent to the bank for validation as a part of every transaction. The customer will be able to make one or more transaction that include withdrawal, deposit, transfer and balance inquiry. If the bank validation result is that the customer's PIN is invalid, the customer will have to re-enter the PIN to continue with the transaction. If the customer is didn't successfully enter the PIN after three tries, the card will be permanently retained by the machine, and the customer will have to contact the bank to get it back. Meanwhile the bank validation results are that a customer's PIN is valid the card will be retained in the machine until the customer indicates that he has no further transactions then it will be returned.
Define the following for the system:
1. Data types that needed to generate this system schemas
2. State and its Invariant Properties
3. System initial state
4. Handling the error in the following operations
a. • Insert Card and Insert Card Error
b. • Enter PIN and Enter PIN Error
c. • RE-ENTER PIN
d. • Login and Login Error
e. • Withdraw and Withdraw Error
f. • Deposit and Deposit Error
g. • Transfer and Transfer Error
h. • Balance Query and Balance Query Error
i. • Logout and Logout Error
5. Final version of operations and enquiresr