![](/statics/img/blank.png)
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 免费
一个简单的下计计时器。只需键入要计数的时间,然后按"开始"。如果要停止,请按"停止"。