The document outlines the functional requirements for a hotel reservation and management system. It specifies that the system must record customer reservations and associated information like names, room numbers, and payment details. It also requires meal tracking and payment features. Additionally, the system should provide management reports on occupancy, revenue, and pricing exceptions. User profiles and system information can be added, deleted or modified as needed.

1. MATHEMATIC III : MATHEMATICAL STATEMENTS
NUR ASYIDA ALI
A 142070

2.  Functional requirements :
 Reservation/Booking
 The system shall record reservations.
 The system shall record the customer’s first name.
 The system shall record the customer’s last name.
 The system shall record the number of occupants.
 The system shall record the room number.
 The system shall display the default room rate.
 The system shall allow the default room rate to be changed.
 The system shall require a comment to be entered, describing the reason for
changing the default room rate.
 The system shall record the customer’s phone number.
 The system shall display whether or not the room is guaranteed.
 The system shall generate a unique confirmation number for each reservation.
 The system shall automatically cancel non-guaranteed reservations if the
customer has not provided their credit card number by 6:00 pm on the check-in
date.

3.  The system shall record the expected check-in date and time.
 The system shall record the expected checkout date and time.
 The system shall check-in customers.
 The system shall allow reservations to be modified without having to reenter all
the customer information.
 The system shall checkout customers.
 The system shall display the amount owed by the customer.
 To retrieve customer information the last name or room number shall be
used
 The system shall record that the room is empty.
 The system shall record the payment.
 The system shall record the payment type.
 The system shall charge the customer for an extra night if they checkout after
11:00 a.m.
 The system shall mark guaranteed rooms as “must pay” after 6:00 pm on the
check-in date.
 The system shall record customer feedback.

4.  Food
 The system shall track all meals purchased in the hotel (restaurant and room
service).
 The system shall record payment and payment type for meals.
 The system shall bill the current room if payment is not made at time of service.
 The system shall accept reservations for the restaurant and room service.
 Management
 The system shall display the hotel occupancy for a specified period of time
(days; including past, present, and future dates).
 The system shall display projected occupancy for a period of time (days).
 The system shall display room revenue for a specified period of time (days).
 The system shall display food revenue for a specified period of time (days).
 The system shall display an exception report, showing where default room and
food prices have been overridden.
 The system shall allow for the addition of information, regarding rooms, rates,
menu items, prices, and user profiles.
 The system shall allow for the deletion of information, regarding rooms, rates,
menu items, prices, and user profiles.
 The system shall allow for the modification of information, regarding rooms,
rates, menu items, prices, and user profiles.
 The system shall allow managers to assign user passwords.

5. - The system is not required to save generated reports.
- Credit card payments are not included

6.  Reservation/Booking
 If there have customer ,then reservation will be occur.
 If there have a reservation , then the system should record all
the information of customer.
 If reservation is successful, then customer must follow the rule provided.
 If customer were check out, then the payment must be settled.
 If payment is settled , then the customer were successfully check out.
 Food
 If there have food service, then the customer also should be there.
 If there have food service, the payment is needed.
 If payment is not made at time of service, then the bill must be send.

7.  Management
 If there have a system, then all of the information regarding to customer service
should be provided.
 If there have manager , then the password is included.

8.  The translation from natural language statement to
mathematical statement was very challenging.
 If we have used wrong concept about the mathematical
statement, we do not know to translate it effectively.
 Mathematical statement is depend on functional
requirement.