GNU BPEL2oWFN 2.0.0下载地址

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

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

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

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

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