1. Mandatory Assignment Specification of IT Systems

2. © SITS, 2005 2 Scope Groups of 3-4 persons 5 weekly exercises comprises the assignment Exercises will cover last weeks read material Exercises are send by mail each Tuesday to the instructor (see homepage for contact info) All 5 exercises specifying the system must be consistent –Previous exercises can be turned in again

3. © SITS, 2005 3 Choosing the system System should fulfill most of the characteristics of a reactive system Choose a system that the group has expert knowledge of, if possible Reactive system: Interactive Non-terminating Interrupt-driven State-dependent response Environment-oriented response Parallel processing Real-time

4. © SITS, 2005 4 Examples of systems - From last years groups Tennis booking system Goods reception system Risk of loss calculation and information system Internet bank system Goods management system System for returning out-of-pocket expense Trade with grain and fodder system Controller of a jukebox Controller of an automatic teller machine

5. © SITS, 2005 5 Examples of systems - From book and web pages Training information system Electronic ticket system Heating control system Elevator control system Controller for a compact dynamic bus station Cruise control system Logistics information system

6. © SITS, 2005 6 Tennis booking system - Description Tennis booking system provides the possibility of reserving a court. Besides players there are other types of users, e.g. trainers, which has other privileges than players. Two players are needed to reserve a court. A tennis trainer can book a court for several hours and a tournament director can book several courts for several hours.

7. © SITS, 2005 7 Tennis booking system - Subject domain Physical –Player, trainer, tournament director, court Conceptual –Reservation, reservation application, reservation unit Lexical –Message, court rules, reservation rules

8. © SITS, 2005 8 Tennis booking system - events, conditions, actions, stimuli, responses (1) EventStimulusResponseAction A player books an available court and have chosen a partner The system registers a new booking is wanted The system informs that the booking is made and the partner is notified The player returns to the overview and can see the reservation awaits the other player

9. © SITS, 2005 9 Tennis booking system - events, conditions, actions, stimuli, responses (2) ConditionStimulusResponseAction A player has not accepted a challenge for two days The system registers that the deadline is passed The system sends a message back to both players saying that the reservation has been cancelled The player returns to the overview and can see the reservation awaits the other player

10. © SITS, 2005 10 Tennis booking system - Requirements Courts can only be booked when the club is open Two players are needed to book a court After 4 pm and in weekends, players can only book a court for one hour The system must have a web interface, so that bookings can be done outside the club house It is only persons that is that are registered that can create and change reservations

11. © SITS, 2005 11 Tennis booking system - Constraints The system should work in Internet Explorer and in the Mozilla browsers The system must fulfill the XHTML 1.0 standard