OSM-L: State Nets
Reservation Clerk includes
when Ready new thread @ new reservation then
<< request filled-in form >>
enter Waiting for Form; end;
when Waiting for Form exception @ cancel then end;
when Waiting for Form @ form filled then
exception << form not OK >> enter Error Detected; end;
<< report error; provide partially filled-in form >>
enter Waiting for Form; end;
when Ready new thread if << later than 6:00 pm
and Guest not registered and someone else wants room >> then
<< cancel reservation >> end;