BPEL4WS 1.1 (Business Process Execution Language for Web Services) and its successor WS-BPEL 2.0 (Web Services for Business Process Execution Language) are business process orchestration standards which let you describe your business processes under the form of Web services, and specify how they are connected to each other to accomplish specific tasks. PowerDesigner supports modeling for BPEL4WS 1.1 and WS-BPEL 2.0 and higher, including round-trip engineering.
The following example shows a business process model diagram modeled with WS-BPEL 2.0 in which the control flow takes a different path whether the condition of the first decision is true or false, then on the false path, the control flow takes a different path again whether the condition of the second decision is true or false. All paths go to the same end: