LTS của hành động sequence trên gồm có 5 trạng thái, với 0 là trạng thái khởi đầu, trạng thái 1, 2, 3 là trạng thái trung gian và E là trạng thái kết thúc.Tương ứng với việc thực hiện hành động if1 thì chuyển trạng thái từ 0 sang trạng thái 1 và hành động invoke1 thì chuyển trạng thái từ 1 sang trạng 2, các hành động được thực hiện tuần tự cho đến hành động reply1 là hành động cuối cùng tương ứng với LTS sẽ chuyển về trạng thái kết thúc E
3.7. Hành động if
Hành động if được dùng để lựa chọn thực hiện một chuỗi hành động trong tập các chuỗi hành động được phân chia theo điều kiện.
Ý tưởng của thuật toán chuyển đổi hành động if là chuyển đổi cặp nhánh cuối cùng của hành động thành một tiến trình FSP và coi tiến trình này là một nhánh duy nhất. Sau
đó tiếp tục chuyển đổi nhàn mới tạo ra và nhánh kề với nó thành một nhánh mới. quá trình này diễn ra liên tục cho đến khi toàn bộ hành động if của tiến trình BPEL được chuyển thành một tiến trình FSP duy nhất.
LTS tương ứng của hành động if có nhánh if và nhánh else như sau:
LTS ở hình 3.7 dưới gồm có trạng thái khởi đầu 0, trạng thái kết thúc E và các trạng thái trung gian 1, 2, 3, 4, 6, 7, 8. Hành động ifsample_if.false và hành động ifsample_if.true tương ứng với hành động if sẽ nhận giá trị true hoặc là giá trị false. Nếu ifsample_if.false được thực hiện thì LTS sẽ chuyển trạng thái từ 0, 1, 6, 7, 8, và trạng thái kết thúc E ngược lại nếu ifsample_if.true được thực hiện thì LTS sẽ chuyển trạng thái từ 0, 1, 2, 3, 4 và trạng thái kết thúc E tương ứng với việc thực thi 2 nhánh if, else của hành động if trong tiến trình BPEL.