free society. We build this foundation.
With your help, we will raise $450,000 this
winter to make this foundation even stronger.
Donate today, and build us up for 2014.
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
released on 6 April 2006
|License||Verified by||Verified on||Notes|
|GPLv2orlater||Ted Teah||29 November 2006|
Leaders and contributors
Resources and communication
This entry (in part or in whole) was last reviewed on 29 November 2006.