3. Reservation and Booking
• The system shall record reservations.
• The system shall record customer’s information.
• The system shall record number of occupants.
• The system shall record room number
• The system shall record default room rate..
• The system shall record expected check-in/check-out date and time.
• The system shall allow reservations to be modified without having
to reenter all the customer information.
• The system shall record the payment or payment type.
4. Food
• The system shall accept reservations for the restaurant and room service
• 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.
5. Management
• The system shall allow managers to assign user passwords
• The system shall display the hotel occupancy for a specified period of time .
• 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.
9. Reservation and Booking
If the customer’s information is recorded in the
system, then the system will be reserved the
room number for the customer, and the
customer will be given the expected check-
in/check –out date and time .
10. cust_information_recorded : the customer’s
information recorded in the system.
roomNo_reserved : the system will be reserved
the room number for the customer
checkIn/Out_given : the customer will be given
the expected check-in/check –out date and time.
cust_information_recorded =>
roomNo_reserved ^ checkIn/Out_given
11. Food
If the customer reserved the restaurant and room
service, then the system tracked all meals
purchased in the hotel and billed the current
room if payment is not made at time of service.
12. cust_reserved_service : the customer reserved the
restaurant and room service
meals_tracked : the system tracked all meals
purchased in the hotel
billed_current_room: billed the current room if
payment is not made at time of service.
cust_reserved_service=> meals_tracked ^
billed_current_room
13. Management
If the manager assigned user password, then
he/she can display the hotel/projected
accupancy or room /food revenue for a specified
of time and can edit the system data.
14. password_assigned : the manager assigned user
password
occupancy_displayed : he/she can display the
hotel/projected accupancy for a specified of time
revenue_displayed : he/she can display the room
food revenue for a specified of time
edit_system_data : he/she can edit the system
data.
password_assigned =>
(occupancy_displayed v
revenue_displayed ) ^ edit_system_data
16. • Statements – the meaning of a mathematical
statements is unambiguous and literal,can be
understood entirely by analysis of the tokens and
the structure.
• Literalness – natural languages are full of
idioms and metaphors. Formal languages means
exactly what they say. People who grow up
speaking the natural languages often have a hard
time adjusting to the formal languages. In
someways the difference between formal
languages and natural languages is like
thedifference of the poetry and prose, but more
so.
17. • Ambiguity – natural languages are full of
ambiguity, which people deal with by using the
contextual clues or other information.
Mathematical statements are designed to be
unambiguous, which means that any statement
has exactly one meaning, regardless of context.
• Redundancy – to make up for ambiguity and
reduce misunderstanding, natural languages are
often redundant. Mathematicalstatements are
more concise.