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/