Luciano Baresi Andrea Maurino Stefano Modafferi Distributed BPEL Processes. 692-697 2007 conf/seke/2007 SEKE db/conf/seke/seke2007.html#BaresiMM07