Programmi di bpel2pml.sf.net

Un plug-in Eclipse che converte i file BPEL in file Promela richiede eclipse bpel designer plugin http://www.eclipse.org/bpel/