Beruflich Dokumente
Kultur Dokumente
[User]
[Patient]
[Doctor]
[Receptionist]
[Appointment]
Response :: = Success
|Record Add
|Record Update
|Record Search
|Record Delete
Admin
PatientAdd, PatientUpdate, OutdoorPatientAdd, OutdoorPatientUpdate IndoorPatientAdd,
IndoorPatientUpdate : ℙ Patient
DoctorAdd : ℙ Doctor
ReceptionistAdd : ℙ Receptionist
PatientUpdate ⊆ PatientAdd
OutdoorPatientUpdate ⊆ OutdoorPatientAdd
IndoorPatientUpdate ⊆ IndoorPatientAdd
https://z-editor.github.io 1/5
4/13/2019 Z-Editor
https://z-editor.github.io 2/5
4/13/2019 Z-Editor
https://z-editor.github.io 3/5
4/13/2019 Z-Editor
IndoorPatient Record Update
ΔAdmin
patient? : Patient
update? : Patient
response! : Response
patient? ∈ IndoorPatientAdd
patient?' = patient? ⋃ {update?}
IndoorPatientUpdate' = IndoorPatientUpdate ⋃ {patient?}
response! = Success
response! = Record Update
Doctor Add
ΔAdmin
doctor? : Doctor
response! : Response
doctor? ∉ DoctorAdd
DoctorAdd' = DoctorAdd ⋃ {doctor?}
response! = Success
response! = Record Add
Receptionist Add
ΔAdmin
receptionist? : Receptionist
response! : Response
receptionist? ∉ ReceptionistAdd
ReceptionistAdd' = ReceptionistAdd ⋃ {receptionist?}
response! = Success
https://z-editor.github.io 5/5