A distributed system is composed of three processes. We want to model each of them by an EFSM according to the following description. The Requestor process sends a request (REQ) to a Delegator process...

A distributed system is composed of three processes. We want to model each of them by an EFSM according to the following description. The Requestor process sends a request (REQ) to a Delegator process which, after communicating with the Executor process, sends either an OK or NOTOK message back to the Requestor. Upon receipt of the REQ from the Requestor, the Delegator process forwards the request to the Executor process that processes the request and replies back either with the message positive (POS) or negative (NEG). If the Delegator receives POS, it will forward OK to the Requestor, otherwise it tries again after 5 seconds, sending the same request to the Executor. Once a second NEG is received from the Executor, the Delegator forwards NOTOK to the Requestor. Draw the graphical representation of the EFSM specifications of the three processes. Show the tabular representation of the Delegator process.