From: Timed protocol analysis of interconnected mobile IoT devices
Interaction | DeX primitives | |
---|---|---|
one way | Sender | Receiver |
post(lifetime) | get(*get_return, TON,TOFF) get_return | |
two way sync | Client | Server |
post_req(*get_res, timeout)get_res | get(*get_req, TON,TOFF)get_req(thr_id)post_res(thr_id) | |
two way async | post_req(lifetime)get(*get_res, TON,TOFF)get_res | get(*get_req, TON,TOFF)get_reqpost_res(lifetime) |
streaming | Consumer | Producer |
post_open(lifetime, flow_qualifier)get(*get_item, flow_qualifier, TON,TOFF) {...get_item... } | get(*get_open, TON,TOFF)get_open(flow_qualifier) {...post_item(lifetime, flow_qualifier)... } |