Develop a schema for the Bank Account.
Question One
An Automatic Teller machine (ATM) is an Electronic Device that provides services like balance
inquiry, cash withdraw and money transfer etc. The ATM system is considered an example of a
safety critical system and hence the need to formalize its services. To formalize the ATM system
we need to first declare variables to be used.
- An ATM card contains the following information
CARD := cardNo | accountNo | expiryDate
- After any transaction the ATM machine gives the following responses
ATMRESPONSE := operationSuccessfull | operationFailed
- An ATM can be in two states
STATE := available | busy
- For any withdraw operation the ATM machine has restrictions on the minimum and maximum
amount one can withdraw.
AMOUNT := minimumAmount | maximumAmount
- The other important variable is the date
DATE := issueDate | expiryDate | todayDate
- The ATM generates the following possible error messages
ERROR := invalidCard | invalidPin | invalidAmount | insufficientBalance
(i)Develop a schema for the Bank Account.
(ii)Use the information provided above to develop schema that describe the following ATM operation.
(a) Balance inquiry
Step by step
Solved in 2 steps with 2 images