This is an old revision of the document!
Attribute Specification
Types
Name | Base | Domain | Scale | Ordered | Desc |
tPin | numeric | [0; 9999] | 0 | yes | Represents the PIN numbers |
tPinDifferene | numeric | [-9999; 9999] | 0 | yes | Represents all the possible results of two PIN numbers subtraction |
tUserActions | symbolic | {withdraw; balance} | - | no | The set of actions that user can invoke |
tCashPointActivities | symbolic | {askForPIN; payOut; takeCardAway; displayBalance;
msgNotEnoughFoundsInMachine; msgNotEnoughFoundsOnAccount;} | - | no | The set of actions that can be executed by cashpoint |
tMoney | numeric | no constraints | 2 | yes | Represents the amount of money |
tBool | symbolic | {false, true} | 0 | yes | The boolean values |
tAttempts | numeric | [0; 3] | 0 | yes | The type that defines the number of attempts to enter a correct PIN |
Attributes
Name | Class | Type | Comm | Callback | Abbrev | Desc |
authorized | simple | tBool | input/output | - | autho | Indicates if the user has entered a correct PIN |
cashPointActivity | simple | tCashPointActivities | output | - | cashP | Indicates which action should be invoked by cashpoint |
cashPointAmount | simple | tMoney | input | - | cash | The amount of money inside cashpoint |
cdAmountDifference | simple | tMoney | input/output | - | cdAmo | Holds the difference between cashPointAmount attribute value and desiredAmount attribute value |
correctPin | simple | tPin | input | - | corre | Holds the PIN number that is stored on the card |
desiredAmount | simple | tMoney | input | - | desir | Holds the amount of money that user want to withdraw |
enteredPin | simple | tPin | input | - | enter | Holds the PIN number that has been entered by the user |