The document outlines the functional requirements and mathematical statements for a hotel reservation system. It describes requirements for guests such as name, address, and phone number. It also describes room requirements like number, quality level, beds, and adjoining rooms. Reservation requirements include specifying arrival and departure dates when booking and allocating rooms at check-in. The mathematical statements convert these natural language requirements into predicate calculus statements.

1. Software Requirement for Hotel
Reservation System
Muhammad Edwin bin Ambo Rifai
A 142160

2. 2.0 Functional Requirement of The System
 Guest
 The information associated with each guest is: name,
address and phone number.
 The full name of a guest is represented by a single string of
characters.
 Guests are searched using a substring, any guest name that
contains that substring is returned by the search operation.
 The address of a guest is represented by a single string of
characters. This contains the complete address (street, city,
postal code, …)
 The phone number is represented by a string of characters.
 An account can be printed and contains the information
about a guest’s stay and the amount to be paid. The printed
account also includes the name of the hotel and the date at
which it has been issued.

3.  Room
 Each room has a number. Some of them are also
designated by a special name.
 A quality level is associated with each room.
 A quality level is identified by a number. Standard rooms
usually have quality number 0. This number increases as
the quality of the associated increases.
 Quality level can also be given a name.
 A list of characteristics is associated with each quality level.
It describes the equipment common to the room having this
quality level as well any other special elements such as
location, views or privileges.
 All rooms having the same quality level have the same
maximum daily rate.
 The maximum daily rate is for one person. There may be an
additional charge for each extra person.
 A room contains a certain number of beds, all of the same
type. Typical configurations are 2 Queen beds or 1 King
bed.
 Some rooms can adjoin 1 or 2 other rooms.

4.  Reservation
 To make a reservation, the guest must specify the arrival
date and the departure date (or the number of nights) for
the proposed stay.
 Normally, a room is not allocated when a guest makes a
reservation, the room allocation being made only when
the guest checks in.
 A reservation is accepted only if rooms are available.

5. 3.0 Mathematical Statement of The System
( Predicate Calculus )
 Guest
 The information associated with each guest is: name, address
and phone number.
 associated( information,each_guest )
 The full name of a guest is represented by a single string of
characters.
 represented( guest_full_name, single_string_characters )
 Guests are searched using a substring, any guest name that
contains that substring is returned by the search operation.
 searched( substring, guest_name )
 The address of a guest is represented by a single string of
characters. This contains the complete address (street, city, postal
code, …)
 represented( address_guest, single_string_character )
 The phone number is represented by a string of characters.
 represented( phone_no, string_character )

6.  An account can be printed and contains the information about a
guest’s stay and the amount to be paid. The printed account also
includes the name of the hotel and the date at which it has been
issued.
 printed_acc ( guest_information, paid_amount )
printed_acc ( hotel_name, date_issued )

7.  Room
 Each room has a number. Some of them are also
designated by a special name.
 room ( number, special_name )
 A quality level is associated with each room.
 associated ( quality_level, room )
 A quality level is identified by a number. Standard
rooms usually have quality number 0. This number
increases as the quality of the associated increases.
 identified ( quality_level, number )
 Quality level can also be given a name.
 given ( quality_level, name )

8.  A list of characteristics is associated with each quality
level. It describes the equipment common to the room
having this quality level as well any other special
elements such as location, views or privileges.
 characteristic ( quality_level, special_element )
 All rooms having the same quality level have the same
maximum daily rate.
 rooms ( quality_level, daily_rate )
 The maximum daily rate is for one person. There may
be an additional charge for each extra person.
 max_rate ( add_charge, extra_person )
 A room contains a certain number of beds, all of the
same type. Typical configurations are 2 Queen beds or
1 King bed.
 beds ( same_type, typical_config )
 Some rooms can adjoin 1 or 2 other rooms.
 somes ( rooms , adjoin )

9.  Reservation
 To make a reservation, the guest must specify the arrival
date and the departure date (or the number of nights) for
the proposed stay.
 reservation ( arrival_date, departure_date )
 Normally, a room is not allocated when a guest makes a
reservation, the room allocation being made only when
the guest checks in.
 rooms_allocated ( reservation, check_in )
 A reservation is accepted only if rooms are available.
 rooms_available ( reservation, accepted )

10. 4.0 Comments
 We can convert natural language to mathematical
statement. It is depends on the statement that given.
 Basically, the language of mathematics is not different
from natural language.
 The chief goal of language is to be able to express the
ideational and sentimental concepts.
 Concepts, in natural language, are expressed via words,
and in mathematics symbols are used.
 Language of mathematics is entirely based on symbols
 Like in natural language, within mathematical language,
to be able to explain the conceptions is dependent upon
some individual abilities and experiences such as
perceptual capability, intelligence, intuition, and interest.
 If we don’t know the concept of mathematical languange,
ce can’t convert the natural language to mathematical
statement.