Developer website: Niels Lohmann
GNU BPEL2oWFN translates a Web service expressed in WS-BPEL (Web Service Business Process Execution Language) into an oWFN (open Workflow Net). This oWFN can be used to:
- check for controllability or generate the operating guideline using the tool Fiona,
- check for deadlocks or any other Petri net property, or
- check any temporal logic formula with a variety of model checking tools.
Mac OS X 10.3 or later