Question: Question 7 (15 marks): Specify the hygiene requirement that hands should be washed between handling raw meat and cooked meat. Use the events wash, raw
Question 7 (15 marks): Specify the hygiene requirement that hands should be washed between handling raw meat and cooked meat. Use the events wash, raw and cooked, to refer to these three activities.
Q7.a) Please draw the transition diagram for the hygiene requirement. Note that the specification should allow any trace which satisfies the requirement. (7 marks)
Q7.b) Does the combination RAW [|{wash}|] COOKED meet this specification? Please prove it with an explanation. (8 marks)
RAW = raw-> wash -> RAW
COOKED = wash -> cooked -> COOKED
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
