提交軟體

開發者 bpel2pml.sf.net

  • bpel2pml 免費

    日食外掛程式轉換 bpel 檔到 promela 檔案， 它需要日食 bpel 設計師外掛程式http://www.eclipse.org/bpel/