TASK 2:SOFTWARE REQUIREMENT

MATH III:

NAME: NUR LIANA ATIKAH BINTI AWANG

MATRIC NO : A142064

TITLE OF SOFTWARE REQUIREMENT: Hospital Patient Information Management System

2.0 STATEMENT OF FUNCTIONAL REQUIREMENT OF THE SYSTEM

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.   

• Database

• SRS007          Patient Mandatory InformationEach 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. 

3.0 ASSUMPTION

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. 

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

Mathematical statements of the functional requirements ( propositional calculus)

• SRS001           Add patientsThe 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

• 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

• 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 InformationEach 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

• 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

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

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.