Concepts:

• enteredPin - a PIN number that has been entered by user.
• correctPIN - a PIN number that is stored on the card.
• authorized - indicates if the user has entered the correct PIN.
• userAccountAmount - the amount of the free founds on the user account.
• cashPointAmount - the amount of the founds that are available in a cashpoint.
• failedAttempts - the number of failed attempts to authorization.
• requestedAction - the operation that user want to execute.
• cashPointActivity - the final operation invoked by cashpoint.

Relations:

• enteredPin → authorized
• correctPIN → authorized
• enteredPin → failedAttempts
• correctPIN → failedAttempts
• authorized → cashPointActivity
• userAccountAmount → cashPointActivity
• cashPointAmount → cashPointActivity
• failedAttempts → cashPointActivity
• requestedAction → cashPointActivity