Students admitted to study at an institution enter at the basic
level and are required to pass three tests prior to
progressing to the advanced level which also requires three
passes. On passing all tests at the advanced level, a student
then graduates. If a student fails any test, at either level,
they are allowed to resit the test up to two times before leaving
the level in which case the registration of the student is deemed
to have been cancelled.
In the following nb denotes the number of basic tests taken, na
the number of advanced tests taken, r the number of resits (ra, rb
for advanced and basic respectively), g indicating a pass (p) or
fail (f) grade (ga, gb for advanced and basic respectively).
Select all state machines reflecting the student progression
description above.
- Q13 Students Admitted To Study At An Institution Enter At The Basic Level And Are Required To Pass Three Tests Prior To 1 (82.56 KiB) Viewed 11 times
/nb=0;na=0;rb=0;ra=0;gb-p;ga=p Basic pass[nb<=2,gb==p]/nb++ when(na>=3) Advanced Graduated when(nb> =3) fail[gb==f] pass[gb==p]/nb++ fail[ga==f] pass[ga==p]/na++ when(rb> =2) Resit Cancelled resit[rb<=1]/rb++;gb=f
/nb=0r=0g=p passlg==pr<=1]/nb++ Basic No failure Failure pass[nb<=2.g==pl/nb++ fail[g==f] resit[r<=1,g==f]/r++ when(r>=2) Cancelled when(nb>=3) /na=0r=0g=p passlg==pr<=1]/na++ when(r>=2) when(na> = 3) Graduated Advanced No failure Failure pass[na<=2,g==p]/na++ resit[r<=1,g==f]/r++;g=f fail[g==f]
nb=0;na=0;rb=0;ra=0;gb=p;ga=p Basic pass[nb<=2,gb==p]/nb++ Advanced Graduated fail[gb==f] pass[gb==p]/nb++ fail[ga== f] pass[ga= =p]/na++ when(nb> =3) when(na>= 3) Basic resit Advanced resit resit[rb<=1]/rb++;gb=f when(rb>=2) when(ra>=2) resit[ra<=1]/ra++;ga=f Cancelled