WS-BPEL Processes Dieter K?nig IBM B?blingen Laboratory Sch?naicher Stra?e 220, 71032 B?blingen, Germany dieterkoenig@de.ibm.com Niels Lohmann Universit?t Rostock, Institut f?r Informatik 18051 Rostock, Germany niels.lohmann@unirostock.de Simon Moser IBM B?blingen Laboratory Sch?naicher Stra?e 220, 71032 B?blingen, Germany smoser@de.ibm.com Christian Stahl Humboldt-Universit?t zu Berlin, Institut f?r Informatik Unter den Linden 6, 10099 Berlin, Germany stahl@informatik.huberlin.de Karsten Wolf Universit?t Rostock, Institut f?r Informatik 18051 Rostock, Germany karsten.wolf@unirostock.de WS-BPEL defines a standard for executable processes. Executable processes are business processes which can be automated through an IT infrastructure. The WS-BPEL specialso introduces the concept of abstract processes: In to their executable siblings, abstract processes are not executable and can have parts where business logic is disguised. Nevertheless, the WS-BPEL specification introduces a notion of...