是否有任何工具或代码将BPEL转换为NuSMV代码？

Question

是否存在将BPEL转换为NuSMV代码的工具或代码？ 我发现了 BPEL业务流程的建模和验证一文，但是没有提供任何工具或代码。