COMPUTING SCIENCE A Formal Semantics for the WS-BPEL Recovery Framework The π-Calculus Way Nicola Dragoni and Manuel Mazzara TECHNICAL REPORT SERIES No. CS-TR-1160 August 2009