1. Hotel Reservation Specification Ales, Christina, Christiaan, Vasilis

2. HRS: Overview DB UI HR

3. Changes Rational DB – No cancel functionality for reservation HR – No ‘smart’ locking – Changed flow

4. Messages HR  DB – Availability Query – Get Room Types – Get Price HR  UI – Return Room Types – Search Error – Search Result UI  DB – Confirmation Request DB  HR – Return Room Types – Available Response – Price Response UI  HR – Get Room Types – Search Query DB  UI – Reservation Accept – Reservation Reject – Reservation Error

5. HRS: USER INTERFACE

6. Messages HR  DB – Availability Query – Get Room Types – Get Price HR  UI – Return Room Types – Search Error – Search Result UI  DB – Confirmation Request DB  HR – Return Room Types – Available Response – Price Response UI  HR – Get Room Types – Search Query DB  UI – Reservation Accept – Reservation Reject – Reservation Error

7. States Init : initial state, stores [Room type] Search : stores entered BookingOption Results : stores received [BookingOption] Checkout : BookingOption, PersonalInfo, PaymentInfo Finish : empty

8. Initialisation

9. Searching SID : session id unique per user

10. Results & Checkout

11. HRS: DATABASE

12. Messages HR  DB – Availability Query – Get Room Types – Get Price HR  UI – Return Room Types – Search Error – Search Result UI  DB – Confirmation Request DB  HR – Return Room Types – Available Response – Price Response UI  HR – Get Room Types – Search Query DB  UI – Reservation Accept – Reservation Reject – Reservation Error

13. Search DB PreInOutPost InitHR: Get Room types HR: Return Room types Search HR: Availability Request HR: Availability Response Search HR: Get PriceHR: Return PriceCheckout

14. PreInOutPost CheckoutUI: Confirmation Request UI: Reservation Accept Finish CheckoutUI: Confirmation Request UI: Reservation Reject Search CheckoutUI: Confirmation Request UI: Reservation Error Search

15. Database Assumed Functionality The database supports locking of our relations (tables). – Lock(relation)‏ – Unlock(relation)‏

16. HRS: HOTEL RESERVATION

17. Messages HR  DB – Availability Query – Get Room Types – Get Price HR  UI – Return Room Types – Search Error – Search Result UI  DB – Confirmation Request DB  HR – Return Room Types – Available Response – Price Response UI  HR – Get Room Types – Search Query DB  UI – Reservation Accept – Reservation Reject – Reservation Error

18. Results & Checkout

19. Logic HR: do Logic determines whether or not an exact match is possible on the received data, and then either ask for prices, or asks again for availability of other room types.

20. Questions