Question: 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
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 the these three activities
a) Please draw the transition diagram for the hygiene requirement. Note that the specification should allow any traces which satisfies the requirement.
b) Does the combination RAW[|{wash}|] COOKED meat this specification? Please prove it with an explanation.
RAW = raw-> wash-> RAW COOKED = washed-> cooked ->COOKED
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
