Analyzing compatibility of BPEL processesAxel MartensSimon Moseret al.2006AICT/ICIW 2006Conference paper