Sample Formalization

Notes: 1. There are more complex formalizations.

2. Some components are still not fully formal (get available

rooms, make reservation, get NextGuestNr).

Previous slide

Next slide

Back to first slide

View graphic version