Chương trình theo bpel2pml.sf.net

một plugin eclipse chuyển đổi các tập tin bpel để promela tập tin nó đòi hỏi eclipse bpel thiết kế plugin http://www.eclipse.org/bpel/