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.