際際滷

際際滷Share a Scribd company logo
NUR ADAWIYAH BT AB RAHMAN
A 141965
Requirements document for an
Automated Teller Machine
network
(ATM)
Product Function
The software should support a computerized banking network.
Each bank provides its own computer to maintain its own
accounts and process transactions against them. Automatic teller
machines communicate with the banks computers. An automatic
teller machine accepts a cash card interacts with the user
communicates with the bank computer to carry out the
transactiondispenses cash and prints receipts The system requires
appropriate record keeping and security provisions. The system
must handle concurrent access to the same account correctly. The
banks will provide their own software for their own computer.
The cost of the shared system will be apportioned to the banks
according to the number of customers with cash card.
Assumption
ATM
A station that allows customers to enter their own
transactions using cash cards as identification. The
ATM interacts with the customer to gather
transaction information sends the transaction
information to the central computer for validation
and processing and dispenses cash to the customer.
We assume that an ATM need not operate
independently of the network.
STATEMENT OF FUNCTIONAL
REQUIREMENT
 If no cash card is in the ATM the system should
display initial display.
 If the cash card is valid the ATM should read
the serial number and bank code.
 If the ATM is running out of money no card
should be accepted. An error message is
displayed.
 If the transaction is successful the money is
dispensed.
Mathematical statement
a) no cash card v ATM => system should display
initial display.
b) cash card is valid => ATM read the serial
number.
c) ATM is running out of money => no card
should be accepted  error message
displayed.
d) transaction is successful => the money is
dispensed.
Natural Language Statement to
Mathematical Statement
a)no_cashcard v ATM => initial display
b) ATM (cashcard, serialnumber) AND
valid(cashcard) > read(serialnumber).
c)Running_out _of_money =
(no_card_accepted, error_message.)
d) transaction_successful = money_dispensed.

More Related Content

Math2

  • 1. NUR ADAWIYAH BT AB RAHMAN A 141965
  • 2. Requirements document for an Automated Teller Machine network (ATM)
  • 3. Product Function The software should support a computerized banking network. Each bank provides its own computer to maintain its own accounts and process transactions against them. Automatic teller machines communicate with the banks computers. An automatic teller machine accepts a cash card interacts with the user communicates with the bank computer to carry out the transactiondispenses cash and prints receipts The system requires appropriate record keeping and security provisions. The system must handle concurrent access to the same account correctly. The banks will provide their own software for their own computer. The cost of the shared system will be apportioned to the banks according to the number of customers with cash card.
  • 4. Assumption ATM A station that allows customers to enter their own transactions using cash cards as identification. The ATM interacts with the customer to gather transaction information sends the transaction information to the central computer for validation and processing and dispenses cash to the customer. We assume that an ATM need not operate independently of the network.
  • 6. If no cash card is in the ATM the system should display initial display. If the cash card is valid the ATM should read the serial number and bank code. If the ATM is running out of money no card should be accepted. An error message is displayed. If the transaction is successful the money is dispensed.
  • 7. Mathematical statement a) no cash card v ATM => system should display initial display. b) cash card is valid => ATM read the serial number. c) ATM is running out of money => no card should be accepted error message displayed. d) transaction is successful => the money is dispensed.
  • 8. Natural Language Statement to Mathematical Statement a)no_cashcard v ATM => initial display b) ATM (cashcard, serialnumber) AND valid(cashcard) > read(serialnumber). c)Running_out _of_money = (no_card_accepted, error_message.) d) transaction_successful = money_dispensed.