Revision d2a708a06bd57b0431abcd8c62c968d34b8ca99a (click the page title to view the current version)

Behavioral/WebSocketProtocol

Simplified Web Socket Protocol

enum Request = open | close
abstract WebSocket
xor request -> Request ?
success
failure
xor states
initial ready
[ initially no request ]
[ request = open -[request.success]--> opened ]
[ request = open -[request.failure]--> failed ]
opened
[ initially no request ]
[ request = close -[request.success]--> closed ]
[ request = close -[request.failure]--> failed ]
closed --> closed
[ no request ]
failed --> failed
[ no request ]

Example scenarios

  1. Web socket successfully opened and closed
webSocketOpenedClosed : WebSocket
[ ready --> request = open && request.success --> opened -->> request = close && request.success --> closed --> closed ]
WebSocket1
states
ready
WebSocket2
request -> open
success
states
ready
WebSocket3
states
opened
WebSocket4
request -> close
success
states
opened
WebSocket5
states
closed
WebSocket6
states
closed
  1. Web socket successfully opened but failed to be closed
webSocketOpenedFailed : WebSocket
[ ready --> request = open && request.success --> opened -->> request = close && request.failure --> failed --> failed ]
|WebSocket |WebSocket |WebSocket |WebSocket |WebSocket |WebSocket
| |  request->open | |  request->close | |
| |    success | |    failure | |
|  ready |  ready |  opened | |  failed | failed
  1. Web socket failed to be opened
webSocketFailed : WebSocket
[ ready --> request = open && request.failure --> failed --> failed ]
|WebSocket |WebSocket |WebSocket |WebSocket
| |  request->open | |
| |    failure | |
|  ready |  ready |  failed |  failed