PROGRAMS BY bpel2pml.sf.net
-
bpel2pml Free
an eclipse plugin converting bpel files to promela files it requires eclipse bpel designer plugin http://www.eclipse.org/bpel/
an eclipse plugin converting bpel files to promela files it requires eclipse bpel designer plugin http://www.eclipse.org/bpel/