Программы bpel2pml.sf.net

затмение плагин преобразования Bpel файлы Promela файлы он требует затмения Bpel дизайнер плагин http://www.eclipse.org/bpel/