GNU BPEL2oWFN

2.0.0 GPL (GNU General Public License)    
2.8/5 13

  437 downloads

GNU BPEL2oWFN project translates a web service expressed in WS-BPEL into an oWFN.

description

download

specs

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.
read more   
Last updated on April 23rd, 2007

#translate web service #Process Execution Language #WS-BPEL to oWFN #BPEL2oWFN #translate #web #service

GNU BPEL2oWFN

0 User reviews so far.

SUBMIT