when an execution arrives in a receive activity, first thing to do is check wether a message already has arrived. those messages are maintained/stored by the correlator.

now i'm in doubt what the optimal arguments should be that the receive activity provides to the correlator to check if that expected message already arrived.

what information can be deducted from the incoming message and the bpel process information when a message arrives for which no existing process was found ?

which subset of those information items can be used when the execution actually arrives in the receive.