Question 4 Flashcards
What is the probable content of this exam question?
(1) Can you navigate a path on a class diagram? (2) Can you give a loop invariant?
Look at Figure 1 of question 4 in the specimen exam paper. Is it possible to identify which prescriptions were issued by a doctor? Explain your answer in plain English.
Yes, it is possible. For a given doctor it is possible to find the set of all patients of that doctor following the association between Doctor and Patient; and for a givent patient, it is possible to find the set of all prescriptions for that patient following the association between Patient and Prescription.
Look at Figure 1 of question 4 in the specimen exam paper. Is it possible to identify which prescriptions were issued by a doctor? Explain your answer in Object Constrain Language (OCL)
context Doctor:
– The set of Prescriptions given by a Doctor of that Clinic.
self.patient.prescription.
Look at Figure 1 of question 4 in the specimen exam paper. For the association loop, find an invariant thhat should apply to the model. Write the invariant, in the context of the class Clinic, using an unambiguous description in English.
The set of all Patient instances linked to all Doctor instances of the Clinic is the same as the set of Patient instances linked to the Clinic.
Look at Figure 1 of question 4 in the specimen exam paper. For the association loop, find an invariant thhat should apply to the model. Write the invariant, in the context of the class Clinic, using Object Constraint Language (OCL).
context Clinic inv:
self.doctor.patient = self.patient
