Idle*

SketchSystems.spec

Idle*
  call registration API -> Register display
  display connects -> Display connection
  mobile message -> Mobile
  display message -> Display

Message Server
  Register display
    display registered -> Idle
    # Respond with error
    error occured -> Idle
  Display connection
    display connected -> Idle
  Login message
    display ID extracted -> Display checks login
    # Send error message to mobile
    display ID unknown -> Idle
  Display message
    forwarded -> Display
  Mobile message
    forwarded -> Mobile
Client
  Mobile
    login sent -> Login message
    interacted -> Display message
  Display
    interaction rendered -> Idle
    interaction reply -> Mobile message
    Display checks login
      login accepted -> Mobile
      # Send error message to mobile
      login rejected -> Idle

SketchSystems_prototype.js

function render(model){
  let current_state_name = model.active_states[0].name;
  return $("h1",
           {style: {color: "darkBlue"}},
           `The current state is: ${current_state_name}`);
}