Software Requirement for Hotel

Reservation System

Muhammad Edwin bin Ambo Rifai

A 142160

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.

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.

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.

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 )

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 )

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 )

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 )

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 )

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.