1. Hotel Reservation Specification UI and DB Messaging Team C Christina Manteli Paul Van der Ende Tom Hastjarjanto Vasilis Boucharas

2. Hotel Reservation System DB-UI Message Types DB HR UI B A A: ConfirmationRequest B: ConfirmationReply

3. Messages  Reserve::ConfirmationRequest ReserveResponseAccept::ConfirmationReply V ReserveResponseReject::ConfirmationReply V ReserveResponseError::ConfirmationReply  Cancel::ConfirmationRequest CancelResponseAccept::ConfirmationReply V CancelResponseReject::ConfirmationReply V CancelResponseError::ConfirmationReply

4. Reserve Message BookingDetails DateFrom::DateDateFrom::Date DateTo::DateDateTo::Date RoomsNumber::Positive IntegerRoomsNumber::Positive Integer NumberOfPersons::Postitive IntegerNumberOfPersons::Postitive Integer CustomerDetailsCustomerDetails  Name::String  Surname::String  Address::String  CreditCardDetails NameCardHolder::StringNameCardHolder::String CreditCardType::{OptionA|OptionB|etc}CreditCardType::{OptionA|OptionB|etc} CreditCardNumber::Positive Integer (max. 16 digits)CreditCardNumber::Positive Integer (max. 16 digits) ExpirationDate::DateExpirationDate::Date

5. ReserveResponse{Accept|Reject|Error} Message  ReserveResponseAccept ReservationID::Positive IntegerReservationID::Positive Integer CustomerID::StringCustomerID::String CustomerPassword::StringCustomerPassword::String  ReserveResponseReject RejectType::Positive IntegerRejectType::Positive Integer  ReserveResponseError ErrorType::Positive IntegerErrorType::Positive Integer

6. Cancel Message  CancelReservationData ReservationID::Positive IntegerReservationID::Positive Integer CustomerID::StringCustomerID::String CustomerPassword::StringCustomerPassword::String

7. CancelResponse{Accept|Reject|Error} Message  CancelResponseAccept MessageType::Positive IntegerMessageType::Positive Integer  CancelResponseReject RejectType::Positive IntegerRejectType::Positive Integer  CancelResponseError ErrorType::Positive IntegerErrorType::Positive Integer