translates a web service expressed in BPEL into an oWFN
BPEL2oWFN translates a web service expressed in BPEL (Business Process Execution Language for Web Services) into an oWFN (open Workflow Net). This oWFN can be used to:
- check for controllability or generate the operating guideline using Fiona (www.informatik.hu-berlin.de/top/tools4bpel/fiona)
- check for deadlocks or any other Petri net property
- check any temporal logic formula with a variety of model checking tools.
BPEL2oWFN uses static analysis to make the generated oWFN as compact as possible to analyze a chosen property. This is called flexible model generation.
BPEL2oWFN is the successor of BPEL2PN (www.informatik.hu-berlin.de/top/bpel2pn), a Java-based compiler generating low-level Petri nets. BPEL2oWFN is a re-implementation for extensibility and performance issues. Its functionality is a superset of the functionality of BPEL2PN.
GNU BPEL2oWFN was written by Niels Lohmann, Christian Gierds and Martin Znamirowski. It is part of the Tools4BPEL project funded by the Bundesministerium fÃÆÃÂ¼r Bildung und Forschung.
DocumentationHTML, PDF, PostScript, Texinfo, ASCII User Manual: http://www.gnu.org/software/bpel2owfn/manual.html
This is a GNU package:bpel2owfn
released on 29 June 2007
This entry (in part or in whole) was last reviewed on 14 October 2016.