1. Rollerslam PIM 2.0.4

2. Top Level

3. Specification Service View > Rollerslam > SimulationAdmin --------------------------------------- + setState(s:SimulationState) + getState() : SimulationState... simAdmin

4. Specification Type View > SimulationState ----------------------- INITIALIZED PAUSED RUNNING

5. Specification Actor View

6. Specification Life Cycle View RUNNING PAUSED setSimulationState(PAUSED) setSimulationState(RUNNING) INITIALIZED setSimulationState(INITIALIZED) setSimulationState(RUNNING)

7. > Rollerslam ----------------------------------------------------------------------------------------------------------------------------- Realization Service View > Simulation Infrastructure > Display > GameDisplay > SimulationAdmin > ControlPanel > Agent * > Player > Referee > GamePhysics > agents

8. > : Rollerslam ----------------------------------------------------------------------------------------------------------------------------- Realization Instance View : Simulation Infrastructure : Display disp1 : RollerslamDisplay : SimulationAdmin : Control Panel > : GamePhysics: Referee: Player... gfa : Agentr : Agentp1 : Agentp40 : Agent >

9. Simulation Infrastructure

10. Specification Service View > Simulation Infrastructure > * agent > Agent -------------------------------------------------------- + getAgentID() : Integer + sendActions(p:Message[0..*]) + receivePercepts() : Message[0..*] + getSimulationState() : SimulationState > Display ------------------------------------------ + getCurrentState(): Message[*] > SimulationAdmin --------------------------------------- + setState(s:SimulationState) + getState() : SimulationState simAdmin simulation

11. Specification Service View Invariants context Agent inv: getSimulationState() = simulation.simAdmin.getState() context SimulationInfrastructure inv: agents.getAgentID()-> forAll( id | agents->select(getAgentID() = id)->size() = 1)

12. Specification Type View > SimulationState ----------------------- INITIALIZED PAUSED RUNNING > Message ---------------------------- + senderID : Integer

13. Specification Life Cycle View RUNNING PAUSED setSimulationState(PAUSED) setSimulationState(RUNNING) INITIALIZED setSimulationState(INITIALIZED) setSimulationState(RUNNING)

14. Specification Operation View context SimulationAdmin::setState(s:SimulationState) post: getState() = s

15. Realization Service View > Simulation Infrastructure --------------------------------- - state : SimulationState --------------------------------- + setState(s:SimulationState) + getState() : SimulationState > Simulation Admin Message msgs *

16. Realization Operation View context SimulationInfrastructure::setState(s:SimulationState) post: state = s context SimulationIntrastructure::getState() : SimulationState body: state context Agent::sendActions(actions : Message[*]) post: simulation.msgs = simulation.msgs->including(actions) context Agent::receivePercepts() : Message[*] body: result = simulation.msgs context Display::getCurrentState() : Message[*] body: result = simulation.msgs

17. Realization Algorithmic View simulation.msgs->isEmpty() [simulationStateProvider.getState() == RUNNING]

18. Future Work Top level component should include one operation in some realized interface for each GUI use case Include GUI for deployment management after definition of KobrA-2 “Deployment Diagrams”