Visibility Example

@ new reservation;

@ form filled;

@ cancel reservation;

read only

Guest [1:*] has reservation for Room [0:*]

on ArrivalDate [1:*] for NrDays [1:*];

hidden

Guest [1] has Name [1:*];

…

@ new reservation then …

...

end;