BPEL2oWFN - Summary
This project is part of the GNU Project.
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,
- check for deadlocks or any other Petri net property, or
- 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, 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.
Registration Date: Wed Nov 29 07:40:26 2006
License: GNU General Public License v3 or later
Development Status: 5 - Production/Stable
posted by nielslohmann, Fri May 11 17:43:48 2007 - 0 replies
GNU BPEL2oWFN 2.0.1 fixes some bugs of the previous release. For more information, see the Changelog.
Download: http://www.gnu.org/software/bpel2owfn/download.html
Changelog: http://www.gnu.org/software/bpel2owfn/history.html#2.0.1
posted by nielslohmann, Tue Apr 24 08:02:21 2007 - 0 replies
After more than one year, finally a new version of GNU BPEL2oWFN is released. Version 2.0.0 can process WS-BPEL 2.0 processes and supports a variety of static analysis algorithms.
Download: http://www.gnu.org/software/bpel2owfn/download.html
Changelog: http://www.gnu.org/software/bpel2owfn/history.html#2.0.0
posted by nielslohmann, Wed Dec 20 08:53:11 2006 - 0 replies
BPEL2oWFN is now part of the GNU project. Thus, we moved our project page from SourceForge.net to Savannah, and our website to http://www.gnu.org/software/bpel2owfn.
GNU BPEL2oWFN will soon be released in version 2.0 with a lot of new features, including a semantics of WS-BPEL and an implementation of WS-BPEL's static analysis goals.
[Submit News]
[3 news in archive]



