软件名称：[B]GNU BPEL2oWFN 2.0.0[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：0.98 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

BPEL2oWFN翻译表示Web服务的Web服务的业务流程执行语言（BPEL）到一个oWFN的（开W

BPEL2oWFN转换成oWFN（开放工作流网）表示Web服务的Web服务的业务流程执行语言（BPEL）。

BPEL2oWFN使用静态分析，以使生成的oWFN尽可能紧凑分析选定的神器出山:www.shenqi73.com属性。这就是所谓的灵活模型生成。

这里是一些主要功能的“GNU BPEL2oWFN”：

·检查可控性，或使用菲奥娜产生的经营方针，
·检查死锁或任何其他Petri网的财产，或
·各种模型检测工具检查任何时序逻辑公式。

此版本中的新功能：

·支持WS-BPEL 2.0

[url=http://www.sot9.com/soft/110789.html][B]GNU BPEL2oWFN 2.0.0[/B][/url]

点这里下载->GNU BPEL2oWFN 2.0.0 [ 下载地址 ]