1. TASK 2:
SOFTWARE REQUIREMENT
NAME: NUR LIANA ATIKAH BINTI AWANG
MATRIC NO : A142064
TITLE OF SOFTWARE REQUIREMENT:
Hospital Patient Information Management
System

2. 2.0
STATEMENT OF
FUNCTIONAL
REQUIREMENT OF THE
SYSTEM

3. Statements of functional requirements
of the system
• Registration
• SRS001 Add patients
The HPIMS shall allow front-desk staff to add new patients to the system.
SRS002 Assign ID
The HPIMS shall allow front-desk staff to give each patient a ID and add it to the patient’s record. This ID
shall be used by the patient throughout his/her stay in hospital.
• Check Out
SRS003 Delete Patient ID
The administrative staff in the ward shall be allowed to delete the ID of the patient from the system when
the patient checks out.
SRS004 Add to beds-available list
The administrative staff in the ward shall be allowed to put the beds just evacuated in beds-available list.
• Report Generation
• SRS005 Patient information
The HPIMS shall generate reports on patients about the following information: patient’s PHN, patient’s
name, ward name, bed number and the doctor’s name which was assigned.
SRS006 Bed Availability
The HPIMS shall generate reports on bed availability about the following information: ward name,
bed number, occupied/unoccupied.

4. • Database
• SRS007 Patient Mandatory Information
Each patient shall have the following mandatory information: first name, last name, phone number,
personal health number, address, postal code, city, country, patient identification number.
SRS008 Update Patient Information
The HPIMS shall allow the user to update any of the patient’s information as described in
SRS007.

5. 3.0
ASSUMPTION

6. Assumption
• It is assumed that one hundred IBM compatible computers will be available before
the system is installed and tested.
• It is assumed that the Hospital will have enough trained staff to take care of the
system.

7. 4.0
THE MATHEMATICAL
STATEMENT
OF THE FUNCTIONAL
REQUIREMENT
(PROPOSITIONAL CALCULUS)

8. Mathematical statements of the functional
requirements ( propositional calculus)
• SRS001 Add patients
The HPIMS shall allow front-desk staff to add new patients to the system.
• Let
• allow_front : The HPIMS shall allow front-desk staff
• add_new_patient : To add new patients to the system
• Then
• allow_front add_new_patient
• SRS002 Assign ID
The HPIMS shall allow front-desk staff to give each patient a ID and add it to the patient’s record.
This ID shall be used by the patient throughout his/her stay in hospital.
• Let
allow_front : The HPIMS shall allow front-desk staff
add_patient_ID : give each patient a ID and add it to patient’s record
used_ID: this ID shall be used by the patient that stay in hospital
• Then
allow_front add_patient_ID used_ID

9. • SRS003 Delete Patient ID
The administrative staff in the ward shall be allowed to delete the ID of the patient from the system when the
patient checks out.
• Let
patient_checks_out : when the patient checks out
delete_patient_ID : The administrative staff in the ward shall be allowed to delete the ID of the patient
Then
patient_checks_out delete_patient_ID
SRS004 Add to beds-available list
The administrative staff in the ward shall be allowed to put the beds just evacuated in beds-available list.
• Let
put_beds_evacuated : The administrative staff in the ward shall be allowed to put the beds just evacuated
beds-available_list : just evacuated in beds-available list
Then
put_beds_evacuated beds-available_list
• SRS005 Patient information
The HPIMS shall generate reports on patients about the following information: patient’s PHN, patient’s name, ward
name, bed number and the doctor’s name which was assigned.
• Let
generate_report : The HPIMS shall generate reports on patients
patient_information : report about the following information: patient’s PHN, patient’s name, ward name, bed
number
and the doctor’s name which was assigned.
Then
generate_report patient_information

10. • SRS006 Bed Availability
The HPIMS shall generate reports on bed availability about the following information: ward
name, bed number, occupied/unoccupied
• Let
generate_report : The HPIMS shall generate reports
bed_availability : bed availability about the following information: ward name, bed number,
occupied/unoccupied
Then
generate_report bed_availability
• SRS007 Patient Mandatory Information
Each patient shall have the following mandatory information: first name, last name, phone
number, personal health number, address, postal code, city, country, patient identification number.
Let
patient_shall : Each patient shall have
patient_mandatory_information : the following mandatory information: first name, last
name, phone
number, personal health number, address, postal
code, city, country,
patient identification number
Then
patient_shall patient_mandatory_information

11. • SRS008 Update Patient Information
The HPIMS shall allow the user to update any of the patient’s information as described in
SRS007.
• Let
allow_user : The HPIMS shall allow the user
update_patient_information : update any of the patient’s information as described in
SRS007.
Then
allow_user update_patient_information

12. 5.0
COMMENTS ABOUT THE
TRANSLATION PROCESS
FROM NATURAL
LANGUAGES
STATEMENTS TO
MATHEMATICAL
STATEMENTS

13. Comments about the translation process from natural
languages statements to mathematical statements
• After the translation process from natural languages statement to
mathematical statement, it make simple, clear, and easy to
understand the statement.