3. Statements of functional requirements of the system:
1) Registration
a. Add patients
The HPIMS shall allow front-desk staff to add new patients to
the system.
b. 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.
2) Check Out
a. 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.
b. Add to beds-available list
The administrative staff in the ward shall be allowed to put the
beds just evacuated in beds-available list.
4. 3) Report Generation
a. 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.
b. Bed Availability
The HPIMS shall generate reports on bed availability
about the following information: ward name, bed
number, occupied/unoccupied.
4) Database
a. 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.
b. Update Patient Information
The HPIMS shall allow the user to update any of the
patient’s information as described in SRS007.
5. The mathematical statements of the
functional requirements
1 a) HPIMS ˅ front_ desk_ staff →
new_ patients
b) HPIMS ˅ front _ desk _ staff → ID_
patient ˅ add_ record
ID ˅ patient ↔ his _ stay ˅ her _
stay
2 a) Administrative _ staff ˅ ward ↔
ID_ patient ˅ patient _ check _ out
b) Administrative_ staff ˅ ward ↔
beds_ just_ evacuated ˅ beds-available
list
6. 3 a) HPIMS ↔ reports_ patient’s_ PHN ˅
patient’s_ name ˅ ward_ name ˅ bed_ number
˅ doctor’s_name_assigned
b) HPIMS ↔ report_bed_ availability ˅ ward_
name ˅ bed_number_occupied ˅ unoccupied
4 a) patient ↔ first_ name ˅ last_ name ˅
phone_number ˅personal_health_ number ˅
address ˅ postal_ code ˅ city ˅ country ˅
patient_ identification_ number
b) HPIMS ↔ user_update ˅ patient’s_
information
7. Your comments about the translation
process from natural languages
statements to mathematical
statements:
Based through natural language
statements, we can translate into
mathematical statements such as
propositions. For an example, we can
translate natural language statements
into propositional calculus.