Specification of IT Systems Mandatory Exercise Week 4 Group 3, Søren Vestergaard, Smari Waage, Belma Boyraz, Jannick Hoy
State table - event/action
State transition diagram
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.
Assumptions about the environment User might be interested in travel elements and/or packages from advertisement Web services are online and functional
State table - stimulus/response
Make travel package
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