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 Nov 29 07:40:26 2006
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 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

GNU BPEL2oWFN 2.0.0 released
     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

GNU BPEL2oWFN
     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]

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

Back to the top


Powered by Savane 3.1-cleanup