提交软件

开发者 bpel2pml.sf.net

  • bpel2pml 免费

    日食插件转换 bpel 文件到 promela 文件， 它需要日食 bpel 设计师插件http://www.eclipse.org/bpel/