Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis

Wolfram Amme, Axel Martens, Simon Moser. Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. IJBPIM, 4(1):47-59, 2009. [doi]

Abstract

Abstract is missing.