hospital management system

jEdit - SHMS

FR1:LOGIN......................................................................................................................................................... 3 FR2: ................................................................................................................................................................... 4 FR3:InvalidLogin................................................................................................................................................ 5 FR4: ................................................................................................................................................................... 5 FR5: ................................................................................................................................................................... 6 FR6:Online Appointment : ................................................................................................................................ 6 FR6.1: ................................................................................................................................................................ 7 FR6.2: ................................................................................................................................................................ 7 FR7: ................................................................................................................................................................... 8 FR8:Sign up ....................................................................................................................................................... 8 FR8.1: ................................................................................................................................................................ 9 FR8.2: ................................................................................................................................................................ 9 FR8.3: ................................................................................................................................................................ 9 FR9: ................................................................................................................................................................. 10 FR10:The user will request a registration form............................................................................................... 11 FR11:The system shall generate a registration form upon user's request...................................................... 11 FR14:The system shall validate the advice...................................................................................................... 12 FR15:The system will check the availability of bed ......................................................................................... 12 FR16:The system will store the information about the patient withen database........................................... 12 FR17:The system will report any discrepency about the admission ............................................................... 12 FR19:The Doctor shall request for patient history. ......................................................................................... 13 FR20:The system shall display the history....................................................................................................... 13 FR21:The system shall provide options to add new treatment...................................................................... 13 FR22:The system shall update history when a new treatment is added......................................................... 13 1

jEdit - SHMS

FR23:The doctor will request for a prescription form..................................................................................... 14 FR24:The system shall save the prescription form.......................................................................................... 14 FR25:The system shall validate the medication against prescription. ............................................................ 14 FR26:system shall save the the medication according to the current date and time ..................................... 14 FR27:The system shall assign each patient admitted a separate account. ..................................................... 15 FR28:The charges for the services provided to the......................................................................................... 15 FR29:The system shall calculate the charges for ............................................................................................. 15 FR30:The invoice will be issued to the admitted patients .............................................................................. 15 FR31:Once the invoice is paid it will be updates for the patients account ..................................................... 15

2

jEdit - SHMS

3

jEdit - SHMS

FR1:LOGIN

FR2:

Password? = f(ID)

4

jEdit - SHMS

FR3:InvalidLogin

FR4:

Rlogin = (User_login ^ success) (Invalid).

5

jEdit - SHMS

FR5:

FR6:Online Appointment :

6

jEdit - SHMS

FR6.1:

FR6.2:

ROL_Reg = (OL_Reg ^ Success)

7

jEdit - SHMS

FR7:

FR8:Sign up

8

jEdit - SHMS

FR8.1:

FR8.2:

FR8.3:

Patient_Signup = (Adding_NewPatient ^ Success) OR Fail

9

jEdit - SHMS

FR9:

10

jEdit - SHMS 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27

Declaring some global variables required in multiple sections

Days:1..31 Month:1..12 | Days  Days Month ( leap _)

== { y: 4*y }

\

( { y: 100*y }

\ { y: 400*y } )

date_of_Birth:Date date_of_Registration:Date | Date_of_birth  dom Date Date_of_Registration  dom Date

28

FR10:The user will request a registration form

29

FR11:The system shall generate a registration form upon user's request.

30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49

date_of_Birth:Date | Date_of_Registration  dom Date

Patient == ID × Name × Age × Gender × Date_of_registration × Date_of_birth

Patient:Patient | Patient = dom Registration The Registration Intialization Registration | Registration = 

11

jEdit - SHMS 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102

FR12:The system shall save the information in the database Registration Pinfo?:PINFO Message | Ptid  Registration

FR13:The patient shall be admitted in the hospital for any kind of treatment

WardName == Name

DrName == Name

Patient_admission == ID × WardID × BedID × wardName × DrName

Admissions | Admissions = 

Pateint_Adm:Patient_admission | Pateint_Adm = dom Admissions FR14:The FR15:The FR16:The FR17:The

system system system system

shall validate the advice will check the availability of bed will store the information about the patient withen database. will report any discrepency about the admission

Admissions Registration Pinfo?:Pinfo | ID = dom Registration AdmID  Admissions

12

jEdit - SHMS 107 FR18:The Patient will be discharged from hospital after treatment 108 109 Dischrgelist:List 110 | Dischrgelist = dom Discharged 111 112 113 Accounts 114 Admissions 115 116 AdmID?:ID 117 | 118 119 120 121 FR19:The Doctor shall request for patient history. 122 FR20:The system shall display the history. 123 FR21:The system shall provide options to add new treatment. 124 FR22:The system shall update history when a new treatment is added 125 TreatmentName == Name 126 127 128 129 Start_Date == Date 130 131 132 End_date == Date 133 134 DrName == Name 135 136 137 Treatment == AdmID × TreatmentName × Start_date × End_date × DrName 138 139 140 141 Treatment:Treatment 142 143 | 144 Treatment =  145 146 History:History 147 148 | 149 History  Histroy 150 151 152 History 153 Admissions History!:History 154 AdmID?:ID 155

13

jEdit - SHMS 160 161 PTreatment:Treatment 162 163 | PTreatment  Treatment 164 165 166 Admissions 167 History 168 169 AdmID?:Admissions 170 NewTreatments?:Treatments 171 | AdmID?  Admissions 172 173 174 175 FR23:The doctor will request for a prescription form. 176 FR24:The system shall save the prescription form 177 FR25:The system shall validate the medication against prescription. 178 FR26:system shall save the the medication according to the current date and time 179 Med_Time == Time 180 181 182 Med_Name == Name 183 184 185 186 187 188 Comments == [ Char ] 189 190 191 Medication = AdmID × Med_Name × Dosage × Time × Comments 192 193 194 PMedication:Medication 195 | Pmedication  Medication 196 197 198 Medication 199 200 | 201 Medication =  202 203 Admissions 204 205 Medication 206 Prescription?:Pprescription 207 208 | 209 AdmID  dom Admissions

14

jEdit - SHMS 213 FR27:The system shall assign each patient admitted a separate account. 214 FR28:The charges for the services provided to the 215 patient will be maintained in individual accounts 216 FR29:The system shall calculate the charges for 217 the services availed by the patient 218 219 220 221 222 223 224 225 226 227 228 229 230 231 Account = AdmID × Account_Number × Balance 232 Invoice = Account_number × Invoice_number × Amount × Date 233 234 PAccount:Account 235 | Paccount  Accounts 236 237 238 239 Accounts 240 | Accounts =  241 242 243 FR30:The invoice will be issued to the admitted patients 244 according to the services availed 245 246 Admissions 247 Accounts AdmID?:ID 248 Charges?:Pcharges 249 250 | 251 AdmID  Dom Admissions Charges > 0 252 253 254 255 Billing PInvoice!:Invoice 256 257 | 258 259 260 FR31:Once the invoice is paid it will be updates for the patients account 261 and a clearnce will be given to the patient 262 263 Accounts Billing 264 AmountPaid:Pamount 265

15

jEdit - SHMS 266 | 267 268 269 270 271 272 273 274 | 275 276 277 278 279 | 280 281 282 283 284 | 285 286

InvoiceID  dom Billing

Success Failure PREDS

Result!:Report Result! = Ok

Result!:Report Result!=Failed

16