GNU BPEL2oWFN 2.0.0

GNU BPEL2oWFN project translates a web service expressed in WS-BPEL into an oWFN.
GNU BPEL2oWFN project translates a web service expressed in WS-BPEL (Web Service Business Process Execution Language) into an oWFN (open Workflow Net). This oWFN can be used to:

check for controllability or generate the operating guideline using the tool Fiona,
check for deadlocks or any other Petri net property, or
check any temporal logic formula with a variety of model checking tools.

GNU BPEL2oWFN uses static analysis to make the generated Petri net model as compact as possible to analyze a chosen property. This is called flexible model generation. Furthermore, several design flaws can be detected using control and data flow analysis.

last updated on:
April 23rd, 2007, 14:05 GMT
price:
FREE!
developed by:
Niels Lohmann
homepage:
www.gnu.org
license type:
GPL (GNU General Public License) 
category:
ROOT \ Programming \ Compilers

FREE!

In a hurry? Add it to your Download Basket!

user rating 13

2.8/5
 

0/5

1 Screenshot
GNU BPEL2oWFN

Add your review!

SUBMIT