GNU BPEL2oWFNGNU BPEL2oWFN project translates a web service expressed in WS-BPEL into an oWFN. | |
Download |
GNU BPEL2oWFN Ranking & Summary
Advertisement
- License:
- GPL
- Price:
- FREE
- Publisher Name:
- Niels Lohmann
- Publisher web site:
- http://www.gnu.org/software/bpel2owfn/
GNU BPEL2oWFN Tags
GNU BPEL2oWFN Description
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.
GNU BPEL2oWFN Related Software