1 / 28

Rollerslam PIM 2.0.2 (a)

Rollerslam PIM 2.0.2 (a). Top Level. <<interface>> SimulationAdmin ---------------------------------------. + setState(s:SimulationState) + getState() : SimulationState. Service Specification View. <<K2Realize>>. simAdmin. <<subject>> Rollerslam. <<K2Component >> Rollerslam

rafiki
Download Presentation

Rollerslam PIM 2.0.2 (a)

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Rollerslam PIM2.0.2 (a)

  2. Top Level

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

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

  5. : Rollerslam ----------------------------------------------------------------------------------------------------------------------------- Realization Instance View <<K2RealizeLink>> <<K2UseLink>> <<K2UseLink>> <<K2RealizeLink>> : Control Panel : SimulationAdmin <<K2UseLink>> : Simulation Infrastructure <<K2RealizeLink>> disp1 : RollerslamDisplay : Display <<K2UseLink>> <<K2UseLink>> <<K2RealizeLink>> disp2 : RollerslamDisplay : Display gfa : Agent ca : Agent r : Agent p1 : Agent p40 : Agent <<K2RealizeLink>> <<K2RealizeLink>> <<K2RealizeLink>> <<K2RealizeLink>> <<K2RealizeLink>> ... : GamePhysics : Coach : Referee : Player : Player

  6. SimulationInfrastructure

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

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

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

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

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

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

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

  14. Display Updater

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

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

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

  18. CommunicationInfrastructure

  19. Specification Service View <<K2Realize>> agents <<K2Component>> Communication Infrastructure <<interface>> Agent * <<interface>> Simulation StateProvider <<K2Use>> env {subsets agents} <<K2Use>>

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

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

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

  23. Rollerslam PIM2.0.2 (b)

  24. <<stereotype>> K2Component Agent <<stereotype>> K2Use Effector Sensor <<stereotype>> K2Realize ORCAS Profile

  25. Top Level

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

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

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

More Related