TASK 2 : MATHEMATICAL

STATEMENT

UMMI ZAKIAH BINTI ZAINODINA142134

SOFTWARE

REQUIREMENT OF ATM BANKING

SYSTEM

{ TITLE }

STATEMENTS OFFUNCTIONAL

REQUIREMENT OF ATM BANKING SYSTEM

Definition: For the users to be able to use this system, they have to enter

username and password which they have created before and been saved in the database in the Login page. The user might be a customer or an Admin also.

Inputs: Username and password. Outputs: The system will state whether inputs are correct or not. Pre conditions: The user must have signed in the system and have a valid

username and password. Then the system will show the main page to the valid customer and display message “welcome to the internet banking system please click on the left menu bar to choose your option!” he/she can make has/her transaction, but if the user made wrong in username or password then he/she will be invalid user and will see a message “Alert Invalid Username and Password” and to login again.

Post conditions: The user will enter the main page of him/her self.

1. LOGIN

Definition: Transfer Funds allows customer to transfer funds between

authorized accounts – own personal accounts. Requested transfer take place immediately or at a selected future date specified by customer.

Inputs: amount, target account and TAC. Also if he/she wants to enter his/her e-mail, and select the current account or saving account.

Outputs: the system will display Transfer Funds function for transfer funds or Transfer History function for display the transaction he/she done.

Pre conditions: The customer must be a valid customer and signed in the system.

Post conditions: The customer clicks on the logout button or select other functionality options.

2. TRANSFER FUNDS

A customer must be able to make a balance inquiry of any

account linked to the card.

3. GET BALANCE INFORMATION

A customer must be able to make a cash withdraw from any suitable account

linked to the card, in multiples of $20.00. Approval must be obtained from the bank before cash is dispensed.

The ATM will communicate each transaction to the bank and obtain verification that it was allowed by the bank. In the case of a cash withdraw or deposit, a second message will be sent after the transaction has been physically completed (cash dispensed or envelope accepted).

4. WITHDRAW CASH

ASSUMPTIONS

Hardware never fails ATM casing Limited number of transactions per day i.e

sufficient number of receipts. Limited amount money of withdrawn per day

i.e sufficient money.

THE MATHEMATICAL STATEMENT

OF THE FUNCTIONALREQUIREMENTS

(PROPOSITIONAL CALCULUS)

p = user have a Passwordq = user have a valid card

r = user can login

(p ^ q)=>r

LOGIN

p = authorized accountq = amount to transfer

r = target account s = transfer funds

(p^q) U (p^r) => s

TRANSFER FUNDS

p = authorized accountq = make transaction

q = does not make transactions = balance information is appear

i. ( p^q) => sii. ( p^r) =>s

GET BALANCE INFORMATION

p = authorized accountq = amount of withdraw

r = money cash

( p^q ) => r

WITHDRAW CASH

In my opinion, I can say that the translation from Natural Languages to mathematical statement is we can choose either we want to present it in a

propositional calculus or predicate calculus.

Comments about the translation process from natural languages statements to

mathematical statements