1. FACULTY TECHNOLOGY AND INFORMATION SCIENCE
MOHD FARHAN BIN MOHD DIN
A142095
Software Requirement For Automated Teller Machine

2. 1.0 SOFTWARE OF
FUNCTIONAL
REQUIREMENT OF
THE SYSTEM

3. The simple ATM machine only requires two
use cases :

4. Withdraw
Actors : Account holder, ATM
and bank
Description : Enables account holder
to withdraw funds from an
account held at a bank
Priority : High
Risk : Medium
Main Scenario : Success

5.  If the account holder inserts card, the
system will run and ATM asks for a Pin.
 If the account holder enters Pin, the
system will run and ATM asks for source
account.

6.  If the account holder choose for the specific
source amount, the system will run and the
ATM asks for the amount to be withdrawn.
 If the account holder inserts the specific
amount, the ATM requests account to be
debited and the ATM depenses cash.

7. Deposite
Actors : Account holder and bank
Description : Enables account holder to
withdraw funds from an
account held at a bank
Priority : High
Risk : Medium
Main Scenario : Success

8.  If the account holder inserts card, system
will create and the ATM asks for Pin
 If the account holder enters Pin, system
will create and the ATM asks for the
destination account.

9.  If the account holder choose the specific
destination account, system will create
and ATM will asks for the amount to be
deposited.
 If the account holder already choose the
specific amount, the system will create
and ATM asks for depost envelop.

10.  If the account holder places deposit
envelop in slot, the bank request account
to be credited and credit account.

11. 2.0 NON-
FUNCTIONAL
REQUIREMENTS
OF THE SYSTEM

12.  Error message should be displayed at
least 6 seconds.
 If there is no response from the bank
computer after a request within minutes
that card is rejected with an error
message

13.  The ATM dispenses money if and only if
the withdrawal from the account is
processed and accepted by the bank.
 Each bank may be processing transactions
from several ATMs at the same time.

14. 3.0 ASSUMPTIONS

15.  Hardware is never fails
 ATM casing is impenetrable

16.  Limited number of transactions per day
i.e. sufficient paper for receipt
 Limited amount of money withdrawn per
day i.e. sufficient money

17. 4.0 THE
MATHEMATICAL
STATEMENTS OF THE
FUNCTIONAL
REQUIREMENTS
(PROPOSITIONAL
CALCULUS)

18. Withdrawal
AccountHolder_insert_card : The account holder insert their
card
System_run : The system will run
ATM_asks_pin : ATM asks for a pin
AccountHolder_insert_card  system_run ^
ATM_asks_pin
AccountHolder_enters_pin : The account holder enters pin
System_run : the system will run
ATM_asks_source_account : ATM asks for source account
AccountHolder_enters_pin  system_run ^
ATM_asks_source_account

19. AccountHolder_choose_SpecificSourceAmount : the account
holder choose
for the specific source amount
System_run : the system will run
ATM_asks_amount_withdrawal : ATM asks for the amount to
be withdrawal
AccountHolder_choose_SpecificSourceAmount 
sytem_run ^ ATM_asks_amount_withdrawal

20. AccountHolder_insert_SpecificAmount : The account holder
inserts the specific amount
ATM_request_debited : the ATM request account to be
debited
ATM_depenses_cash : the ATM depenses cash
AccountHolder_insert_specificAmount 
ATM_request_debited ^
ATM_depenses_cash

21. Deposit
AccountHolder_insert_card : the account holder inserts card
System_create : the system will create
ATM_asks_pin : ATM asks for pin
AccountHolder_insert_card  system_create ^
ATM_asks_pin
AccountHolder_enter_pin : the account holder enters a pin
System_create : the system will create
ATM_asks_destinationAccount : ATM asks for the destination
account
AccountHolder_enter_pin  system_create ^
ATM_asks_destinationAccount

22. AccountHolder_specificDestinationAccount : the account
holder choose for the specific destination account
System_create : system will create
ATM_ deposited : ATM will asks for the amount to be
deposited
AccountHolder_specificDestinationAccount  system_
create ^ ATM_deposited
AccountHolder_specificAmount : the account holder choose
the specific amount
System_create : system will create
ATM_deposit_envelop : ATM asks for deposit envelop
AccountHolder_specificAmount  system_create ^
ATM_deposit_envelop

23. 5.0 COMMENT ABOUT THE
TRANSLATION PROCESS
FROM NATURAL
LANGUAGES STATESMENTS
TO MATHEMATICCAL
STATEMENTS

24.  Redundancy : To make up for ambiguity
and reduce misunderstanding, natural
languages ate often redundant.
Mathematical statements are more
concise.
 Ambiguity : Natural languages are full of
ambiguity, which people deal with by
using contextual clues and other
information. Mathematical statements are
designed to be unambiguous, which
means that any statement has exactly one
meaning, regardless of context.

25.  Literalness : natural languages are full of
idiom and metaphor. Formal languages mean
exactly what they say. People who grow up
speaking a natural language often have a
hard time adjusting o formal languages. In
some ways the difference between formal and
natural languages is like the difference
between poetry and prose.
 Statement : the meaning of a mathematical
statement is unambigious is unambigious and
literal and can be understood entirely by
analysis of the tokens and structure.