Rollerslam PIM 2.0
Top Level Component
Realization Service View > Effector > Sensor > Infrastructure > RollerslamPlayer > Display > GamePhysicsAgent > Effector > Sensor > RollerslamDisplay > LogRecording Service > SimulationAdmin > ServerDisplay > * 1 RollerslamReferee > RollerslamCoach agentEffectorsagentSensors envEffectorenvSensor > SimulationStateProvider >
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 >
Infrastructure Component
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)
Specification Type View > SimulationState STOPPED RUNNING CREATED Message sender : Integer
Specification Life Cycle View CREATED RUNNING STOPPED run() stop()
Specification Operation View context SimulationAdmin::run() post: getState() = RUNNING context SimulationAdmin::stop() post: getState() = STOPPED
Realization Service View > Infrastructure > SensorEffector Manager > LogRecording Component > Display Updater > Effector > Sensor > Effector > Sensor > LogRecording Service > SimulationStateProvider > Display >
Log Recording Component
Specification Service View > LogRecording Component > LogRecordingService addEntry(e : LogEntry)
Specification Type View LogEntry cycle : Integer + agent : Integer + timestamp : Date > Date
Realization Service View LogEntry * > LogRecordingService addEntry(e : LogEntry) > LogRecording Component entries
Realization Operation View context LogRecordingComponent:: addEntry(e: LogEntry) post: entries =
Display Updater
Specification Service View > Display Updater > Display > SimulationStateProvider getEnvState() : Message
Realization Algorithmic View display->forall(x | x^update(m)) result = simulationStateProvider ^getEnvState().result() m : Message [simulationStateProvider. getState() == RUNNING]
Sensor Effector Manager
Specification Service View > SensorEffector Manager > Effector > Sensor > Effector doAction(ac:Message) > Sensor getPerceptions() : Message[0..*] * envEffector envSensor