1. Morten Bohøj, Jakob Dam og Brian Jensen Gruppe 2 A A R H U S U N I V E R S I T E T SoITS d. 26. september 2006 Assignment 4 Behaviour Notations

2. Morten Bohøj, Jakob Dam og Brian Jensen Gruppe 2 A A R H U S U N I V E R S I T E T SoITS d. 26. september 2006 ERD with SuD

3. Morten Bohøj, Jakob Dam og Brian Jensen Gruppe 2 A A R H U S U N I V E R S I T E T SoITS d. 26. september 2006 STT: Composite system (1/3) Idle() The board time stops and the buzzer sounds Time_Running()Halftime runs out Time_Paused(t) Time_Out(ps)The game time is paused and board shows a timeout countdown Time_Running(t)Timeout button is pushed The board score is updated and statistics are updated Game_Mode()Goal increment button is pushed and scoring player is selected Time_Paused(t)Gametime on board is pausedTime_Running(t) Pause button is pushed Time_Running(t)Gametime on board startsTime_Paused(t)Start button pushed by operator Next StateDesired effectCurrent StateEvent Game_Mode()

4. Morten Bohøj, Jakob Dam og Brian Jensen Gruppe 2 A A R H U S U N I V E R S I T E T SoITS d. 26. september 2006 STT: Composite system (2/3) rcdmo1 Game_Initialization()All scores, suspension, timers, teams and type of sport are reset Game_Started()or Game_Ended() The operator resets the system Game_Ended()Informs the statistics that the game is over Idle()The operator presses the “End game”-button If there is only one suspension, go to Normal_Game_Mode() or else stay in Suspension() Remove the suspension countdown from the board. Suspension(t)Suspension runs out. Suspension(t)The board shows the suspension time and statistics are updated Game Mode()A suspension is registered by the operator Next StateDesired effectCurrent StateEvent

5. Morten Bohøj, Jakob Dam og Brian Jensen Gruppe 2 A A R H U S U N I V E R S I T E T SoITS d. 26. september 2006 STT: Composite system (3/3) Game_Initialization()The system presents interface to retrieve/edit information Game_Initialization()The operator prepares a new game Suspension(t) Time_paused(t)The timeout timer on the board disappears and the game is ready to be resumed Timeout(ps)The timeout runs out Next StateDesired effectCurrent StateEvent

6. Morten Bohøj, Jakob Dam og Brian Jensen Gruppe 2 A A R H U S U N I V E R S I T E T SoITS d. 26. september 2006 Statechart

7. Morten Bohøj, Jakob Dam og Brian Jensen Gruppe 2 A A R H U S U N I V E R S I T E T SoITS d. 26. september 2006 STT: SuD (1/3) Idle() sound_buzzer()Time_running(t)HalftimeTimer.interupt() Time_Paused(t) timeout(ps) pause timers() start timeoutTimer(tt) Time_Running(t)timeout(t) Game_Mode() Board.update score() Statistics.goal_scored(p) Game_Mode()goal scored(p, t) Time_Paused(t) pause timers()Time_Running(t)pause_game() Time_Running(t) start timers()Time_Paused(t)start_game() Next StateEffectCurrent StateStimulus

8. Morten Bohøj, Jakob Dam og Brian Jensen Gruppe 2 A A R H U S U N I V E R S I T E T SoITS d. 26. september 2006 STT: SuD (2/3) rcdmo1 Game_Init.() Scores.reset() timers.reset() suspensions.reset() sport.reset() teams.reset() Game_Ended() or Game_Started() reset() Game_Ended() Statistics.commitGame(g)Idle()endGame(g) Suspension(t) Board.remove suspension(s) If number of suspensions == 0 then system.state := Normal_Game_Mode() Suspension(t)Suspension.interupt(s) Suspension() start new suspension() Board.display suspension(p) Statistics.update(p) Game_Mode()suspension(p) Next StateDesired effectCurrent StateEvent

9. Morten Bohøj, Jakob Dam og Brian Jensen Gruppe 2 A A R H U S U N I V E R S I T E T SoITS d. 26. september 2006 STT: SuD (3/3) Game_Started()newGame() score.reset() suspensions.reset() timers.reset() Time_paused(t) Board.remove timeout()Timeout(ps)Timeout.interupt() Next StateDesired effectCurrent StateEvent Game_Ended()

10. Morten Bohøj, Jakob Dam og Brian Jensen Gruppe 2 A A R H U S U N I V E R S I T E T SoITS d. 26. september 2006 Assumptions  Operator operating the system correctly.  The connection to the server in charge of the statistics never goes down.  The board displays the information correctly.

11. Morten Bohøj, Jakob Dam og Brian Jensen Gruppe 2 A A R H U S U N I V E R S I T E T SoITS d. 26. september 2006 Statechart (Workflow)  All Activities Supported