1. Rollerslam PIM 2.0.2 (a)

2. Top Level

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

4. > Rollerslam ----------------------------------------------------------------------------------------------------------------------------- Realization Service View > Simulation Infrastructure > Display > GameDisplay > SimulationAdmin > ControlPanel > Agent * > Player > Referee > Coach > GamePhysics > agents env {subsets agents} >

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

6. Simulation Infrastructure

7. Specification Service View > Simulation Infrastructure > * agents env {subsets agents} > Agent -------------------------------------------------------- + sendPerceptions(p:Message[0..*]) + getActions() : Message[0..*] + setSimulationState(s:SimulationState) > Display ---------------------------- + update(m:Message) > SimulationAdmin --------------------------------------- + setState(s:SimulationState) + getState() : SimulationState simAdmin

8. Specification Type View > SimulationState ----------------------- INITIALIZED PAUSED RUNNING Message > Agent sender

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

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

11. Realization Service View > Simulation Infrastructure --------------------------------------------------------------------------------------------------------------- + state : SimulationState --------------------------------------------------------------------------------------------------------------- + setState(s:SimulationState) + getState() : SimulationState --------------------------------------------------------------------------------------------------------------- > Communication Infrastructure > Display Updater > Display > Agent * env {subsets agents} agents > Simulation StateProvider > Simulation Admin

12. Realization Instance View : Simulation Infrastructure --------------------------------------------------------------------- + state : INITIALIZED --------------------------------------------------------------------- ag : Agent env : Agent d : Display > simAdmin : Communication Infrastructure : Simulation StateProvider > : Display Updater >

13. Realization Operation View context SimulationInfrastructure::setState(s:SimulationState) post: state = s and agents->forAll(ag|ag^setState(s)) context SimulationIntrastructure::getState() : SimulationState body: state

14. Display Updater

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

16. Realization Service View > DisplayUpdater ------------------------------- +getEnvState() : Message > SimulationStateProvider ------------------------------- +getEnvState() : Message

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

18. Communication Infrastructure

19. Specification Service View > Communication Infrastructure > Agent * env {subsets agents} agents > Simulation StateProvider >

20. Realization Service View > Communication Infrastructure Message envMsgs * envState 1

21. Realization Type View context CommunicationInfrastructure inv: simulationStateProvider.getState() = self.envState

22. Realization Algorithmic View envState = env.getActions().any() envMsgs = agents-> excluding(env)->iterate(ag; result : Set(Message) = Set{} | result->including(ag.getActions)) agents->excluding(env)-> forAll(ag | ag^sendPerceptions(Set{envState})) env^sendPerceptions(envMsg)

23. Rollerslam PIM 2.0.2 (b)

24. ORCAS Profile > K2Component Agent > K2Use EffectorSensor > K2Realize

25. Top Level

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

27. Realization Service View > GamePhysics > Referee > Player > RefereeEffector --------------------------------------- + setScore(a:Integer, b:Integer) > FullyObservableWorldSensor --------------------------------------- + sense(model:World) > PlayerEffector --------------------------------------- + dash(dir:Vector) + kick(dir:Vector) > 40 41 > GameDisplay > Display ------------------------------------ + update(model:WorldModel) > * SimulationAdmin --------------------------------------- + setState(s:SimulationState) + getState() : SimulationState >

28. Realization Operation View context Rollerslam::setState(s:SimulationState) post: state = s and agents->forAll(ag|ag^setState(s)) context Rollerslam::getState() : SimulationState body: state