BPEL2oWFNBPEL2oWFN translates a web service expressed in BPEL (Business Process Execution Language for Web Services) into an oWFN. | |
Download |
BPEL2oWFN Ranking & Summary
Advertisement
- License:
- Freeware
- Price:
- FREE
- Publisher Name:
- Niels Lohmann
- Publisher web site:
- http://www.gnu.org/software/bpel2owfn
- Operating Systems:
- Mac OS 10.4 or later
- File Size:
- 996 KB
BPEL2oWFN Tags
BPEL2oWFN Description
BPEL2oWFN translates a web service expressed in BPEL (Business Process Execution Language for Web Services) into an oWFN. 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 ability is called flexible model generation. What's New in This Release: · adopted the GNU GPL Version 3 · minor changes and bug fixes
BPEL2oWFN Related Software