TransparentHandleRequestFSM
INIT
REQUEST_RELAYED
WAIT_FOR_ACK
public
END_INVITE_SUCCESS
public
END_INVITE_FAILURE
public
END_BYE
public
END_OTHERS
[...] /
{
sender ! outgoingRequ...
...
}
1
/ ...
2
sender ? Provis... [...] /
receiver ! receiver.cre...
sender ? Succes... [...] /
{
...
receiver ! receiver.cre...
}
receiver ? Ack /
{
...
sender ! ackMsg
}
sender ? ErrorR... [...] /
receiver ! receiver.cre...
sender ? Redire... [...] /
receiver ! receiver.cre...
sender ? FinalR... [...] /
receiver ! receiver.cre...
sender ? FinalR... [...] /
receiver ! receiver.cre...