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

Question

是否有任何工具或代码可以将 BPEL 转换为 NuSMV 代码？我找到了BPEL 业务流程的建模和验证论文，但没有提供工具或代码。