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

Sign up to vote on this title
UsefulNot useful