Tarafından Programlar bpel2pml.sf.net

bir tutulma eklentisi promela dosyaları için güneş tutulması bpel tasarımcı eklentisi gerektirir bpel dosyaları dönüştürme http://www.eclipse.org/bpel/