1. Specification of IT Systems Mandatory Exercise Week 4 Group 3, Søren Vestergaard, Smari Waage, Belma Boyraz, Jannick Hoy

2. State table - event/action

3. State transition diagram

4. State diagram - description Reserve User clicks “reserve” on a travel element from his list. Date and time are validated for overlap between this and other possible reserved elements. If the validation succeeds, the element is reserved for the user, otherwise it stays unreserved. Cancel User clicks “cancel” on his list of reserved travel elements. User is asked for confirmation. If confirmed, the travel element is cancelled, otherwise it stays reserved.

5. Assumptions about the environment User might be interested in travel elements and/or packages from advertisement Web services are online and functional

6. State table - stimulus/response

7. Make travel package

8. System engineering argument Assumption The relevant web service is online and functional Current state Travel element is not already reserved by user Stimulus User chooses to reserve a travel element If all of the above are satisfied A travel element is reserved for a user