Блог

Главная - Вопросы по программированию - Существуют ли какие-либо инструменты или коды для перевода BPEL в код NuSMV?

Существуют ли какие-либо инструменты или коды для перевода BPEL в код NuSMV?

#bpel #nusmv

#bpel #nusmv

Вопрос:

Существуют ли какие-либо инструменты или коды для перевода BPEL в код NuSMV? Я нашел документ Моделирование и верификация бизнес-процессов BPEL, но там не предусмотрено никаких инструментов или кодов.