Behavioural contracts with request-response operationsyBehavioural Contracts • March 31st, 2010
Contract Type FiledMarch 31st, 2010We now define the operational semantics of both models. We start by observ- ing that the WSCL contract recreply(a, b .C ) is the same as the BPEL contract