mainBPEL2oWFN - Summary

Membership Info
Group Admin:
4 active members

Group identification
Id: 8952
System Name: bpel2owfn
Group Type: Official GNU software

Search in this Group


This software 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 29 Nov 2006 07:40:26 AM UTC
License: GNU General Public License v3 or later
Development Status: 5 - Production/Stable


Latest News rss feed
GNU BPEL2oWFN 2.0.1 released
     posted by nielslohmann, Fri 11 May 2007 05:43:48 PM UTC

GNU BPEL2oWFN 2.0.1 fixes some bugs of the previous release. For more information, see the Changelog.


GNU BPEL2oWFN 2.0.0 released
     posted by nielslohmann, Tue 24 Apr 2007 08:02:21 AM UTC

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.


     posted by nielslohmann, Wed 20 Dec 2006 08:53:11 AM UTC

BPEL2oWFN is now part of the GNU project. Thus, we moved our project page from to Savannah, and our website to

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.

Quick Overview
 Memberlist (4 members)

Communication Tools
 Mailing Lists (1 public mailing list)

Development Tools
 Task Manager (open items: 0, total: 73)

Back to the top

Powered by Savane 3.13-6ae7.
Corresponding source code