Un limbaj bazat pe XML pentru specificaţie formală a proceselor de afaceri şi a protocoalelor de interacţiune de afaceri. BPEL extinde modelul de interacţiune Web Services şi îi permite să sprijine tranzacţiile de afaceri.