1. Rollerslam PIM 2.0

2. Top Level Component

3. Realization Service View > Effector > Sensor > Infrastructure > RollerslamPlayer > Display > GamePhysicsAgent > Effector > Sensor > RollerslamDisplay > LogRecording Service > SimulationAdmin > ServerDisplay > * 1 RollerslamReferee > RollerslamCoach agentEffectorsagentSensors envEffectorenvSensor > SimulationStateProvider >

4. Realization Instance View : Effector: Sensor : Infrastructure : Display env :GamePhysicsAgent :Effector:Sensor disp1 : RollerslamDisplay : LogRecording Service : SimulationAdmin : ServerDisplay coach : RollerslamCoach : Displaydisp2 : RollerslamDisplay : Effector: Sensor referee : RollerslamRefereeplayer1 : RollerslamPlayerplayer40 : RollerslamPlayer : Effector: Sensor: Effector: Sensor envEffector envSensor playern : RollerslamPlayer : Effector: Sensor... > :SimulationStateProvider >

5. Infrastructure Component

6. Specification Service View > Effector > Sensor > Infrastructure > * 1 agentEffectors agentSensors envEffectorenvSensor > Effector ------------------------------- + doAction(ac:Message) > Sensor ------------------------------------------- + getPerceptions() : Message[0..*] > SimulationAdmin -------------------------------------- + run() + stop() + getState() : SimulationState > SimulationStateProvider ------------------------------- +getEnvState() : Message > Display ---------------------------- + update(m:Message) > LogRecordingService --------------------------------- + addEntry(e : LogEntry)

7. Specification Type View > SimulationState ----------------------- STOPPED RUNNING CREATED Message ---------------------- +sender : Integer

8. Specification Life Cycle View CREATED RUNNING STOPPED run() stop()

9. Specification Operation View context SimulationAdmin::run() post: getState() = RUNNING context SimulationAdmin::stop() post: getState() = STOPPED

10. Realization Service View > Infrastructure -------------------------------------------------------------------------------------------------------------- > SensorEffector Manager > LogRecording Component > Display Updater > Effector > Sensor > Effector > Sensor > LogRecording Service > SimulationStateProvider > Display >

11. Log Recording Component

12. Specification Service View > LogRecording Component > LogRecordingService --------------------------------- + addEntry(e : LogEntry)

13. Specification Type View LogEntry ------------------------ +cycle : Integer + agent : Integer + timestamp : Date > Date

14. Realization Service View LogEntry * > LogRecordingService --------------------------------- + addEntry(e : LogEntry) > LogRecording Component entries

15. Realization Operation View context LogRecordingComponent:: addEntry(e: LogEntry) post: entries = entries@pre->including(e)

16. Display Updater

17. Specification Service View > Display Updater > Display > SimulationStateProvider ------------------------------- +getEnvState() : Message

18. Realization Algorithmic View display->forall(x | x^update(m)) result = simulationStateProvider ^getEnvState().result() m : Message [simulationStateProvider. getState() == RUNNING]

19. Sensor Effector Manager

20. Specification Service View > SensorEffector Manager > Effector > Sensor > Effector ------------------------------- + doAction(ac:Message) > Sensor ------------------------------------------- + getPerceptions() : Message[0..*] * envEffector envSensor