Is there any tools or codes to translate the BPEL into NuSMV code? I have found the paper Modelling and verification of BPEL business processes, but there is no tools or codes provided.
Asked
Active
Viewed 25 times
