1. ATM environment assumptions Ard Christina Oscar Paul

2. Hardware Card Slot incl. card reader Card Slot incl. card reader Invalid Card Stack Invalid Card Stack Banknote/coin vault incl. dispenser and intake apparatus Banknote/coin vault incl. dispenser and intake apparatus Money validation scanner Money validation scanner Some kind of user input (keyboard, touch screen, etc.) Some kind of user input (keyboard, touch screen, etc.) Screen Screen Ticket printer Ticket printer Speaker Speaker Intrusion sensor / alarm Intrusion sensor / alarm

3. Remote services Central services for: Central services for: Authentication: Checking card/PIN-combination Authentication: Checking card/PIN-combination Account access service Account access service Checking account balance Checking account balance Checking transaction fee Checking transaction fee Authorization: withdrawing of requested amount Authorization: withdrawing of requested amount Updating account balance Updating account balance Maintenance Maintenance “Low on bills”-alert “Low on bills”-alert Intrusion Intrusion

4. Hardware events/messages (1/2) Card Slot incl. card reader Card Slot incl. card reader CardSlot  ATMSoftware: card inserted (card data) CardSlot  ATMSoftware: card inserted (card data) ATMSoftware  CardSlot : eject card ATMSoftware  CardSlot : eject card ATMSoftware  CardSlot : send card to invalid card stack ATMSoftware  CardSlot : send card to invalid card stack Banknote vault incl. banknote dispenser Banknote vault incl. banknote dispenser ATMSoftware  Vault: Hand out banknotes ([banknote]) ATMSoftware  Vault: Hand out banknotes ([banknote]) Banknote/coin intake apparatus / banknote scanner Banknote/coin intake apparatus / banknote scanner Intake  ATMSoftware: valid money inserted (value) Intake  ATMSoftware: valid money inserted (value) Intake  ATMSoftware: invalid money inserted Intake  ATMSoftware: invalid money inserted

5. Hardware events/messages (2/2) Some kind of input device (keyboard, touch screen, etc.) Some kind of input device (keyboard, touch screen, etc.) InputDevice  ATMSoftware: button pressed (key) InputDevice  ATMSoftware: button pressed (key) Screen Screen ATMSoftware  Screen: display information (DisplayMessage) ATMSoftware  Screen: display information (DisplayMessage) Ticket printer Ticket printer ATMSoftware  Printer: print ticket (PrintMessage) ATMSoftware  Printer: print ticket (PrintMessage) Intrusion sensor / alarm Intrusion sensor / alarm Sensor  ATMSoftware: intrusion detected Sensor  ATMSoftware: intrusion detected Speaker Speaker ATMSoftware  Speaker: play sound (Sound) ATMSoftware  Speaker: play sound (Sound)

6. Remote services events/messages (1/2) Authentication service Authentication service ATMSoftware  AuthentServ: check combination (cardID, PIN) ATMSoftware  AuthentServ: check combination (cardID, PIN) AuthentServ  ATMSoftware: response (accept/reject) AuthentServ  ATMSoftware: response (accept/reject) Maintenance service Maintenance service ATMSoftware  MaintenanceServ: ATM is low on banknotes ATMSoftware  MaintenanceServ: ATM is low on banknotes ATMSoftware  MaintenanceServ: intrusion detected ATMSoftware  MaintenanceServ: intrusion detected

7. Remote services events/messages (2/2) Account access service Account access service ATMSoftware  AccountServ: request withdrawal (cardID, withdrawalAmount) ATMSoftware  AccountServ: request withdrawal (cardID, withdrawalAmount) Response (allowed / denied) Response (allowed / denied) ATMSoftware  AccountServ: check balance (cardID) ATMSoftware  AccountServ: check balance (cardID) Response (balance) Response (balance) ATMSoftware  AccountServ: check fee ATMSoftware  AccountServ: check fee (cardID, withdrawalAmount) Response (fee) Response (fee)