bpel2pml
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/bpel2pml/files/edu.boun.makcay.bpel2pml_1.0.0.jar/download
關於 bpel2pml
日食外掛程式轉換 bpel 檔到 promela 檔案, 它需要日食 bpel 設計師外掛程式 http://www.eclipse.org/bpel/
相關軟體
-
Web PhotoAlbum 免費試用
在 Internet 網站上以數位方式發表您的照片。該程式從您的照片中創建一個可以使用網站的準備。它創建一個包含照片縮略圖的概覽網站。要查看全尺寸圖片,您必須單擊縮略圖。{@}
-
Web Binder 免費
Web 活頁機是一個以可用性為重點的自定義 TikiWiki CMS 包,由合作工具設計。它在常見的 LAMP 伺服器上運行,例如 cPanel 支援的伺服器。通過穩定的 CVS 版本或季度 TAR 版本下載。 通過源錯誤報告錯誤。
-
SaveGamer 免費
SaveGamer 便於查找和備份您的儲存遊戲。
-
TripleTap javascript Control 免費
用於媒體中心網頁的 javascript 三重塔普控件。這是我在媒體中心的第一個實驗。此控制項允許透過遠端控制,在最簡單的模式下,使用三重測試方法(在蜂巢上首次使用傳送簡訊)寫入文字...
-
ZCrypt 免費
ZCrypt 是一個庫,用於在其他程式中輕鬆使用加密函數(即哈希和密碼演算法)。它易於介面提供加密、解密和創建記憶體塊、字串和流的消息摘要。
-
Ginetob - The new BenMP3 免費
吉內托布 (吉內托布不完全老本普 3) 是音訊播放器本普 3 版本 2 。它可以播放最已知的聲音格式,如MPx、Ogg、Wav、Aiff、Mod、Xm、It等。包括 Cd 播放器。
-
Mosaico 免費
Mosaico 應用程式整合環境稱為 MosaicoSfera:業務管理、個人行事曆和組行曆,具有協作議程、即做清單、提醒、整合 Webmail 用戶端、CRM、文件歸檔系統。(在 Windows/Linux/PalmOS 上執行){@}
-
Chaos Engine VSI 免費
混沌引擎是基於即將推出的 Windows Vista 技術的虛擬伺服器基礎結構。它允許資料存儲,RFID中間件管理工具,數據分析和本機Windows到Linux內核仿真。
-
ExEf - guitar effect processor 免費
ExEf(極端效果)是一款極其強大和靈活的即時效果引擎,在LINUX下的PC上運行。它設計用於吉他、麥克風和其他樂器。它可以在 X 視窗系統和命令列中運行。
-
Downcount Timer 免費
一個簡單的下計計時器。只需鍵入要計數的時間,然後按"開始"。如果要停止,請按"停止"。