image/svg+xml
Socket
Closed
Waiting_for_data
Transferring
Queueing
Wait_for_header
Wait_for_payload
Close
Init
Listen
MvK
Main
Statechart
Init
Wait_for_request
Wait_for_reply
Controller
MvK
Statecharts
Server
Running
s1 : Socket
s2 : Socket
s3 : Socket
server : Server
c : Controller
mvk : MvK
sc1 : Statechart
sc2 : Statechart
sc : Statecharts
Statecharts
Wait_for_data
Create_statechart
Process_operation
Process_data_from_server
Server
Queue
Wait_for_input
Process_input
Wait_for_reply
Queue_server_initiated_data
Wait_for_socket_open
Init
Binding
Listening
Accepting
Close