The system is composed of till which can access a central resource containing the detailed records of customers’ bank accounts. A till is used by inserting a card and typing in a Personal Identification Number (PIN) which is encoded by the till and compared with a code stored on the card. After successfully identifying themselves to the system, customers may either:
Withdrawals are subject to a user resources, which means the total amount that user has on account. Another restriction is that a withdrawal amount may not be greater than the value of the till local stock.
Tills may keep illegal cards, i.e. after three failed tests for the PIN.
See for a full Description (see Description in the design process).
Concepts:
Relations:
See for a full Conceptualization (see Conceptualization in the design process).
See for a full Conceptual Design (see Conceptual Design in the design process).
See for a full Attribute Specification. (see Attribute Specification in the design process).
See for a full Prototyping. (see Prototyping in the design process).
See for a full Logical Design. (see Logical Design in the design process).
See for a full Formal Analysis. (see Formal Analysis in the design process).
Used states:
[enteredPin, 1111],[correctPin, 1111],[desiredAmount, 100.0],[cashPointAmount, 100000.0],[userAccountAmount, 10000.0],[userRequestedAction, withdraw]
[enteredPin, 1111],[correctPin, 1112],[desiredAmount, 100.0],[cashPointAmount, 100000.0],[userAccountAmount, 10000.0],[userRequestedAction, withdraw]
[enteredPin, 1111],[correctPin, 1111],[desiredAmount, 100.0],[cashPointAmount, 10.0],[userAccountAmount, 10000.0],[userRequestedAction, withdraw]
[enteredPin, 1111],[correctPin, 1111],[desiredAmount, 100.0],[cashPointAmount, 1000.0],[userAccountAmount, 10.0],[userRequestedAction, withdraw]
See for a full Physical Design. (see Physical Design in the design process).
See for a full Integration. (see Integration in the design process).
