Fiona / News: Recent posts

BPEL2oWFN is now a GNU project. We moved the project page and the CVS to Savannah: https://savannah.gnu.org/projects/bpel2owfn

The URL of the website of GNU BPEL2oWFN is http://www.gnu.org/software/bpel2owfn

Fiona is a tool to automatically analyze the interaction behavior of an open workflow net.

BPEL2oWFN is a compiler translating a business processes expressed in BPEL (Business Process Execution Language for Web Services) into an oWFN (open Workflow Net).

Version 1.2 (6 April 2006)
- input:
* BPEL process compliant to the specificiation BPEL4WS version 1.1, May 2003.

- output:
* 1-safe low-level Petri net in
* LoLA format
* low-level PEP notation
* Abstract Petri Net Notation (APPN)
* Petri Net Markup Language (PNML)... read more

BPEL2oWFN is a compiler translating a business processes expressed in BPEL (Business Process Execution Language for Web Services) to an oWFN (open Workflow Net).

Version 1.1 (24 February 2006)
- input:
* BPEL process compliant to the specificiation BPEL4WS version
1.1, May 2003.

- output:
* 1-safe low-level Petri net in
* LoLA format
* low-level PEP notation
* Abstract Petri Net Notation (APPN)
* Petri Net Markup Language (PNML)... read more

BPEL2oWFN is a compiler translating a business processes expressed in BPEL (Business Process Execution Language for Web Services) to an oWFN (open Workflow Net).

Release 1.0:
- input:
* BPEL process compliant to the specificiation BPEL4WS version 1.1, May 2003.

- output:
* LoLA Petri net
* open workflow net
* Dot representation

- implemented patterns:
* Christian Stahl. A Petri Net Semantics for BPEL. Informatik-Berichte 188, Humboldt-Universita"t zu Berlin, July 2005.... read more