โปรแกรมตาม bpel2pml.sf.net

ปลั๊กอินสุริยคราสแปลงไฟล์ bpel เป็นไฟล์ promela มันต้องใช้ปลั๊กอินนักออกแบบ eclipse bpel http://www.eclipse.org/bpel/