BPEL4WS được xây dựng dựa trên ngôn ngữ WSFL (Web Service Flow Language) của IBM và ngơn ngữ XLANG của Microsoft. Vì thế nó kế thừa được những tính năng nổi trội của hai ngơn ngữ này (tính có cấu trúc của XLang và khả năng mơ hình hóa của WSFL ).
BPEL4WS hỗ trợ tạo ra hai loại tiến trình:
Tiến trình trừu tƣợng: đưa ra những qui tắc trao đổi thông điệp giữa những dịch vụ tham gia, nhưng không chỉ rõ về cấu trúc bên trong của các thơng điệp. Tiến trình thực thi: xác định rõ trình tự thực hiện của từng xử lý, các dịch vụ
liên quan, các thông điệp trao đổi trong khi tương tác, cơ chế bắt lỗi và xử lý biệt lệ.
Đặc tả tiến trình của ngơn ngữ BPEL4WS có dạng sơ đồ luồng. Mỗi tác vụ trong tiến trình được gọi là một xử lý. Có hai loại xử lý:
Các xử lý cơ bản:
<invoke> gọi thực hiện một phương thức của dịch.
<receive> chờ nhận một thông điệp từ một đối tượng bên ngồi tiến trình. <reply> gởi thơng điệp đến một đối tượng bên ngồi tiến trình.
<wait> dừng tiến trình để chờ trong một khoảng thời gian. <assign> sao chép dữ liệu giữa các kho chứa dữ liệu. <throw> thơng báo lỗi trong q trình xử lý.
<terminate> kết thúc tiến trình. Các xử lý có cấu trúc:
<sequence> điều khiển các xử lý bên trong thực hiện một cách tuần tự. <flow> điều khiển các xử lý bên trong thực hiện một cách song song. <while> lặp lại một xử lý trong khi điều kiện lặp còn được thỏa. <switch> chọn lựa xử lý cần thực hiện dựa theo các điều kiện. <pick> chờ nghe sự kiện và thực hiện những xử lý tương ứng.
<link> điều khiển trình tự thực hiện các xử lý trong khối <flow> (nếu có nhu cầu).
Hình 6-22 – Một tiến trình đặc tả bởi ngơn ngữ BPEL [6]