Concurrent Programming - Course Work 4
A museum allows visitors to
enter through its west entrance and leave through its east exit. Arrivals
and departures are signalled to the museum controller by the turnstiles
at the entrance and exit. At opening time, the museum director signals
the controller that the museum is open and then the controller permits
both arrivals and departures. At closing time, the director signals that
the museum is closed at which point only departures are permitted by the
controller. The diagram below models the museum as processes communicating
by shared events.
1) Using the CSP notation
from your lecture notes, give a complete specification of the MUSEUM system.
2) Transform your specification
for CONTROL into a Java monitor.