mainBPEL2oWFN - Summary

 
 
Membership Info
Project Admin:
4 active members

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

Search in this Group

in
   

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

 

Latest News 
GNU BPEL2oWFN 2.0.1 released
     posted by nielslohmann, Fri 11 May 2007 05:43:48 PM UTC - 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

GNU BPEL2oWFN 2.0.0 released
     posted by nielslohmann, Tue 24 Apr 2007 08:02:21 AM UTC - 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

GNU BPEL2oWFN
     posted by nielslohmann, Wed 20 Dec 2006 08:53:11 AM UTC - 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]

Communication Tools
Mailing Lists Mailing Lists (1 public mailing-list)

Back to the top


Powered by Savane 3.1-cleanup